ISP

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

ISP: a tool for model checking MPI programs

Full text

Pdf (196 KB)

Source

Principles and Practice of Parallel Programming archive
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming table of contents

Salt Lake City, UT, USA

POSTER SESSION: Poster session table of contents

Pages 285-286

Year of Publication: 2008

ISBN:978-1-59593-795-7

Authors

Sarvani S. Vakkalanka	University of Utah, Salt Lake City, UT, USA
Subodh Sharma	University of Utah, Salt Lake City, UT, USA
Ganesh Gopalakrishnan	University of Utah, Salt Lake City, UT, USA
Robert M. Kirby	University of Utah, Salt Lake City, UT, USA

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 70, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1345206.1345258 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	CORPORATE The MPI Forum, MPI: a message passing interface, Proceedings of the 1993 ACM/IEEE conference on Supercomputing, p.878-883, December 1993, Portland, Oregon, United States [doi>10.1145/169627.169855]
	2	Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, and William Gropp, Formal Verification of Programs that use MPI One-sided Communication, EuroPVM/MPI, 30--39, 2006.
	3	Salman Pervez, Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, and William Gropp, Practical Model Checking Method for Verifying Correctness of MPI Programs, EuroPVM/MPI, 344--353, 2007.
	4	Edmund M. Clarke, Jr. , Orna Grumberg , Doron A. Peled, Model checking, MIT Press, Cambridge, MA, 2000
	5	G. J. Holzmann, The SPIN Model Checker, Addison-Wesley, 2004.
	6	Stephen F. Siegel, Model Checking Nonblocking MPI Programs, In VMCAI, 44--58, LNCS 4349, 2007.
	7	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, and Robert M. Kirby, Distributed Dynamic Partial Order Reduction based Verification of Threaded Software, In SPIN, 58--75, LNCS 4595, 2007.
	8	Robert Palmer , Ganesh Gopalakrishnan , Robert M. Kirby, Semantics driven dynamic partial-order reduction of MPI-based parallel programs, Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging, July 09-09, 2007, London, United Kingdom [doi>10.1145/1273647.1273657]
	9	Richard Vuduc , Martin Schulz , Dan Quinlan , Bronis de Supinski , Andreas Sæbjørnsen, Improving distributed memory applications testing by message perturbation, Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging, July 17-17, 2006, Portland, Maine, USA [doi>10.1145/1147403.1147409]
	10	Madanlal Musuvathi , Shaz Qadeer, Iterative context bounding for systematic testing of multithreaded programs, Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, June 10-13, 2007, San Diego, California, USA
	11	Patrice Godefroid, Model checking for programming languages using VeriSoft, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.174-186, January 15-17, 1997, Paris, France [doi>10.1145/263699.263717]
	12	Cormac Flanagan , Patrice Godefroid, Dynamic partial-order reduction for model checking software, Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.110-121, January 12-14, 2005, Long Beach, California, USA