%0 Conference Paper %1 conf/sc/DrosteKL15 %A Droste, Alexander %A Kuhn, Michael %A Ludwig, Thomas %B LLVM@SC %D 2015 %E Finkel, Hal %I ACM %K %P 3:1-3:10 %T MPI-checker: static analysis for MPI. %U http://dblp.uni-trier.de/db/conf/sc/llvm2015.html#DrosteKL15 %@ 978-1-4503-4005-2

@inproceedings{conf/sc/DrosteKL15, added-at = {2023-12-12T19:17:16.000+0100}, author = {Droste, Alexander and Kuhn, Michael and Ludwig, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2ef7022d4111b8aa4743a846d8b978284/admin}, booktitle = {LLVM@SC}, crossref = {conf/sc/2015llvm}, editor = {Finkel, Hal}, ee = {https://doi.org/10.1145/2833157.2833159}, interhash = {1e7757fecca884eaf5f9207e449e00e8}, intrahash = {ef7022d4111b8aa4743a846d8b978284}, isbn = {978-1-4503-4005-2}, keywords = {}, pages = {3:1-3:10}, publisher = {ACM}, timestamp = {2023-12-12T19:17:16.000+0100}, title = {MPI-checker: static analysis for MPI.}, url = {http://dblp.uni-trier.de/db/conf/sc/llvm2015.html#DrosteKL15}, year = 2015 }