| Title: | Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Vojtech Forejt |
| Daniel Kroening EMail | |
| Ganesh Narayanaswamy | |
| Subodh Sharma | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{sfkn2014-fm,
AUTHOR = { Forejt, Vojtech
and Kroening, Daniel
and Narayanaswamy, Ganesh
and Sharma, Subodh },
TITLE = { Precise Predictive Analysis for Discovering Communication Deadlocks in {MPI} Programs },
BOOKTITLE = { Formal Methods (FM) },
YEAR = { 2014 },
PUBLISHER = { Springer },
PAGES = { 263--278 },
ISBN = { 978-3-319-06409-3 },
SERIES = { LNCS },
VOLUME = { 8442 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.