Scott Owens. Reasoning about the Implementation of Concurrency Abstractions on x86-TSO. In Theo D Hondt, editor, ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings. Volume 6183 of Lecture Notes in Computer Science, pages 478-503, Springer, 2010. [doi]
Abstract is missing.