@inproceedings{MSAFMDKL15, author = {Alexander Droste and Michael Kuhn and Thomas Ludwig}, title = {{MPI-Checker - Static Analysis for MPI}}, year = {2015}, month = {11}, booktitle = {{Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC}}, publisher = {ACM}, address = {New York, USA}, series = {LLVM '15}, conference = {SC15}, location = {Austin, Texas, USA}, isbn = {978-1-4503-4005-2}, doi = {http://doi.acm.org/10.1145/2833157.2833159}, url = {http://llvm-hpc2-workshop.github.io/}, }