Verifying local transformations on relaxed memory models (2010)

by Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh
Venue:In Proc. of the 19th International Conference on Compiler Construction