"Maximal sound predictive race detection with control flow abstraction."

Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics