{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:24Z","timestamp":1750306104569,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T00:00:00Z","timestamp":1497744000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,18]]},"DOI":"10.1145\/3103111.3104039","type":"proceedings-article","created":{"date-parts":[[2017,6,26]],"date-time":"2017-06-26T12:13:28Z","timestamp":1498479208000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Correctness of Partial Escape Analysis for Multithreading Optimization"],"prefix":"10.1145","author":[{"given":"Dustin","family":"Rhodes","sequence":"first","affiliation":[{"name":"UC Santa Cruz"}]},{"given":"Cormac","family":"Flanagan","sequence":"additional","affiliation":[{"name":"UC Santa Cruz"}]},{"given":"Stephen N.","family":"Freund","sequence":"additional","affiliation":[{"name":"Williams College"}]}],"member":"320","published-online":{"date-parts":[[2017,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.546611"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320387"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375591"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320386"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/945885.945892"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 1st Java Virtual Machine Research and Technology Symposium","author":"Christiaens Mark","year":"2001","unstructured":"Mark Christiaens and Koen De Bosschere . 2001 . TRaDe: A Topological Approach to On-the-Fly Race Detection in Java Programs . In Proceedings of the 1st Java Virtual Machine Research and Technology Symposium , April 23-24, 2001, Monterey, CA, USA. 105--116. Mark Christiaens and Koen De Bosschere. 2001. TRaDe: A Topological Approach to On-the-Fly Race Detection in Java Programs. In Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, April 23-24, 2001, Monterey, CA, USA. 105--116."},{"key":"e_1_3_2_1_7_1","volume-title":"New Compiler Optimizations in the Java HotSpotffl Virtual Machine. In JavaOne Conference.","author":"Dever Steve","year":"2006","unstructured":"Steve Dever , Steve Goldman , and Kenneth Russell . 2006 . New Compiler Optimizations in the Java HotSpotffl Virtual Machine. In JavaOne Conference. Steve Dever, Steve Goldman, and Kenneth Russell. 2006. New Compiler Optimizations in the Java HotSpotffl Virtual Machine. In JavaOne Conference."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Pietro Ferrara. 2008. Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. In TAP. 116--133.   Pietro Ferrara. 2008. Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. In TAP. 116--133.","DOI":"10.1007\/978-3-540-79124-9_9"},{"key":"e_1_3_2_1_9_1","volume-title":"9th International Conference. 82--93","author":"Gay David","year":"2000","unstructured":"David Gay and Bjarne Steensgaard . 2000 . Fast Escape Analysis and Stack Allocation for Object-Based Programs. In Compiler Construction , 9th International Conference. 82--93 . David Gay and Bjarne Steensgaard. 2000. Fast Escape Analysis and Stack Allocation for Object-Based Programs. In Compiler Construction, 9th International Conference. 82--93."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040336"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 3rd Virtual Machine Research and Technology Symposium. 127--138","author":"Nishiyama Hiroyasu","year":"2004","unstructured":"Hiroyasu Nishiyama . 2004 . Detecting Data Races Using Dynamic Escape Analysis Based on Read Barrier . In Proceedings of the 3rd Virtual Machine Research and Technology Symposium. 127--138 . Hiroyasu Nishiyama. 2004. Detecting Data Races Using Dynamic Escape Analysis Based on Read Barrier. In Proceedings of the 3rd Virtual Machine Research and Technology Symposium. 127--138."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 1st Java Virtual Machine Research and Technology Symposium","author":"Paleczny Michael","year":"2001","unstructured":"Michael Paleczny , Christopher A. Vick , and Cliff Click . 2001 . The Java HotSpot Server Compiler . In Proceedings of the 1st Java Virtual Machine Research and Technology Symposium , April 23-24, 2001, Monterey, CA, USA. Michael Paleczny, Christopher A. Vick, and Cliff Click. 2001. The Java HotSpot Server Compiler. In Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, April 23-24, 2001, Monterey, CA, USA."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/379539.379553"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449775"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544157"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504288"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287654"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320400"}],"event":{"name":"ECOOP '17: European Conference on Object-Oriented Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","AITO Assoc Internationale por les Technologies Objects"],"location":"Barcelona Spain","acronym":"ECOOP '17"},"container-title":["Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3103111.3104039","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3103111.3104039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:37Z","timestamp":1750217437000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3103111.3104039"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,18]]},"references-count":21,"alternative-id":["10.1145\/3103111.3104039","10.1145\/3103111"],"URL":"https:\/\/doi.org\/10.1145\/3103111.3104039","relation":{},"subject":[],"published":{"date-parts":[[2017,6,18]]},"assertion":[{"value":"2017-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}