Peeking into the Past: Efficient Checkpoint-Assisted Time-Traveling Debugging
The design and implementation of Zap: a system for migrating computing environments