Compiler-aided type tracking for correctness checking of MPI applications

  • Posted on: December 20, 2018 - 10:25
TitleCompiler-aided type tracking for correctness checking of MPI applications
Publication TypeKonferenzartikel (erschienen)
Year of Publication2018
AuthorsHück, A, Lehr, J-P, Kreutzer, S, Protze, J, Terboven, C, Bischof, C, Müller, MS
Conference NameProceedings of the 2nd International Workshop on Software Correctness for HPC Applications (Correctness)
Pagination51-58
PublisherIEEE
DOI10.1109/Correctness.2018.00011
Undefined