Skip to content

High-coverage, unbounded sound predictive race detection.

Jake Roemer, Kaan Gen, Michael D. Bond

VenueA*PLDI
Year2018
ProceedingsPLDI

Browse the full PLDI paper archive.