A case for an interleaving constrained shared-memory multi-processor
A serializability violation detector for shared-memory server programs