{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:35:43Z","timestamp":1725510943772},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1109\/cgo.2013.6494990","type":"proceedings-article","created":{"date-parts":[[2013,4,11]],"date-time":"2013-04-11T21:38:10Z","timestamp":1365716290000},"page":"1-12","source":"Crossref","is-referenced-by-count":0,"title":["Practical lock\/unlock pairing for concurrent programs"],"prefix":"10.1109","author":[{"family":"Hyoun Kyu Cho","sequence":"first","affiliation":[]},{"given":"T.","family":"Kelly","sequence":"additional","affiliation":[]},{"family":"Yin Wang","sequence":"additional","affiliation":[]},{"given":"S.","family":"Lafortune","sequence":"additional","affiliation":[]},{"family":"Hongwei Liao","sequence":"additional","affiliation":[]},{"given":"S.","family":"Mahlke","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2007.5"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926457"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"33","first-page":"143","article-title":"Sherlog: Error diagnosis by connecting clues from runtime logs","author":"yuan","year":"2010","journal-title":"Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"16","first-page":"221","article-title":"Automated concurrency-bug fixing","author":"jin","year":"2012","journal-title":"Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementa-Tion"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.03.013"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"journal-title":"Type Safety in the Linux Kernel","year":"2011","author":"hackett","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964021"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542491"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.32"},{"journal-title":"MySQL The world's most popular open source database","year":"2012","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"journal-title":"OpenLDAP Community Developed LDAP Software","year":"2012","key":"26"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859632"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268950"},{"key":"3","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"Proceedings of the 8th USENIX Sym-Posium on Operating Systems Design and Implementation"},{"journal-title":"Efficient transparent and comprehensive runtime code manipulation","year":"2004","author":"bruening","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"journal-title":"The Apache HTTP Server Project","year":"2012","key":"1"},{"key":"30","article-title":"Safe optimisations for shared-memory concurrent programs","author":"sevci?k","year":"2011","journal-title":"PLDI"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375615"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512538"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399950"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"31","first-page":"281","article-title":"Gadara: Dynamic deadlock avoidance for multithreaded programs","author":"wang","year":"2008","journal-title":"Proceedings of the 8th USENIX Symposium on Op-Erating Systems Design and Implementation"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250789"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/945465.945468"},{"journal-title":"An extensible SAT-solver","year":"2003","author":"een","key":"8"}],"event":{"name":"2013 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","start":{"date-parts":[[2013,2,23]]},"location":"Shenzhen","end":{"date-parts":[[2013,2,27]]}},"container-title":["Proceedings of the 2013 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6489844\/6494968\/06494990.pdf?arnumber=6494990","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T02:10:49Z","timestamp":1490235049000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6494990\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/cgo.2013.6494990","relation":{},"subject":[],"published":{"date-parts":[[2013,2]]}}}