%0 Journal Article %1 journals/toplas/ForejtJKNS17 %A Forejt, Vojtech %A Joshi, Saurabh %A Kroening, Daniel %A Narayanaswamy, Ganesh %A Sharma, Subodh %D 2017 %J ACM Trans. Program. Lang. Syst. %K dblp %N 4 %P 15:1-15:27 %T Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. %U http://dblp.uni-trier.de/db/journals/toplas/toplas39.html#ForejtJKNS17 %V 39

@article{journals/toplas/ForejtJKNS17, added-at = {2019-11-04T00:00:00.000+0100}, author = {Forejt, Vojtech and Joshi, Saurabh and Kroening, Daniel and Narayanaswamy, Ganesh and Sharma, Subodh}, biburl = {https://www.bibsonomy.org/bibtex/2e970b0a33db8d9d5894c4ed83f14e905/dblp}, ee = {https://doi.org/10.1145/3095075}, interhash = {649fd4569fb29539addd73ecff81ba70}, intrahash = {e970b0a33db8d9d5894c4ed83f14e905}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 4, pages = {15:1-15:27}, timestamp = {2019-11-05T11:39:40.000+0100}, title = {Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas39.html#ForejtJKNS17}, volume = 39, year = 2017 }