http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Compiler-aided Type Tracking for Correctness Checking of MPI Applications

Huck, Alexander (Corresponding author) ; Lehr, Jan-Patrick (Corresponding author) ; Kreutzer, Sebastian (Corresponding author) ; Protze, Joachim (Corresponding author)^RWTH* ; Terboven, Christian (Corresponding author)^RWTH* ; Bischof, Christian (Corresponding author) ; Müller, Matthias S. (Corresponding author)^RWTH*

In
Proceedings of Correctness 2018: 2nd International Workshop on Software Correctness for HPC Applications : held in conjunction with SC18: the International Conference for High Performance Computing, Networking, Storage and Analysis : Dallas, Texas, November 11-16, 2018 / IEEE Computer Society, TCHPC, ACM, SIGHPC ; Correctness 2018 workshop organizers: Ignacio Laguna (Lawrence Livermore National Laboratory), Cindy Rubio-González (University of California, Davis), Seiten/Artikel-Nr: 51-58

2018

Konferenz/Event:2. International Workshop on Software Correctness for HPC Applications (Correctness) , Dallas, TX , USA , 2018-11-12 - 2018-11-12

ImpressumPiscataway, NJ : IEEE

Umfang51-58

ISBN978-1-7281-0226-9, 978-1-7281-0227-6

Online
DOI: 10.1109/Correctness.2018.00011
10.1109/Correctness.2018.00011

Einrichtungen

1. Lehrstuhl für Informatik 12 (Hochleistungsrechnen) (123010)
2. Fachgruppe Informatik (120000)

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85063088265
WOS Core Collection: WOS:000461030500007

Interne Identnummern
RWTH-2019-02915
Datensatz-ID: 758462

Beteiligte Länder
Germany