Ao Li
aoli.al
Ao Li
@aoli.al
PhD Student@CMU

If you want deterministic concurrency testing, try Fray (https://github.com/cmu-pasta/fray).
We're also implementing a replay mode in Fray Debugger for developers tackling real-world concurrency bugs. Soon you'll be able to import execution recordings, eliminating the need to manually trigger bugs by clicking the 'Schedule' button thousands of times!
March 12, 2025 at 7:26 PM
Even better, you can create your concurrency challenges by writing standard Java programs! We believe Fray Debugger is a powerful educational tool. It allows instructors to clearly demonstrate various thread interleavings while giving students hands-on experience with concurrent execution scenarios.
March 12, 2025 at 7:26 PM