{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T07:52:20Z","timestamp":1790927540256,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T00:00:00Z","timestamp":1591833600000},"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":[[2020,6,11]]},"DOI":"10.1145\/3385412.3386010","type":"proceedings-article","created":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T01:40:10Z","timestamp":1591494010000},"page":"362-376","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":44,"title":["Promising 2.0: global optimizations in relaxed memory concurrency"],"prefix":"10.1145","author":[{"given":"Sung-Hwan","family":"Lee","sequence":"first","affiliation":[{"name":"Seoul National University, South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Minki","family":"Cho","sequence":"additional","affiliation":[{"name":"Seoul National University, South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anton","family":"Podkopaev","sequence":"additional","affiliation":[{"name":"National Research University Higher School of Economics, Russia \/ MPI-SWS, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Soham","family":"Chakraborty","sequence":"additional","affiliation":[{"name":"IIT Delhi, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chung-Kil","family":"Hur","sequence":"additional","affiliation":[{"name":"Seoul National University, South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ori","family":"Lahav","sequence":"additional","affiliation":[{"name":"Tel Aviv University, Israel"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Viktor","family":"Vafeiadis","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2020."},{"key":"e_1_3_2_1_2_1","unstructured":"Coq development and supplementary material for this paper. http:\/\/sf.snu.ac.kr\/promising2.0"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429099"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926394"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360568"},{"key":"e_1_3_2_1_6_1","volume-title":"Out-of-thin-air, revisited, again. wg21.link\/p1217 [Online","author":"Boehm Hans-Juergen","year":"2020","unstructured":"Hans-Juergen Boehm. 2019. P1217R2: Out-of-thin-air, revisited, again. wg21.link\/p1217 [Online; accessed 22-March-2020]."},{"key":"e_1_3_2_1_7_1","unstructured":"C\/C++11 mappings to processors 2019."},{"key":"e_1_3_2_1_8_1","unstructured":"Retrieved July 3 2019 from http:\/\/www.cl.cam.ac.uk\/~pes20\/cpp\/cpp0xmappings.html"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290383"},{"key":"e_1_3_2_1_10_1","unstructured":"Alan Jeffrey and James Riely. 2016."},{"key":"e_1_3_2_1_11_1","volume-title":"LICS","author":"Air Reads On Thin","year":"2016","unstructured":"On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory. In LICS 2016. ACM, 759\u2013767."},{"key":"e_1_3_2_1_12_1","unstructured":"Alan Jeffrey and James Riely. 2019."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.3844\/jcssp.2019.1.9"},{"key":"e_1_3_2_1_14_1","unstructured":"JMM causality test cases 2019."},{"key":"e_1_3_2_1_15_1","unstructured":"Retrieved November 17 2019 from http:\/\/www.cs.umd.edu\/~pugh\/java\/memoryModel\/ unifiedProposal\/testcases.html"},{"key":"e_1_3_2_1_16_1","unstructured":"Jeehoon Kang. 2019."},{"key":"e_1_3_2_1_17_1","unstructured":"Reconciling low-level features of C with compiler optimizations. Ph.D. Dissertation. Seoul National University."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009850"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062352"},{"key":"e_1_3_2_1_20_1","volume-title":"Retrieved","author":"Lea Doug","year":"2019","unstructured":"Doug Lea. 2019. JEP 188: Java Memory Model Update. Retrieved November 17, 2019 from http:\/\/openjdk.java.net\/jeps\/188"},{"key":"e_1_3_2_1_21_1","unstructured":"Doug Lea. 2019."},{"key":"e_1_3_2_1_22_1","unstructured":"Using JDK 9 Memory Order Modes. Retrieved November 17 2019 from http:\/\/gee.cs.oswego.edu\/dl\/html\/j9mm.html"},{"key":"e_1_3_2_1_23_1","volume-title":"Adve","author":"Manson Jeremy","year":"2005","unstructured":"Jeremy Manson, William Pugh, and Sarita V. Adve. 2005."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040336"},{"key":"e_1_3_2_1_25_1","volume-title":"Reconciling Event Structures with Modern Multiprocessors. arXiv preprint arXiv:1911.06567","author":"Moiseenko Evgenii","year":"2019","unstructured":"Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, and Viktor Vafeiadis. 2019. Reconciling Event Structures with Modern Multiprocessors. arXiv preprint arXiv:1911.06567 (2019)."},{"key":"e_1_3_2_1_26_1","unstructured":"Jean Pichon-Pharabod and Peter Sewell. 2016."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837616"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290382"},{"key":"e_1_3_2_1_29_1","unstructured":"Christopher Pulte Shaked Flur Will Deacon Jon French Susmit Sarkar and Peter Sewell. 2018."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158107"},{"key":"e_1_3_2_1_31_1","unstructured":"Jaroslav Sevcik and David Aspinall. 2008."},{"key":"e_1_3_2_1_32_1","unstructured":"On Validity of Program Transformations in the Java Memory Model. In ECOOP. 27\u201351."},{"key":"e_1_3_2_1_33_1","unstructured":"Viktor Vafeiadis Thibaut Balabonski Soham Chakraborty Robin Morisset and Francesco Zappa Nardelli. 2015."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676995"},{"key":"e_1_3_2_1_35_1","unstructured":"Viktor Vafeiadis and Chinmay Narayan. 2013."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509532"}],"event":{"name":"PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"London UK","acronym":"PLDI '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386010","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3386010","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:49Z","timestamp":1750199929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386010"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,11]]},"references-count":36,"alternative-id":["10.1145\/3385412.3386010","10.1145\/3385412"],"URL":"https:\/\/doi.org\/10.1145\/3385412.3386010","relation":{},"subject":[],"published":{"date-parts":[[2020,6,11]]},"assertion":[{"value":"2020-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}