Formal verification of practical MPI programs
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
Formal verification of practical MPI programs
PPoPP, 2009.

PPoPP 2009
Full names Links ISxN
	author        = "Anh Vo and Sarvani S. Vakkalanka and Michael Delisi and Ganesh Gopalakrishnan and Robert M. Kirby and Rajeev Thakur",
	booktitle     = "{Proceedings of the 14th Symposium on Principles and Practice of Parallel Programming}",
	doi           = "10.1145/1504176.1504214",
	isbn          = "978-1-60558-397-6",
	pages         = "261--270",
	publisher     = "{ACM}",
	title         = "{Formal verification of practical MPI programs}",
	year          = 2009,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.