TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests.

Naorin Hossain, Caroline Trippel, Margaret Martonosi

Browse the full ISCA paper archive.