Publications

Found 3 results
Filters: Autor is Sebastian Kreutzer  [Clear All Filters]
2018
A. Hück, Lehr, J. - P., Kreutzer, S., Protze, J., Terboven, C., Bischof, C., und 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, S. 51-58.