Dynamic detection of atomic-set-serializability violations.

Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip

Browse the full ICSE paper archive.