MPI-BugBench: A Framework for Assessing MPI Correctness Tools
Lecture notes in computer science, pp. 121–137
Authors 7
-
Tim Jammer corresponding
Technische Universität Darmstadt
Affiliation as printed
Technical University Darmstadt, Darmstadt, Germany
TU Darmstadt - Technische Universität Darmstadt - Technical University of Darmstadt (Karolinenplatz 5, 64289 Darmstadt - Germany)
-
Institut national de recherche en sciences et technologies du numérique · Centre Inria de l'université de Bordeaux · STORM: Optimisation statique, méthodes d'exécution
Affiliation as printed
Inria, Bordeaux, France
STORM - STatic Optimizations, Runtime Methods (200, avenue de la Vieille Tour 33405 Talence cedex - France)
-
Simon Schwitanski Aachen
Affiliation as printed
RWTH Aachen University, Aachen, Germany
RWTH Aachen - RWTH Aachen University = Rheinisch-Westfälische Technische Hochschule Aachen (RWTH Aachen – Templergraben 55 – 52062 Aachen (Hausanschrift) – 52056 Aachen (Postanschrift) – Deutschland - Germany)
-
Joachim Jenke Aachen
Affiliation as printed
RWTH Aachen University, Aachen, Germany
RWTH Aachen - RWTH Aachen University = Rheinisch-Westfälische Technische Hochschule Aachen (RWTH Aachen – Templergraben 55 – 52062 Aachen (Hausanschrift) – 52056 Aachen (Postanschrift) – Deutschland - Germany)
-
Affiliation as printed
Eviden, Bordeaux, France
Eviden (95870 Bezons, FRANCE - France)
-
Technische Universität Darmstadt
Affiliation as printed
Technical University Darmstadt, Darmstadt, Germany
TU Darmstadt - Technische Universität Darmstadt - Technical University of Darmstadt (Karolinenplatz 5, 64289 Darmstadt - Germany)
-
Technische Universität Darmstadt
Affiliation as printed
Technical University Darmstadt, Darmstadt, Germany
TU Darmstadt - Technische Universität Darmstadt - Technical University of Darmstadt (Karolinenplatz 5, 64289 Darmstadt - Germany)
Cited by 8 stored of 8
8 results
No patents citing this paper on Lens.org (checked 2026-10-06).
References 16
-
W4200631433details pending0citations
16 results