Clark Verbrugge, Allan Kielstra, Yi Zhang. There is nothing wrong with out-of-thin-air: compiler optimization and memory models. In Jeffrey S. Vetter, Madanlal Musuvathi, Xipeng Shen, editors, Proceedings of the 2011 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '11, San Jose, CA, USA, June 5, 2011. pages 1-6, ACM, 2011. [doi]
Abstract is missing.