TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Full-Stack Memory Model Verification with TriCheckCaroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi. micro, 38(3):58-68, 2018. [doi]

runs on WebDSL