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

Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi

Browse the full ASPLOS paper archive.