Towards compiler-aided correctness checking of adjoint MPI applications.

Alexander Hck, Joachim Protze, Jan-Patrick Lehr, Christian Terboven, Christian H. Bischof, Matthias S. Mller

Browse the full SC paper archive.