@misc{indiciae40e1c5c377cb,
  title = {TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA},
  author = {Caroline Trippel and Yatin A. Manerkar and Daniel Lustig and Michael Pellauer and Margaret Martonosi},
  year = {2017},
  doi = {10.1145/3037697.3037719},
  url = {https://arxiv.org/abs/1608.07547},
  note = {Source identifier: 1608.07547}
}