COATCheck: Verifying memory ordering at the hardware-OS interface
Daniel Lustig, Geet Sethi, Margaret Martonosi, Abhishek Bhattacharjee[doi] [Google Scholar] [DBLP] [Citeseer]
Architectural Support for Programming Languages and Operating Systems, ASPLOS
ACM
Pages 233-247
2016
Note(s): CPU verification, Weak memory
ACM
Pages 233-247
2016
Note(s): CPU verification, Weak memory