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 proceeding › Conference contribution
21
Link opens in a new tab
Scopus
citations