Recent Advances in Parallel Virtual Machine and Message Passing Interface

- Invited Talks (Abstracts)
- Real-Time Message Compression in Software
- The MPI 2.2 Standard and the Emerging MPI 3 Standard
- MPI at Exascale: Challenges for Data Structures and Algorithms
- Model-Based Optimization of MPI Collective Operations for Computational Clusters
- Using MPI to Implement Scalable Libraries
- Formal Verification for Scientific Computing: Trends and Progress
- Tutorial
- Practical Formal Verification of MPI and Thread Programs
- Outstanding Papers
- The Design of Seamless MPI Computing Environment for Commodity-Based Clusters
- MPI on a Million Processors
- Scalable Detection of MPI-2 Remote Memory Access Inefficiency Patterns
- Processing MPI Datatypes Outside MPI
- Applications
- Fine-Grained Data Distribution Operations for Particle Codes
- Experiences Running a Parallel Answer Set Solver on Blue Gene
- Fault Tolerance
- Challenges and Issues of the Integration of RADIC into Open MPI
- In-Memory Checkpointing for MPI Programs by XOR-Based Double-Erasure Codes
- Library Internals
- MPC-MPI: An MPI Implementation Reducing the Overall Memory Consumption
- Towards an Efficient Process Placement Policy for MPI Applications in Multicore Environments
- Dynamic Communicators in MPI
- VolpexMPI: An MPI Library for Execution of Parallel Applications on Volatile Nodes
- MPI I/O
- Using Non-blocking I/O Operations in High Performance Computing to Reduce Execution Times
- Conflict Detection Algorithm to Minimize Locking for MPI-IO Atomicity
- Exploiting Efficient Transpacking for One-Sided Communication and MPI-IO
- Multiple-Level MPI File Write-Back and Prefetching for Blue Gene Systems
- OpenMP
- Performance Evaluation of MPI, UPC and OpenMP on Multicore Architectures
- Automatic Hybrid MPI+OpenMP Code Generation with llc
- Performance
- Optimizing MPI Runtime Parameter Settings by Using Machine Learning
- CoMPI: Enhancing MPI Based Applications Performance and Scalability Using Run-Time Compression
- A