TriCheck: Memory model verification at the trisection of software, hardware, and ISA

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

Research output: Contribution to journalArticlepeer-review

4 Scopus citations

Fingerprint Dive into the research topics of 'TriCheck: Memory model verification at the trisection of software, hardware, and ISA'. Together they form a unique fingerprint.

Engineering & Materials Science