Towards compiler-aided correctness checking of adjoint MPI applications
Titel | Towards compiler-aided correctness checking of adjoint MPI applications |
Publication Type | Konferenzartikel (erschienen) |
Year of Publication | 2020 |
Authors | Hück, A, Protze, J, Lehr, J-P, Terboven, C, Bischof, C, Müller, MS |
Conference Name | Proceedings of the 4th International Workshop on Software Correctness for HPC Applications (Correctness) |
Pagination | 40-48 |
Publisher | IEEE |
DOI | 10.1109/Correctness51934.2020.00010 |
Undefined