Beverly A. Sanders, Kyunghee Kim. Assertional reasoning about data races in relaxed memory models. In Siddhartha Chatterjee, Michael L. Scott, editors, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008. pages 267-268, ACM, 2008. [doi]
Abstract is missing.