Rohan Padhye & Ao Li | Fray: An Efficient General-Purpose Concurrency JVM Testing Platform | #66

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".

We dive into:

• Why concurrency bugs remain so hard to catch -- even in "well-tested" Java projects.
• The design of Fray, a new concurrency testing platform that outperforms prior tools like JPF and rr.
• Real-world bugs discovered in Apache Kafka, Lucene, and Google Guava.
• The gap between academic research and industrial practice, and how Fray bridges it.
• What’s next for concurrency testing: debugging tools, distributed systems, and beyond.

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.

Links & Resources:

- The Fray paper (OOPSLA 2025):

- Fray on GitHub

- Ao Li’s research

- Rohan Padhye’s research

Don’t forget to like, subscribe, and hit the 🔔 to stay updated on the latest episodes about cutting-edge computer science research.

#Java #Concurrency #SoftwareTesting #Fray #OOPSLA2025 #Programming #Debugging #JVM #ComputerScience #ResearchPodcast

Hosted on Acast. See acast.com/privacy for more information.