Our work Universal Checkpointing has been accepted at USENIX ATC 2025.