MPI-checker: static analysis for MPI.

Alexander Droste, Michael Kuhn, Thomas Ludwig

Browse the full SC paper archive.