BibTeX record conf/sc/HuckPLTBM20

• > Home > conf/sc/HuckPLTBM20

@inproceedings{DBLP:conf/sc/HuckPLTBM20,
  author       = {Alexander H{\"{u}}ck and
                  Joachim Protze and
                  Jan{-}Patrick Lehr and
                  Christian Terboven and
                  Christian H. Bischof and
                  Matthias S. M{\"{u}}ller},
  editor       = {Ignacio Laguna and
                  Cindy Rubio{-}Gonz{\'{a}}lez},
  title        = {Towards compiler-aided correctness checking of adjoint {MPI} applications},
  booktitle    = {4th {IEEE/ACM} International Workshop on Software Correctness for
                  {HPC} Applications, Correctness@SC 2020, Atlanta, GA, USA, November
                  11, 2020},
  pages        = {40--48},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/Correctness51934.2020.00010},
  doi          = {10.1109/CORRECTNESS51934.2020.00010},
  timestamp    = {Mon, 05 Feb 2024 20:29:06 +0100},
  biburl       = {https://dblp.org/rec/conf/sc/HuckPLTBM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}