PAPERS

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.