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{Oraji:1028850,
      author       = {Oraji, Yussur Mustafa and Schwitanski, Simon and Burak,
                      Semih and Bischof, Christian and Müller, Matthias S.},
      title        = {{C}oupling {S}tatic and {D}ynamic {MPI} {C}orrectness
                      {T}ools to {O}ptimize {A}ccuracy and {O}verhead},
      address      = {New York, NY, USA},
      publisher    = {Association for Computing Machinery},
      reportid     = {RWTH-2026-01916},
      series       = {ACM conferences},
      pages        = {188-197},
      year         = {2025},
      comment      = {Proceedings of 2025 Workshops of The International
                      Conference on High Performance Computing, Network, Storage,
                      and Analysis (SC25 Workshops) 16–21 Nov 2025, St. Louis,
                      MO, USA},
      booktitle     = {Proceedings of 2025 Workshops of The
                       International Conference on High
                       Performance Computing, Network,
                       Storage, and Analysis (SC25 Workshops)
                       16–21 Nov 2025, St. Louis, MO, USA},
      month         = {Nov},
      date          = {2025-11-16},
      organization  = {9. International Workshop on Software
                       Correctness for HPC Applications, St
                       Louis, MO (USA), 16 Nov 2025 - 21 Nov
                       2025},
      cin          = {123010},
      cid          = {$I:(DE-82)123010_20140620$},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      UT           = {WOS:001661298800020},
      doi          = {10.1145/3731599.3767360},
      url          = {https://publications.rwth-aachen.de/record/1028850},
}