{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,25]],"date-time":"2026-07-25T16:36:48Z","timestamp":1784997408620,"version":"3.55.0"},"reference-count":42,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115684","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T22:03:57Z","timestamp":1511474637000},"page":"729-740","source":"Crossref","is-referenced-by-count":20,"title":["UNDEAD: Detecting and preventing deadlocks in production software"],"prefix":"10.1109","author":[{"given":"Jinpeng","family":"Zhou","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sam","family":"Silvestro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hongyu","family":"Liu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yan","family":"Cai","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tongping","family":"Liu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103796"},{"key":"ref38","first-page":"281","article-title":"Gadara: Dynamic deadlock avoidance for multithreaded programs","volume":"8","author":"wang","year":"2008","journal-title":"OSDI"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/11678779_15"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555262"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_35"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.14257\/ijhit.2016.9.3.34"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660238"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254126"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.19"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2688500.2688519"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635918"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610398"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.22"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"ref13","first-page":"221","article-title":"Automated concurrency-bug fixing","author":"jin","year":"2012","journal-title":"Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation Ser OSDI'12"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635881"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227184"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884819"},{"key":"ref17","first-page":"295","article-title":"Deadlock immunity: Enabling systems to defend against deadlocks","author":"jula","year":"2008","journal-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89247-2_7"},{"key":"ref19","article-title":"Finding concurrency bugs in Java","author":"hovemeyer","year":"2004","journal-title":"In Proceedings of the PODC Workshop on Concurrency and Synchronization in Java Programs"},{"key":"ref28","year":"0","journal-title":"How sqlite is tested"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"ref27","year":"0","journal-title":"Pure python memcached client"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_26"},{"key":"ref29","year":"0","journal-title":"Ab - Apache Http Server Benchmarking Tool"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/945465.945468"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882339"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/10722468_15"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568312"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227156"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542489"},{"key":"ref20","year":"0","journal-title":"Backtraces - glibc"},{"key":"ref22","first-page":"3","article-title":"Pulse: A dynamic deadlock detection mechanism using speculative execution","author":"li","year":"2005","journal-title":"Proceedings of the Annual Conference on USENIX Annual Technical Conference Ser ATEC'05"},{"key":"ref21","author":"gross","year":"2016","journal-title":"TLS performance overhead and cost on gnu\/linux"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491412"},{"key":"ref24","year":"2016","journal-title":"Dimmunix Deadlock immunity system for Java\/C\/C++ software"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1854273.1854288"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064186"},{"key":"ref26","article-title":"PARSEC 2.0: A new benchmark suite for chip-multiprocessors","author":"bienia","year":"2009","journal-title":"Proceedings of the 5th Annual Workshop on Modeling Benchmarking and Simulation"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1454115.1454128"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Urbana, IL","start":{"date-parts":[[2017,10,30]]},"end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115684.pdf?arnumber=8115684","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,11]],"date-time":"2018-01-11T23:56:52Z","timestamp":1515715012000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115684\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115684","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}