Alexander Malkis, Anindya Banerjee. Verification of software barriers. In J. Ramanujam, P. Sadayappan, editors, Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, New Orleans, LA, USA, February 25-29, 2012. pages 313-314, ACM, 2012. [doi]
Abstract is missing.