Xuehai Qian, Koushik Sen, Paul Hargrove, Costin Iancu: OPR: deterministic group replay for one-sided communication. PPoPP 2016: 47:1-47:2