@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/},
}