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. (Preprint)
In: Proceedings of Correctness 2020: Fourth International Workshop on Software Correctness for HPC Applications, pp. 40-48,
Darmstadt, IEEE, 2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness), 11.11.2020, ISBN 978-0-7381-1044-8,
DOI: 10.26083/tuprints-00018889,
[Conference or Workshop Item]

Hück, Alexander (2020):
Compiler Support for Operator Overloading and Algorithmic Differentiation in C++.
Darmstadt, Technische Universität,
DOI: 10.25534/tuprints-00011522,
[Ph.D. Thesis]