{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T15:03:18Z","timestamp":1769007798863,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:00:00Z","timestamp":1559952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1527923 and CNS-1704336"],"award-info":[{"award-number":["CCF-1527923 and CNS-1704336"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314611","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"16-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Accelerating sequential consistency for Java with speculative compilation"],"prefix":"10.1145","author":[{"given":"Lun","family":"Liu","sequence":"first","affiliation":[{"name":"University of California at Los Angeles, USA"}]},{"given":"Todd","family":"Millstein","sequence":"additional","affiliation":[{"name":"University of California at Los Angeles, USA"}]},{"given":"Madanlal","family":"Musuvathi","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669131"},{"key":"e_1_3_2_2_2_1","volume-title":"Computer Aided Verification - 26th International Conference . 508\u2013524.","author":"Alglave Jade","unstructured":"Jade Alglave , Daniel Kroening , Vincent Nimal , and Daniel Poetzl . 2014. Don\u2019t Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion . In Computer Aided Verification - 26th International Conference . 508\u2013524. Jade Alglave, Daniel Kroening, Vincent Nimal, and Daniel Poetzl. 2014. Don\u2019t Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion. In Computer Aided Verification - 26th International Conference . 508\u2013524."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.442.0399"},{"issue":"2","key":"e_1_3_2_2_4_1","first-page":"1","article-title":"ARM Cortex-A Series Programmer\u2019s Guide for ARMv8-A Version: 1.0","volume":"13","year":"2018","unstructured":"ARMv8 2018 . ARM Cortex-A Series Programmer\u2019s Guide for ARMv8-A Version: 1.0 , Section 13 . 2 . 1 . http:\/\/infocenter.arm.com\/help\/index.jsp? topic=\/com.arm.doc.den0024a\/CHDCJBGA.html Accessed April 2018. ARMv8 2018. ARM Cortex-A Series Programmer\u2019s Guide for ARMv8-A Version: 1.0, Section 13.2.1. http:\/\/infocenter.arm.com\/help\/index.jsp? topic=\/com.arm.doc.den0024a\/CHDCJBGA.html Accessed April 2018.","journal-title":"Section"},{"key":"e_1_3_2_2_5_1","volume-title":"Programming Languages and Systems - 24th European Symposium on Programming (Lecture Notes in Computer Science)","author":"Batty Mark","unstructured":"Mark Batty , Kayvan Memarian , Kyndylan Nienhuis , Jean PichonPharabod , and Peter Sewell . 2015. The Problem of Programming Language Concurrency Semantics . In Programming Languages and Systems - 24th European Symposium on Programming (Lecture Notes in Computer Science) , Jan Vitek (Ed.), Vol. 9032 . Springer , 283\u2013307. Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean PichonPharabod, and Peter Sewell. 2015. The Problem of Programming Language Concurrency Semantics. In Programming Languages and Systems - 24th European Symposium on Programming (Lecture Notes in Computer Science), Jan Vitek (Ed.), Vol. 9032. Springer, 283\u2013307."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814292"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2618128.2618134"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250697"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429110"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806625"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806672.1806674"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297033"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2016.48"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934536"},{"key":"e_1_3_2_2_15_1","volume-title":"JSR-133 Cookbook for Compiler Writers. Accessed","year":"2018","unstructured":"JSR133 2018. JSR-133 Cookbook for Compiler Writers. Accessed November 2018 . http:\/\/g.oswego.edu\/dl\/jmm\/cookbook.html JSR133 2018. JSR-133 Cookbook for Compiler Writers. Accessed November 2018. http:\/\/g.oswego.edu\/dl\/jmm\/cookbook.html"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2005.43"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009850"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062352"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133873"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1815987"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040336"},{"key":"e_1_3_2_2_22_1","volume-title":"1st Summit on Advances in Programming Languages (SNAPL 2015) (Leibniz International Proceedings in Informatics (LIPIcs)), Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S","author":"Marino Daniel","unstructured":"Daniel Marino , Todd Millstein , Madanlal Musuvathi , Satish Narayanasamy , and Abhayendra Singh . 2015. The Silently Shifting Semicolon . In 1st Summit on Advances in Programming Languages (SNAPL 2015) (Leibniz International Proceedings in Informatics (LIPIcs)), Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S . Lerner, and Greg Morrisett (Eds.), Vol. 32 . 177\u2013189. Daniel Marino, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy, and Abhayendra Singh. 2015. The Silently Shifting Semicolon. In 1st Summit on Advances in Programming Languages (SNAPL 2015) (Leibniz International Proceedings in Informatics (LIPIcs)), Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S. Lerner, and Greg Morrisett (Eds.), Vol. 32. 177\u2013189."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806636"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993522"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276506"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/3241639.3241651"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837616"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755922"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2851141.2851150"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993520"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694379"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807426.2807432"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/42190.42277"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950375"},{"key":"e_1_3_2_2_36_1","volume-title":"Proc. of the 39th Annual International Symposium on Computer Architecture . 524 \u2013535","author":"Singh Abhayendra","unstructured":"Abhayendra Singh , S. Narayanasamy , D. Marino , T. Millstein , and M. Musuvathi . 2012. End-to-end Sequential Consistency . In Proc. of the 39th Annual International Symposium on Computer Architecture . 524 \u2013535 . Abhayendra Singh, S. Narayanasamy, D. Marino, T. Millstein, and M. Musuvathi. 2012. End-to-end Sequential Consistency. In Proc. of the 39th Annual International Symposium on Computer Architecture . 524 \u2013535."},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065947"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3018743.3018746"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178487.3178514"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934664"},{"key":"e_1_3_2_2_41_1","volume-title":"Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management (ISMM 2017)","author":"Zhang Minjia","unstructured":"Minjia Zhang , Swarnendu Biswas , and Michael D. Bond . 2017. Avoiding Consistency Exceptions Under Strong Memory Models . In Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management (ISMM 2017) . ACM, 115\u2013127. Minjia Zhang, Swarnendu Biswas, and Michael D. Bond. 2017. Avoiding Consistency Exceptions Under Strong Memory Models. In Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management (ISMM 2017) . ACM, 115\u2013127."}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Phoenix AZ USA","acronym":"PLDI '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314611","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314611","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314611","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:22Z","timestamp":1750204402000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314611"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":41,"alternative-id":["10.1145\/3314221.3314611","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314611","relation":{},"subject":[],"published":{"date-parts":[[2019,6,8]]},"assertion":[{"value":"2019-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}