Publications
Found 3 results
Filters: Autor is Christian Terboven [Clear All Filters]
„Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications“, IT Professional, Bd. 24, Nr. 2, S. 45-51, 2022.
, „Towards compiler-aided correctness checking of adjoint MPI applications“, in Proceedings of the 4th International Workshop on Software Correctness for HPC Applications (Correctness), 2020, S. 40-48.
, „Compiler-aided type tracking for correctness checking of MPI applications“, in Proceedings of the 2nd International Workshop on Software Correctness for HPC Applications (Correctness), 2018, S. 51-58.
,