A serializability violation detector for shared-memory server programs (2005)

by M Xu, R Bodík, M D Hill
Venue:In PLDI’05: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation