Jammer, Tim ; Iwainsky, Christian ; Bischof, Christian
Jagode, Heike ; Anzt, Hartwig ; Juckeland, Guido ; Ltaief, Hatem (eds.) (2020):
Automatic Detection of MPI Assertions.
In: High Performance Computing, pp. 34-42,
Springer, 35th International ISC High Performance 2020 Conference, Frankfurt, Germany, 21.- 25.06.2020, ISSN 0302-9743, ISBN 978-3-030-59850-1,
DOI: 10.1007/978-3-030-59851-8_3,
[Conference or Workshop Item]

Lehr, Jan-Patrick ; Hück, Alexander ; Fischer, Moritz ; Bischof, Christian
Jagode, Heike ; Anzt, Hartwig ; Juckeland, Guido ; Ltaief, Hatem (eds.) (2020):
Compiler-Assisted Type-Safe Checkpointing.
In: High Performance Computing, pp. 5-18,
Springer, 35th International Conference on High Performance 2020 Computing, Frankfurt, Germany, 21.-25.06., ISBN 978-3-030-59850-1,
DOI: 10.1007/978-3-030-59851-8_1,
[Conference or Workshop Item]