Academic
Academic
Home
News
Courses
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
Type
Journal article
Publication
In
ACM Transactions on Programming Languages and Systems
MPI
Deadlocks
Symbolic Analysis
Subodh Sharma
Associate Professor
Cite
×