TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA
Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi[doi] [Google Scholar] [DBLP] [Citeseer] [url]
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
ACM
Pages 119-133
2017
Note(s): weak memory
ACM
Pages 119-133
2017
Note(s): weak memory