Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
2017
Wickerson, John and Batty, Mark and Sorensen, Tyler and Constantinides, George A. (2017) Automatically Comparing Memory Consistency Models. In: ACM SIGPLAN Notices - POPL '17. POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. ACM, New York pp. 190-204. ISBN 978-1-4503-4660-3. (doi:https://doi.org/10.1145/3093333.3009838) (Full text available) |