Presents Remus for high-availability VM replication using asynchronous checkpointing. Covers whole-system replication, speculative execution with buffered output, memory synchronization, disk checkpointing, network buffering, failover mechanism, and performance evaluation.
