Automatically comparing memory consistency models
John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
POPL 2017
Paris, France
ACM
New York, NY, USA
Pages 190-204
2017
Note(s): weak memory
POPL 2017
Paris, France
ACM
New York, NY, USA
Pages 190-204
2017
Note(s): weak memory