Compiler-aided type tracking for correctness checking of MPI applications
| Title | 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