Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson. Automatic safety proofs for asynchronous memory operations. In Calin Cascaval, Pen-Chung Yew, editors, Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2011, San Antonio, TX, USA, February 12-16, 2011. pages 313-314, ACM, 2011. [doi]
Abstract is missing.