Academic
Academic
Home
News
Courses
Projects
Publications
Students
Contact
Light
Dark
Automatic
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Vojtech Forejt
,
Saurabh Joshi
,
Daniel Kroening
,
Ganesh Narayanaswamy
,
Subodh Sharma
March 2017
PDF
Cite
Project
Type
Journal article
Publication
In
ACM Transactions on Programming Languages and Systems
MPI
deadlocks
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
Dynamic Symbolic Verification of MPI Programs
Verification of Message Passing Systems
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
Efficient Verification Solutions for Message Passing Systems
Cite
×