{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:22:22Z","timestamp":1725790942192},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icse.2013.6606578","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T14:38:03Z","timestamp":1380638283000},"page":"322-331","source":"Crossref","is-referenced-by-count":12,"title":["Detecting deadlock in programs with data-centric synchronization"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Marino","sequence":"first","affiliation":[]},{"given":"Christian","family":"Hammer","sequence":"additional","affiliation":[]},{"given":"Julian","family":"Dolby","sequence":"additional","affiliation":[]},{"given":"Mandana","family":"Vaziri","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Tip","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Vitek","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103796"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.17.8"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/582438.582440"},{"key":"18","first-page":"158","article-title":"Flexible alias protection","author":"noble","year":"1998","journal-title":"ECOOP"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03466-4_9"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1929553.1929558"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048086"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190260"},{"journal-title":"Static Detection of Deadlocks","year":"1977","author":"saxena","key":"11"},{"key":"12","first-page":"602","article-title":"Static deadlock detection for Java libraries","author":"williams","year":"2005","journal-title":"ECOOP"},{"key":"21","first-page":"245","article-title":"Using runtime analysis to guide model checking of Java programs","author":"havelund","year":"2000","journal-title":"SPIN"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/2160910.2160913"},{"key":"20","first-page":"191","article-title":"Detecting potential deadlocks with static analysis and run-time monitoring","author":"agarwal","year":"2005","journal-title":"Haifa Verification Conference"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_15"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111067"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2004.3.6.a5"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949340"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/945465.945468"},{"journal-title":"Static Detection of Deadlocks in Polynomial Time","year":"1993","author":"masticola","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368120"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"journal-title":"Detecting Deadlock in Programs with Data-centric Synchronization","year":"2012","author":"marino","key":"8"}],"event":{"name":"2013 35th International Conference on Software Engineering (ICSE)","start":{"date-parts":[[2013,5,18]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,26]]}},"container-title":["2013 35th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596173\/6606539\/06606578.pdf?arnumber=6606578","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T22:18:45Z","timestamp":1490221125000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6606578\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/icse.2013.6606578","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}