Soyeon Park Yuanyuan Zhou Weiwei Xiong Zuoning Yin Rini Kaushik Kyu H. Lee Shan Lu PRES: probabilistic replay with execution sketching on multiprocessors. 177-192 2009 SOSP http://doi.acm.org/10.1145/1629575.1629593 conf/sosp/2009 db/conf/sosp/sosp2009.html#ParkZXYKLL09