2022

Jammer, Tim ; Hück, Alexander ; Lehr, Jan-Patrick ; Protze, Joachim ; Schwitanski, Simon ; Bischof, Christian (2022)
Towards a Hybrid MPI Correctness Benchmark Suite.
29th European MPI Users' Group Meeting. Chattanooga, USA (26.09.2022-28.09.2022)
doi: 10.1145/3555819.3555853
Konferenzveröffentlichung, Bibliographie

Hück, Alexander ; Kreutzer, Sebastian ; Protze, Joachim ; Lehr, Jan-Patrick ; Bischof, Christian ; Terboven, Christian ; Müller, Matthias S. (2022)
Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications.
In: IT Professional, 24 (2)
doi: 10.1109/MITP.2021.3093949
Artikel, Bibliographie

2020

Hück, Alexander ; Protze, Joachim ; Lehr, Jan-Patrick ; Terboven, Christian ; Bischof, Christian ; Müller, Matthias S. (2020)
Towards compiler-aided correctness checking of adjoint MPI applications.
4th International Workshop on Software Correctness for HPC Applications (Correctness). Virtual Conference (09.11.2020-19.11.2020)
doi: 10.1109/Correctness51934.2020.00010
Konferenzveröffentlichung, Bibliographie

2018

Hück, Alexander ; Lehr, Jan-Patrick ; Kreutzer, Sebastian ; Protze, Joachim ; Terboven, Christian ; Bischof, Christian ; Müller, Matthias S. (2018)
Compiler-aided type tracking for correctness checking of MPI applications.
2nd International Workshop on Software Correctness for HPC Applications (Correctness). Dallas, TX, USA (11.11.2018-16.11.2018)
doi: 10.1109/Correctness.2018.00011
Konferenzveröffentlichung, Bibliographie