Efficient algorithms for verifying memory consistency (2005)

by C Manovit, S Hangal
Venue:In SPAA’05: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures