MPI-checker: static analysis for MPI. - Alexander Droste; Michael Kuhn 003; Thomas Ludwig 002 (LLVM@SC, 2015)