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

7 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