Zhenyu Guo Xi Wang Jian Tang Xuezheng Liu Zhilei Xu Ming Wu M. Frans Kaashoek Zheng Zhang R2: An Application-Level Kernel for Record and Replay. 193-208 2008 OSDI http://www.usenix.org/events/osdi08/tech/full_papers/guo/guo.pdf conf/osdi/2008 db/conf/osdi/osdi2008.html#GuoWTLXWKZ08