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.

Dynamic Symbolic Verification of MPI Programs

In FM 2018

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

Click the Cite button above to demo the feature to enable visitors to import publication metadata into their reference management software. Click the Slides button above to demo Academic’s Markdown slides feature.

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

MAPPED: Predictive Dynamic Analysis Tool for MPI Applications

A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications

Efficient Verification Solutions for Message Passing Systems

A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs