Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu. Maximal sound predictive race detection with control flow abstraction. In Michael F. P. O'Boyle, Keshav Pingali, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014. pages 36, ACM, 2014. [doi]
Abstract is missing.