Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives
No abstract available.
Related papers
- Modeling wildcard-free MPI programs for verification PPoPP 2005
- Ownership passing: efficient distributed memory programming on multi-core systems PPoPP 2013
- POSTER: Cache-Oblivious MPI All-to-All Communications on Many-Core Architectures PPoPP 2017
- Formal verification of practical MPI programs PPoPP 2009
- Automatic formal verification of MPI-based parallel programs PPoPP 2011
- Predictive Analysis of a Wavefront Application using LogGP PPoPP 1999
- RDMA read based rendezvous protocol for MPI over InfiniBand: design alternatives and benefits PPoPP 2006
- Send-receive considered harmful: Myths and realities of message passing TOPLAS 2004