selected publications academic article Unified Model for Assessing Checkpointing Protocols at Extreme-Scale. . 2012