TY  - RPRT
TI  - TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
AU  - Naorin Hossain
AU  - Caroline Trippel
AU  - Margaret Martonosi
PY  - 2020
DO  - 10.1109/isca45697.2020.00076
UR  - https://arxiv.org/abs/2008.03578
ID  - 2008.03578
ER  -