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]
No references recorded for this publication.
No citations of this publication recorded.