Jan-Patrick Lehr, Alexander Hück, Moritz Fischer, Christian H. Bischof. Compiler-Assisted Type-Safe Checkpointing. In Heike Jagode, Hartwig Anzt, Guido Juckeland, Hatem Ltaief, editors, High Performance Computing - ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21-25, 2020, Revised Selected Papers. Volume 12321 of Lecture Notes in Computer Science, pages 5-18, Springer, 2020. [doi]
Abstract is missing.