Checkpointing Message-Passing Interface (MPI) parallel programs | IEEE Conference Publication | IEEE Xplore