Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST.

Cornelius Ptzold, Simon Schwitanski, Joachim Jenke, Felix Tomski, Matthias S. Mller

Browse the full SC paper archive.