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

by Min Xu, Rastislav Bod́ık, Mark D Hill
Venue:In PLDI