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

by M Xu, R Bodík, M D Hill
Venue:In PLDI