A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
- 1 January 2012
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- SAGE: Whitebox Fuzzing for Security TestingQueue, 2012
- Formal analysis of MPI-based parallel programsCommunications of the ACM, 2011
- A Scalable and Distributed Dynamic Formal Verifier for MPI ProgramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed OrderingsLecture Notes in Computer Science, 2008
- Improving distributed memory applications testing by message perturbationPublished by Association for Computing Machinery (ACM) ,2006
- Dynamic partial-order reduction for model checking softwareACM SIGPLAN Notices, 2005
- Parallel multilevel k-way partitioning scheme for irregular graphsPublished by Association for Computing Machinery (ACM) ,1996
- Partial-Order Methods for the Verification of Concurrent SystemsLecture Notes in Computer Science, 1996