Publications

Found 3 results
Filters: Author is Sebastian Kreutzer  [Clear All Filters]
2022
A. Hück, Kreutzer, S., Protze, J., Lehr, J. - P., Bischof, C., Terboven, C., and Müller, M. S., “Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications”, IT Professional, vol. 24, no. 2, pp. 45-51, 2022.
S. Kreutzer, Iwainsky, C., Lehr, J. - P., and Bischof, C., “Compiler-assisted Instrumentation Selection for Large-scale C++ Codes”, in Proceedings of the ISC High Performance 2022 International Workshops (C3PO), 2022, pp. 5-19.
2018
A. Hück, Lehr, J. - P., Kreutzer, S., Protze, J., Terboven, C., Bischof, C., and Müller, M. S., “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.