An Effective Dynamic Analysis for Detecting Generalized Deadlocks. Joshi, P., Naik, M., Sen, K., & Gay, D. In ACM Symposium on Foundations of Software Engineering (FSE), November, 2010. Paper bibtex @inproceedings{fse10,
author = {Pallavi Joshi and Mayur Naik and Koushik Sen and David Gay},
title = {An Effective Dynamic Analysis for Detecting Generalized Deadlocks},
booktitle = {ACM Symposium on Foundations of Software Engineering (FSE)},
month = nov,
year = 2010,
url_Paper = {papers/fse10.pdf},
kind = "Conference Papers"
}
Downloads: 0
{"_id":"yie4mk9tWC2DSgizE","bibbaseid":"joshi-naik-sen-gay-aneffectivedynamicanalysisfordetectinggeneralizeddeadlocks-2010","downloads":0,"creationDate":"2018-07-24T14:33:25.031Z","title":"An Effective Dynamic Analysis for Detecting Generalized Deadlocks","author_short":["Joshi, P.","Naik, M.","Sen, K.","Gay, D."],"year":2010,"bibtype":"inproceedings","biburl":"https://www.cis.upenn.edu/~mhnaik/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pallavi"],"propositions":[],"lastnames":["Joshi"],"suffixes":[]},{"firstnames":["Mayur"],"propositions":[],"lastnames":["Naik"],"suffixes":[]},{"firstnames":["Koushik"],"propositions":[],"lastnames":["Sen"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Gay"],"suffixes":[]}],"title":"An Effective Dynamic Analysis for Detecting Generalized Deadlocks","booktitle":"ACM Symposium on Foundations of Software Engineering (FSE)","month":"November","year":"2010","url_paper":"papers/fse10.pdf","kind":"Conference Papers","bibtex":"@inproceedings{fse10,\n author = {Pallavi Joshi and Mayur Naik and Koushik Sen and David Gay},\n title = {An Effective Dynamic Analysis for Detecting Generalized Deadlocks},\n booktitle = {ACM Symposium on Foundations of Software Engineering (FSE)},\n month = nov,\n year = 2010,\n url_Paper = {papers/fse10.pdf},\n kind = \"Conference Papers\"\n}\n\n","author_short":["Joshi, P.","Naik, M.","Sen, K.","Gay, D."],"key":"fse10","id":"fse10","bibbaseid":"joshi-naik-sen-gay-aneffectivedynamicanalysisfordetectinggeneralizeddeadlocks-2010","role":"author","urls":{" paper":"https://www.cis.upenn.edu/~mhnaik/papers/fse10.pdf"},"downloads":0},"search_terms":["effective","dynamic","analysis","detecting","generalized","deadlocks","joshi","naik","sen","gay"],"keywords":[],"authorIDs":["5b5723190adb611000000063"],"dataSources":["LSKsoTuW2dY5ZcqZF"]}