FastTrack: efficient and precise dynamic race detection
Abstract
\begin{abstract}
Related papers
- What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective ECOOP 2017
- VerifiedFT: a verified, high-performance precise dynamic race detector PPoPP 2018
- SOS: saving time in dynamic race detection with stationary analysis OOPSLA 2011
- BigFoot: static check placement for dynamic race detection PLDI 2017
- Valor: efficient, software-only region conflict exceptions OOPSLA 2015
- SmartTrack: efficient predictive race detection PLDI 2020
- Acculock: Accurate and efficient detection of data races CGO 2011
- Scalable and precise dynamic datarace detection for structured parallelism PLDI 2012