Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Fingerprint
Dive into the research topics of 'AtomTracker: A comprehensive approach to atomic region inference and violation detection'. Together they form a unique fingerprint.