LoRe: Supporting Non-deterministic Events Logging and Replay for KVM Virtual Machines. - Jianxin Li 002; Shouyu Si; Bo Li 005; Lei Cui 003; Jingsheng Zheng (HPCC/EUC, 2013)