Publications
Found 4 results
Filters: Author is Matthias S. Müller [Clear All Filters]
“Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications”, IT Professional, vol. 24, no. 2, pp. 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, pp. 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, pp. 51-58.
, “Estimating the Impact of External Interference on Application Performance”, in Proceedings of the 24th European Conference on Parallel and Distributed Computing (Euro-Par), 2018, pp. 46-58.
,