A serializability violation detector for shared-memory server programs.

Min Xu, Rastislav Bodk, Mark D. Hill

Browse the full PLDI paper archive.