Daniel Lustig, Geet Sethi, Margaret Martonosi, Abhishek Bhattacharjee. COATCheck: Verifying Memory Ordering at the Hardware-OS Interface. In Tom Conte, Yuanyuan Zhou, editors, Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '16, Atlanta, GA, USA, April 2-6, 2016. pages 233-247, ACM, 2016. [doi]
Abstract is missing.