How safe is probabilistic checkpointing? | IEEE Conference Publication | IEEE Xplore