John Wickerson, Mark Batty, Tyler Sorensen 0001, George A. Constantinides
Automatically comparing memory consistency models
POPL, 2017.
@inproceedings{POPL-2017-WickersonBSC,
author = "John Wickerson and Mark Batty and Tyler Sorensen 0001 and George A. Constantinides",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "190--204",
publisher = "{ACM}",
title = "{Automatically comparing memory consistency models}",
year = 2017,
}