Conference or Workshop Item

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). Atlanta, Georgia, USA (11.11.2020-11.11.2020)
doi: 10.26083/tuprints-00018889
Conference or Workshop Item, Secondary publication, Publisher's Version