TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 3.

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 ; Protze, Joachim ; Lehr, Jan-Patrick ; Terboven, Christian ; Bischof, Christian ; Müller, Matthias S. (2020):
Towards compiler-aided correctness checking of adjoint MPI applications.
In: Software Correctness for HPC Applications, In: Proceedings of Correctness 2020: Fourth International Workshop on Software Correctness for HPC Applications, pp. 40-48,
IEEE, 4th International Workshop on Software Correctness for HPC Applications (Correctness), Virtual Conference, 09.-19.11.2020, ISBN 978-0-7381-1045-5,
DOI: 10.1109/Correctness51934.2020.00010,
[Conference or Workshop Item]

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.
pp. 51-58, 2nd International Workshop on Software Correctness for HPC Applications (Correctness), Dallas, TX, USA, 11.-16. Nov. 2018, DOI: 10.1109/Correctness.2018.00011,
[Conference or Workshop Item]

This list was generated on Tue Sep 21 08:01:13 2021 CEST.