Full-Stack Memory Model Verification with TriCheck

Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

IEEE Micro 38(3)
Pages 58-68
2018
Note(s): weak memory