Compiler-aided type tracking for correctness checking of MPI applications
Titel | Compiler-aided type tracking for correctness checking of MPI applications |
Publication Type | Konferenzartikel (erschienen) |
Year of Publication | 2018 |
Authors | Hück, A, Lehr, J-P, Kreutzer, S, Protze, J, Terboven, C, Bischof, C, Müller, MS |
Conference Name | Proceedings of the 2nd International Workshop on Software Correctness for HPC Applications (Correctness) |
Pagination | 51-58 |
Publisher | IEEE |
DOI | 10.1109/Correctness.2018.00011 |
Undefined