Our work on universal checkpointing has been accepted at USENIX ATC 2025!