{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T18:51:49Z","timestamp":1773773509987,"version":"3.50.1"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11]]},"DOI":"10.1109\/ase51524.2021.9678572","type":"proceedings-article","created":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T20:33:49Z","timestamp":1642710829000},"page":"955-966","source":"Crossref","is-referenced-by-count":8,"title":["A Compositional Deadlock Detector for Android Java"],"prefix":"10.1109","author":[{"given":"James","family":"Brotherston","sequence":"first","affiliation":[]},{"given":"Paul","family":"Brunet","sequence":"additional","affiliation":[]},{"given":"Nikos","family":"Gorogiannis","sequence":"additional","affiliation":[]},{"given":"Max","family":"Kanovich","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115684"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_26"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/349214.349241"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2014.07.003"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1051\/ita\/1987210200991"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289519"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3338112"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/945465.945468"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635918"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15769-1_16"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1929553.1929558"},{"key":"ref17","article-title":"Parameterised pushdown systems with non-atomic writes","volume":"13","author":"hague","year":"2011","journal-title":"LIPIcs"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/10722468_15"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94460-9_3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/11678779_15"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970309"},{"key":"ref3","article-title":"ThreadSafe: Static analysis for java concurrency","volume":"72","author":"atkey","year":"2015","journal-title":"ECEASST"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03466-4_9"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604137"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2301725"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227156"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/11678779_14"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380367"},{"key":"ref1","article-title":"Facebook Infer static analysis framework","year":"0"},{"key":"ref20","first-page":"267","article-title":"Reachability analysis of communicating pushdown systems","author":"heu\u00dfner","year":"2010","journal-title":"Proceedings of FOSSaCS"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567776"},{"key":"ref21","author":"hopcroft","year":"1969","journal-title":"Formal Languages and Their Relation to Automata"},{"key":"ref24","first-page":"101","article-title":"An automata-theoretic approach for model checking threads for LTL properties","author":"kahlon","year":"2006","journal-title":"Proceedings of LICS-21"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2009.45"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69166-2_19"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_49"}],"event":{"name":"2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Melbourne, Australia","start":{"date-parts":[[2021,11,15]]},"end":{"date-parts":[[2021,11,19]]}},"container-title":["2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9678507\/9678392\/09678572.pdf?arnumber=9678572","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,18]],"date-time":"2022-04-18T20:27:14Z","timestamp":1650313634000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9678572\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/ase51524.2021.9678572","relation":{},"subject":[],"published":{"date-parts":[[2021,11]]}}}