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]
@inproceedings{SandersK08:0,
title = {Assertional reasoning about data races in relaxed memory models},
author = {Beverly A. Sanders and Kyunghee Kim},
year = {2008},
doi = {10.1145/1345206.1345249},
url = {http://doi.acm.org/10.1145/1345206.1345249},
tags = {data-flow},
researchr = {https://researchr.org/publication/SandersK08%3A0},
cites = {0},
citedby = {0},
pages = {267-268},
booktitle = {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},
editor = {Siddhartha Chatterjee and Michael L. Scott},
publisher = {ACM},
isbn = {978-1-59593-795-7},
}