Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs.

William N. Sumner, Christian Hammer, Julian Dolby

Browse the full RV paper archive.