COATCheck: Verifying Memory Ordering at the Hardware-OS Interface.

Daniel Lustig, Geet Sethi, Margaret Martonosi, Abhishek Bhattacharjee

Browse the full ASPLOS paper archive.