Pacifier: Record and Replay for Relaxed-Consistency Multiprocessors with Distributed Directory Protocol

, Benamin Sahelices, Depei Qian
The 41st International Symposium on Computer Architecture (ISCA), Jun. 2014.