Compiler-generated staggered checkpointing. - Alison N. Norman; Sung-Eun Choi; Calvin Lin (LCR, 2004)