{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T07:49:53Z","timestamp":1769240993390,"version":"3.49.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227184","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"299-309","source":"Crossref","is-referenced-by-count":39,"title":["Axis: Automatically fixing atomicity violations through solving control constraints"],"prefix":"10.1109","author":[{"given":"Peng","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048071"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0021-9"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070537"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"33","article-title":"Gadara: Dynamic deadlock avoidance for multithreaded programs","author":"wang","year":"2008","journal-title":"OSDI"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2007.4336225"},{"key":"34","article-title":"The theory of deadlock avoidance via discrete control","author":"wang","year":"2009","journal-title":"POPL"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001438"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964023"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048086"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134337"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190260"},{"key":"12","article-title":"Causal atomicity","author":"farzan","year":"2006","journal-title":"CAV"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111068"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2009.1"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.32"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.55"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453121"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"27","first-page":"75","article-title":"Security holes... Who cares?","author":"rescorla","year":"2003","journal-title":"SSYM'03 Proceedings of the 12th conference on USENIX Security Symposium"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882300"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/1693453.1693490"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/2160718.2160742"},{"key":"2","article-title":"A type and effect system for deterministic parallel java","author":"adve","year":"2009","journal-title":"OOPSLA"},{"key":"10","article-title":"The cracker patch choice: An analysis of post hoc security techniques1","author":"cowan","year":"2000","journal-title":"Information Systems Security"},{"key":"1","year":"0","journal-title":"A Time to Patch Ii Mozilla"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111067"},{"key":"7","article-title":"Kivati: Fast detection and prevention of atomicity violations","author":"chew","year":"2010","journal-title":"Eurosys"},{"key":"6","author":"behrends","year":"2004","journal-title":"Avoiding Serialization Vulnerabilities Through the Use of Synchronization Contracts"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873645"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.37"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706338"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277734"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13621-4"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320386"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","location":"Zurich","start":{"date-parts":[[2012,6,2]]},"end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227184.pdf?arnumber=6227184","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T19:54:18Z","timestamp":1490126058000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227184\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227184","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}