h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@INPROCEEDINGS{Hueck:825933,
      author       = {Hueck, Alexander and Protze, Joachim and Lehr, Jan-Patrick
                      and Terboven, Christian and Bischof, Christian and Müller,
                      Matthias S.},
      title        = {{T}owards compiler-aided correctness checking of adjoint
                      {MPI} applications},
      reportid     = {RWTH-2021-08615},
      pages        = {40-48},
      year         = {2020},
      comment      = {Proceedings of Correctness 2020: Fouth Ieee/acm
                      International Workshop on Software Correctness for Hpc
                      Applications},
      booktitle     = {Proceedings of Correctness 2020: Fouth
                       Ieee/acm International Workshop on
                       Software Correctness for Hpc
                       Applications},
      month         = {Nov},
      date          = {2020-11-11},
      organization  = {4. IEEE/ACM International Workshop on
                       Software Correctness for HPC
                       Applications, , 11 Nov 2020 - 11 Nov
                       2020},
      cin          = {123010 / 120000},
      cid          = {$I:(DE-82)123010_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)8 / PUB:(DE-HGF)7},
      UT           = {WOS:000679393200005},
      doi          = {10.1109/Correctness51934.2020.00010},
      url          = {https://publications.rwth-aachen.de/record/825933},
}