John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides. Automatically comparing memory consistency models. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 190-204, ACM, 2017. [doi]
@inproceedings{WickersonBSC17,
title = {Automatically comparing memory consistency models},
author = {John Wickerson and Mark Batty and Tyler Sorensen and George A. Constantinides},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3009838},
researchr = {https://researchr.org/publication/WickersonBSC17},
cites = {0},
citedby = {0},
pages = {190-204},
booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017},
editor = {Giuseppe Castagna and Andrew D. Gordon},
publisher = {ACM},
isbn = {978-1-4503-4660-3},
}