Naorin Hossain, Caroline Trippel, Margaret Martonosi. TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests. In 47th ACM/IEEE Annual International Symposium on Computer Architecture, ISCA 2020, Valencia, Spain, May 30 - June 3, 2020. pages 874-887, IEEE, 2020. [doi]
Abstract is missing.