{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:48Z","timestamp":1772164008428,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,23]],"date-time":"2015-10-23T00:00:00Z","timestamp":1445558400000},"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-0926127"],"award-info":[{"award-number":["CCF-0926127"]}],"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":[[2015,10,23]]},"DOI":"10.1145\/2814270.2814318","type":"proceedings-article","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T16:04:33Z","timestamp":1446480273000},"page":"367-385","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Declarative fence insertion"],"prefix":"10.1145","author":[{"given":"John","family":"Bender","sequence":"first","affiliation":[{"name":"University of California at Los Angeles, USA"}]},{"given":"Mohsen","family":"Lesani","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"given":"Jens","family":"Palsberg","sequence":"additional","affiliation":[{"name":"University of California at Los Angeles, USA"}]}],"member":"320","published-online":{"date-parts":[[2015,10,23]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Built-in functions for atomic memory access. https:\/\/gcc.gnu.org\/onlinedocs\/gcc-4.8. 0\/gcc\/_005f_005fsync-Builtins.html#g_t_005f_ 005fsync-Builtins","author":"GNU GCC","year":"2013"},{"key":"e_1_3_2_2_2_1","volume-title":"CAV","author":"Alglave Jade","year":"2014"},{"key":"e_1_3_2_2_3_1","volume-title":"http:\/\/infocenter.arm.com\/help\/index.jsp? topic=\/com.arm.doc.dui0489c\/CIHGHHIE.html","author":"ARM.","year":"2011"},{"key":"e_1_3_2_2_4_1","volume-title":"https:\/\/bitbucket.org\/ucla-pls\/ parry","author":"Bender John","year":"2015"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/874063.875603"},{"key":"e_1_3_2_2_6_1","unstructured":"Intel Corp. Intel 64 and ia-32 architectures software developers manual. http:\/\/www.intel.com\/content\/ dam\/www\/public\/us\/en\/documents\/manuals\/ 64-ia-32-architectures-software-developermanual-325462.pdf 2015. {Online accessed Feb 2015}.  Intel Corp. Intel 64 and ia-32 architectures software developers manual. http:\/\/www.intel.com\/content\/ dam\/www\/public\/us\/en\/documents\/manuals\/ 64-ia-32-architectures-software-developermanual-325462.pdf 2015. {Online accessed Feb 2015}."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2003.10.037"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522735"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38856-9_7"},{"key":"e_1_3_2_2_10_1","volume-title":"Tl2 and tl2 eager. https:\/\/bitbucket.org\/ucla-pls\/stamp-tl2-x86\/ src\/master\/tl2.c","author":"Minh Dave Dice Chi Cao","year":"2015"},{"key":"e_1_3_2_2_11_1","volume-title":"efficient network analysis. https:\/\/graph-tool.skewed.de\/","author":"de Paula Peixoto Tiago","year":"2015"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11864219_14"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810479.1810531"},{"key":"e_1_3_2_2_14_1","volume-title":"A race in locksupport park() arising from weak memory models. https:\/\/blogs.oracle.com\/ dave\/entry\/a_race_in_locksupport_park","author":"Dice David","year":"2009"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/782814.782854"},{"key":"e_1_3_2_2_16_1","volume-title":"https:\/\/www. gnu.org\/software\/glpk\/","author":"GNU.","year":"2015"},{"key":"e_1_3_2_2_17_1","volume-title":"accessed","year":"2015"},{"key":"e_1_3_2_2_18_1","unstructured":"Richard Grisenthwaite. Barrier litmus tests and cookbook. http:\/\/infocenter.arm.com\/help\/topic\/com. arm.doc.genc007826\/Barrier_Litmus_Tests_and_ Cookbook_A08.pd 2009. {Online accessed Feb 2015}.  Richard Grisenthwaite. Barrier litmus tests and cookbook. http:\/\/infocenter.arm.com\/help\/topic\/com. arm.doc.genc007826\/Barrier_Litmus_Tests_and_ Cookbook_A08.pd 2009. {Online accessed Feb 2015}."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/173682.165164"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025145"},{"key":"e_1_3_2_2_21_1","first-page":"120","volume-title":"Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design, FMCAD \u201910","author":"Kuperstein Michael","year":"2010"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993521"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.947002"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45174-8_27"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254115"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10936-7_15"},{"key":"e_1_3_2_2_29_1","first-page":"46","volume-title":"Workload Characterization, 2008. IISWC 2008. IEEE International Symposium on","author":"Minh Chi Cao"},{"key":"e_1_3_2_2_30_1","volume-title":"online, accessed","year":"2014"},{"key":"e_1_3_2_2_31_1","volume-title":"Rstm byteeager. https:\/\/code.google.com\/p\/rstm\/source\/browse\/ trunk\/libstm\/algs\/byteeager.cpp","author":"University of Rochester and Lehigh University Departments of Computer Science.","year":"2015"},{"key":"e_1_3_2_2_32_1","volume-title":"accessed","year":"2015"},{"key":"e_1_3_2_2_33_1","unstructured":"LLVM Project. Llvm language reference manual. http:\/\/ llvm.org\/docs\/LangRef.html 2015.  LLVM Project. Llvm language reference manual. http:\/\/ llvm.org\/docs\/LangRef.html 2015."},{"key":"e_1_3_2_2_34_1","volume-title":"accessed","year":"2015"},{"key":"e_1_3_2_2_35_1","volume-title":"http:\/\/www.sagemath.org\/","author":"Project Sage","year":"2015"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/42190.42277"}],"event":{"name":"SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Pittsburgh PA USA","acronym":"SPLASH '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814318","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814270.2814318","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:48:41Z","timestamp":1750211321000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814318"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,23]]},"references-count":34,"alternative-id":["10.1145\/2814270.2814318","10.1145\/2814270"],"URL":"https:\/\/doi.org\/10.1145\/2814270.2814318","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2858965.2814318","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,10,23]]},"assertion":[{"value":"2015-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}