https://hackerpaper.kaipfister.de/p/2501.12618/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=43143976urn:hackerpapers:mention:2501.12618:43143976Sat, 22 Feb 2025 22:36:05 GMT<p>AFAIK, Antithesis uses a hypervisor to achieve deterministic execution. This can be less effective because the hypervisor does not have language semantics and faces a larger search space. You may check Figures 5 and 6 in our technical report[1], where we compare Fray against RR, a record and replay tool that can also be used for concurrency testing at OS level[2]. [1]: https://arxiv.org/pdf/2501.12618 [2]: https://robert.ocallahan.org/2016/02/introducing-rr-chaos-mo...</p><p><a href="https://hackerpaper.kaipfister.de/p/2501.12618/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PLhttps://news.ycombinator.com/item?id=43091208urn:hackerpapers:submission:2501.12618:43091208Tue, 18 Feb 2025 16:11:24 GMT<p>Show HN: Fray: A controlled concurrency testing framework for the JVM</p><p>Hi HN, I’m excited to share Fray, a controlled concurrency testing framework for the JVM. Fray systematically explores different thread interleavings in your concurrency tests, helping to uncover tricky race conditions. It can also deterministically reproduce concurrency-related failures, making debugging significantly easier. For a deep dive into how Fray is designed, check out our technical report: https://arxiv.org/abs/2501.12618 The Lucene team recently wrote about how Fray helped them diagnose and fix a challenging concurrency bug…</p><p>4 points; 1 discussion reply on HN. <a href="https://hackerpaper.kaipfister.de/p/2501.12618/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL