Academic
Academic
Home
News
Courses
Projects
Publications
Students
Contact
Light
Dark
Automatic
Dynamic Symbolic Verification of MPI Programs
Dhriti Khanna
,
Subodh Sharma
,
Cesar Rodriguez
,
Rahul Purandare
July 2018
PDF
Cite
Type
Conference paper
Publication
In
Formal Methods 2018, Oxford, U.K.
model checking
MPI
runtime verification
symbolic analysis
Subodh Sharma
Assistant Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation
Related
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
Efficient Verification Solutions for Message Passing Systems
MAPPED: Predictive Dynamic Analysis Tool for MPI Applications
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
Cite
×