Maximal sound predictive race detection with control flow abstraction.

Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu

Browse the full PLDI paper archive.