Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek. Detecting deadlock in programs with data-centric synchronization. In David Notkin, Betty H. C. Cheng, Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. pages 322-331, IEEE / ACM, 2013. [doi]
@inproceedings{MarinoHDVTV13, title = {Detecting deadlock in programs with data-centric synchronization}, author = {Daniel Marino and Christian Hammer and Julian Dolby and Mandana Vaziri and Frank Tip and Jan Vitek}, year = {2013}, url = {http://dl.acm.org/citation.cfm?id=2486831}, researchr = {https://researchr.org/publication/MarinoHDVTV13}, cites = {0}, citedby = {0}, pages = {322-331}, booktitle = {35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013}, editor = {David Notkin and Betty H. C. Cheng and Klaus Pohl}, publisher = {IEEE / ACM}, isbn = {978-1-4673-3076-3}, }