Maximal sound predictive race detection with control flow abstraction

Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'Maximal sound predictive race detection with control flow abstraction'. Together they form a unique fingerprint.

Engineering & Materials Science