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: 4.

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), pp. 45-51. IEEE, ISSN 1520-9202, e-ISSN 1941-045X,
DOI: 10.1109/MITP.2021.3093949,
[Article]

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 Oct 4 02:22:18 2022 CEST.