CATCH - Compiler-Assisted Techniques for Checkpointing | IEEE Conference Publication | IEEE Xplore