Joachim Protze

ARCHER: Effectively Spotting Data Races in Large OpenMP Applications

Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamarić et al. · 2016 · 78 citations · Full text

Cluster Computing, Engineering, Computer Architecture +23

MPI runtime error detection with MUST: Advances in deadlock detection

Tobias Hilbrich, Joachim Protze, Martin Schulz et al. · 2012 International Conference for High Performance Computing, Networking, Storage and Analysis · 2012 · 33 citations · Full text

Cluster Computing, Engineering, Verification +23

Distributed wait state tracking for runtime MPI deadlock detection

Tobias Hilbrich, Bronis R. de Supinski, Wolfgang E. Nagel et al. · 2013 · 17 citations

Cluster Computing, Engineering, Distributed Deadlock Detection +22

Compiler-aided Type Tracking for Correctness Checking of MPI Applications

Alexander Hück, Jan-Patrick Lehr, Sebastian Kreutzer et al. · 2018 · 15 citations

Program Checking, Engineering, Compiler Technology +24

MPI Runtime Error Detection with MUST: Advances in Deadlock Detection

Tobias Hilbrich, Joachim Protze, Martin Schulz et al. · Scientific Programming · 2013 · 15 citations · Full text

Engineering, Verification, Software Systems +25