TY  - RPRT
TI  - TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA
AU  - Caroline Trippel
AU  - Yatin A. Manerkar
AU  - Daniel Lustig
AU  - Michael Pellauer
AU  - Margaret Martonosi
PY  - 2017
DO  - 10.1145/3037697.3037719
UR  - https://arxiv.org/abs/1608.07547
ID  - 1608.07547
ER  -