LoRe: Supporting Non-deterministic Events Logging and Replay for KVM Virtual Machines | IEEE Conference Publication | IEEE Xplore