Alexander Droste, Michael Kuhn, Thomas Ludwig. MPI-checker: static analysis for MPI. In Hal Finkel, editor, Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, LLVM 2015, Austin, Texas, USA, November 15, 2015. ACM, 2015. [doi]
Abstract is missing.