TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA

Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi. TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA. In Yunji Chen, Olivier Temam, John Carter, editors, Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2017, Xi'an, China, April 8-12, 2017. pages 119-133, ACM, 2017. [doi]

Abstract

Abstract is missing.