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{Protze:720751,
      author       = {Protze, Joachim and Terboven, Christian and Müller,
                      Matthias S. and Petiton, Serge G. and Emad, Nahid and Murai,
                      Hitoshi and Boku, Taisuke},
      title        = {{R}untime {C}orrectness {C}hecking for {E}merging
                      {P}rogramming {P}aradigms},
      address      = {New York, NY},
      publisher    = {ACM},
      reportid     = {RWTH-CONV-224077},
      pages        = {21-27},
      year         = {2017},
      comment      = {Proceedings of the First International Workshop on Software
                      Correctness for HPC Applications},
      booktitle     = {Proceedings of the First International
                       Workshop on Software Correctness for
                       HPC Applications},
      month         = {Nov},
      date          = {2017-11-12},
      organization  = {1. International Workshop on Software
                       Correctness for HPC Applications,
                       Denver, CO (USA), 12 Nov 2017 - 17 Nov
                       2017},
      cin          = {123010 / 120000 / 022000},
      cid          = {$I:(DE-82)123010_20140620$ / $I:(DE-82)120000_20140620$ /
                      $I:(DE-82)022000_20140101$},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      doi          = {10.1145/3145344.3145490},
      url          = {https://publications.rwth-aachen.de/record/720751},
}