Jammer, Tim and Iwainsky, Christian and Bischof, Christian Jagode, Heike and Anzt, Hartwig and Juckeland, Guido and 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 and Hück, Alexander and Fischer, Moritz and Bischof, Christian Jagode, Heike and Anzt, Hartwig and Juckeland, Guido and 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]