A Lightweight Causal Message Logging Protocol to Lower Fault Tolerance Overhead
Understanding Practical Tradeoffs in HPC Checkpoint-Scheduling Policies