| Title: | Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Vojtech Forejt |
| Saurabh Joshi | |
| Daniel Kroening EMail | |
| Ganesh Narayanaswamy | |
| Subodh Sharma | |
| Remarks: | |
| Topics: |
Bibtex:
@article{fjkns2017,
AUTHOR = { Forejt, Vojtech
and Joshi, Saurabh
and Kroening, Daniel
and Narayanaswamy, Ganesh
and Sharma, Subodh },
TITLE = { Precise Predictive Analysis for Discovering Communication Deadlocks in {MPI} Programs },
YEAR = { 2017 },
PUBLISHER = { ACM },
JOURNAL = { ACM Transactions on Programming Languages and Systems (TOPLAS) },
VOLUME = { 39 },
ISSUE = { 4 },
MONTH = { August },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.