Alexander Hück, Joachim Protze, Jan-Patrick Lehr, Christian Terboven, Christian H. Bischof, Matthias S. Müller. Towards compiler-aided correctness checking of adjoint MPI applications. In Ignacio Laguna, Cindy Rubio-González, editors, 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC, Atlanta, GA, USA, November 11, 2020. pages 40-48, IEEE, 2020. [doi]
Abstract is missing.