SmartTrack: Efficient Predictive Race Detection

Jake Roemer, Kaan Genç, Michael D. Bond

Widely used data race detectors, including the state-of-the-art FastTrack algorithm, incur performance costs that are acceptable for regular in-house testing, but miss races detect…