Fast and Accurate Static Data-Race Detection for Concurrent Programs
No abstract available.
Related papers
- RacerD: compositional static race detection OOPSLA 2018
- D4: fast concurrency debugging with parallel differential analysis PLDI 2018
- Fast, sound, and effectively complete dynamic race prediction POPL 2020
- Static Race Detection and Mutex Safety and Liveness for Go Programs ECOOP 2020
- LiteRace: effective sampling for lightweight data-race detection PLDI 2009
- Acculock: Accurate and efficient detection of data races CGO 2011
- Automated type-based analysis of data races and atomicity PPoPP 2005
- Verifying dynamic race detection CPP 2017