Publication details

MPI-Checker - Static Analysis for MPI (Alexander Droste, Michael Kuhn, Thomas Ludwig), In Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, LLVM '15, ACM (New York, USA), SC15, Austin, Texas, USA, ISBN: 978-1-4503-4005-2, 2015-11
Publication details – URL – DOI

BibTeX

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