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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 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