{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:19:36Z","timestamp":1729660776183,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/tase.2017.8285633","type":"proceedings-article","created":{"date-parts":[[2018,2,12]],"date-time":"2018-02-12T17:54:03Z","timestamp":1518458043000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Automatic fine-grained locking generation for shared data structures"],"prefix":"10.1109","author":[{"given":"Haiyang","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tingting","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zongyan","family":"Qiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"1992","author":"landi","journal-title":"Interprocedural Aliasing in the Presence of Pointers","key":"ref10"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/186025.186041"},{"key":"ref12","first-page":"13","article-title":"Soot - a Java Bytecode Optimization Framework","author":"vall\u00e9e-rai","year":"1999","journal-title":"CASCON '99"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/1190216.1190260"},{"key":"ref14","article-title":"Lock inference for atomic sections","author":"hicks","year":"2006","journal-title":"TRANSACT '06"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1007\/978-3-642-31057-7_15"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1145\/2568225.2568277"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/2851141.2851164"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/11513988_49"},{"key":"ref19","first-page":"16","article-title":"Automatic lock insertion in concurrent programs","author":"kahlon","year":"2012","journal-title":"Formal Methods in Computer-Aided Design (FMCAD)"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/1375581.1375619"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1145\/1111037.1111068"},{"key":"ref6","article-title":"Why threads are a bad idea (for most purposes)","volume":"5","author":"ousterhout","year":"1996","journal-title":"Presentation given at the 1996 Usenix Annual Technical Conference"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/2048066.2048086"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/360363.360369"},{"year":"2017","author":"liu","journal-title":"Automatic fine-grain locking insertion for shared data structures","key":"ref7"},{"year":"2014","author":"gosling","journal-title":"The Java? Language Specification Java SE 7 Edition","key":"ref2"},{"year":"2014","author":"tanenbaum","journal-title":"Modern Operating Systems","key":"ref1"},{"key":"ref9","first-page":"49","author":"aho","year":"2006","journal-title":"Compilers Principles Techniques and Tools"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/582419.582440"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01728-5","author":"harris","year":"2010","journal-title":"Transactional Memory 2nd Edition"},{"key":"ref21","first-page":"78","author":"hu","year":"2016","journal-title":"Automatic annotating and checking of dynamic ownership"}],"event":{"name":"2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)","start":{"date-parts":[[2017,9,13]]},"location":"Sophia Antipolis","end":{"date-parts":[[2017,9,15]]}},"container-title":["2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8277122\/8285614\/08285633.pdf?arnumber=8285633","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,14]],"date-time":"2022-08-14T02:24:59Z","timestamp":1660443899000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8285633\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/tase.2017.8285633","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}