Exploring High Coverage Unbounded Sound Predictive Race Detection
If you are looking for information about High Coverage Unbounded Sound Predictive Race Detection, you have come to the right place.
- Despite years of research on static techniques, the state of practice for analyzing concurrent software remains relatively primitive.
- Till date, concurrency bugs inevitably find their way into concurrent software despite rigorous development-time testing.
- [POPL'23] Dynamic
- Authors: Jeff Huang, Arun Krishnakumar Rajagopalan Title: What's the Optimal Performance of Precise Dynamic
- Presented by Andreas Pavlogiannis. Presented at POPL'20.
In-Depth Information on High Coverage Unbounded Sound Predictive Race Detection
Good afternoon everyone today I'll be presenting our work Vindicator a new Authors: Kaan Genç, Jake Roemer, Yufan Xu, Michael Bond Presented at SPLASH 2019. Paper: https://dl.acm.org/citation.cfm?id=3276515 Dynamic Paper: https://dl.acm.org/citation.cfm?id=3276514 Automatic static
Data races are nasty kinds of bugs; rare, hard to replicate and follow Murphy's law.
We hope this detailed breakdown of High Coverage Unbounded Sound Predictive Race Detection was helpful.