Pacifier: Record and replay for relaxed-consistency multiprocessors with distributed directory protocol.

Xuehai Qian, Benjamn Sahelices, Depei Qian

Browse the full ISCA paper archive.