publication

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 detailsURLDOI

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

publication.txt · Last modified: 2019-01-23 10:26 (external edit)