{"version":"1.0","type":"rich","provider_name":"Acast","provider_url":"https://acast.com","height":250,"width":700,"html":"<iframe src=\"https://embed.acast.com/$/629a6154b4e1e70012764c00/68e13998965488b63a4b4f15?\" frameBorder=\"0\" width=\"700\" height=\"250\"></iframe>","title":"Rohan Padhye & Ao Li | Fray: An Efficient General-Purpose Concurrency JVM Testing Platform | #66","thumbnail_width":200,"thumbnail_height":200,"thumbnail_url":"https://open-images.acast.com/shows/629a6154b4e1e70012764c00/1759590617551-f108eacb-33a5-433c-9dc7-f5adc6c9be50.jpeg?height=200","description":"<p>In this episode of Disseminate: The Computer Science Research Podcast, guest host Bogdan Stoica sits down with Ao Li and Rohan Padhye (Carnegie Mellon University) to discuss their OOPSLA 2025 paper: \"Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM\".</p><p><br></p><p>We dive into:</p><ul><li>Why concurrency bugs remain so hard to catch -- even in \"well-tested\" Java projects.</li><li>The design of Fray, a new concurrency testing platform that outperforms prior tools like JPF and rr.</li><li>Real-world bugs discovered in Apache Kafka, Lucene, and Google Guava.</li><li>The gap between academic research and industrial practice, and how Fray bridges it.</li><li>What’s next for concurrency testing: debugging tools, distributed systems, and beyond.</li></ul><p><br></p><p>If you’re a Java developer, systems researcher, or just curious about how to make software more reliable, this conversation is packed with insights on the future of software testing.</p><p><br></p><p>Links &amp; Resources:</p><p>- <a href=\"https://arxiv.org/pdf/2501.12618\" rel=\"noopener noreferrer\" target=\"_blank\">The Fray paper (OOPSLA 2025)</a>:</p><p>- <a href=\"https://github.com/cmu-pasta/fray\" rel=\"noopener noreferrer\" target=\"_blank\">Fray on GitHub</a></p><p>- <a href=\"https://aoli.al/\" rel=\"noopener noreferrer\" target=\"_blank\">Ao Li’s research</a> </p><p>- <a href=\"https://rohan.padhye.org/\" rel=\"noopener noreferrer\" target=\"_blank\">Rohan Padhye’s research</a> </p><p><br></p><p>Don’t forget to like, subscribe, and hit the 🔔 to stay updated on the latest episodes about cutting-edge computer science research.</p><p><br></p><p>#Java #Concurrency #SoftwareTesting #Fray #OOPSLA2025 #Programming #Debugging #JVM #ComputerScience #ResearchPodcast</p>","author_name":"Jack Waudby"}