Title: Lazy Checkpoint Coordination for Bounding Rollback Propagation