COATCheck: Verifying memory ordering at the hardware-OS interface

Daniel Lustig, Geet Sethi, Margaret Martonosi, Abhishek Bhattacharjee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

30 Scopus citations

Fingerprint

Dive into the research topics of 'COATCheck: Verifying memory ordering at the hardware-OS interface'. Together they form a unique fingerprint.

Engineering & Materials Science