RedCard: Redundant Check Elimination for Dynamic Race Detectors
No abstract available.
Related papers
- What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective ECOOP 2017
- Instrumentation bias for dynamic data race detection OOPSLA 2017
- BigFoot: static check placement for dynamic race detection PLDI 2017
- Hybrid dynamic data race detection PPoPP 2003
- VerifiedFT: a verified, high-performance precise dynamic race detector PPoPP 2018
- CURD: a dynamic CUDA race detector PLDI 2018
- Redundant Array Computation Elimination PLDI 2026
- LiteRace: effective sampling for lightweight data-race detection PLDI 2009