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]
@inproceedings{MalkisB12,
title = {Verification of software barriers},
author = {Alexander Malkis and Anindya Banerjee},
year = {2012},
doi = {10.1145/2145816.2145871},
url = {http://doi.acm.org/10.1145/2145816.2145871},
researchr = {https://researchr.org/publication/MalkisB12},
cites = {0},
citedby = {0},
pages = {313-314},
booktitle = {Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, New Orleans, LA, USA, February 25-29, 2012},
editor = {J. Ramanujam and P. Sadayappan},
publisher = {ACM},
isbn = {978-1-4503-1160-1},
}