2022

Lehr, Jan-Patrick (2022)
From Valid Measurements to Valid Mini-Apps.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00020943
Ph.D. Thesis, Primary publication, Publisher's Version

2021

Hück, Alexander ; Protze, Joachim ; Lehr, Jan-Patrick ; Terboven, Christian ; Bischof, Christian ; Müller, Matthias S. (2021)
Towards compiler-aided correctness checking of adjoint MPI applications.
2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness). (11.11.2020)
doi: 10.26083/tuprints-00018889
Conference or Workshop Item, Secondary publication, Preprint