User-triggered checkpointing and rollback in massively parallel systems by G. Deconinck