MPI

Verification of Message Passing Systems
Message passing is pervasive – from inter processs communication in multicores to high performance computing, message passing plays a central role. In this project, we envison to create a framework to analyse message passing systems.
Verification of Message Passing Systems
Dynamic Symbolic Verification of MPI Programs
In FM 2018
PDF Cite
Dynamic Symbolic Verification of MPI Programs
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
PDF Cite Project
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
PDF Cite
MAPPED: Predictive Dynamic Analysis Tool for MPI Applications
PDF Cite
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
PDF Cite
Efficient Verification Solutions for Message Passing Systems
PDF Cite
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
PDF Cite