Towards compiler-aided correctness checking of adjoint MPI applications
| Title | 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