{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T09:24:34Z","timestamp":1781947474280,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,4,17]],"date-time":"2021-04-17T00:00:00Z","timestamp":1618617600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,4,19]]},"DOI":"10.1145\/3445814.3446711","type":"proceedings-article","created":{"date-parts":[[2021,4,11]],"date-time":"2021-04-11T17:06:26Z","timestamp":1618160786000},"page":"630-646","update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["C11Tester: a race detector for C\/C++ atomics"],"prefix":"10.1145","author":[{"given":"Weiyu","family":"Luo","sequence":"first","affiliation":[{"name":"University of California at Irvine, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Brian","family":"Demsky","sequence":"additional","affiliation":[{"name":"University of California at Irvine, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,4,17]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2020. N4849: Working Draft Standard for ProgrammingLanguage C++. https:\/\/2.zoppoz.workers.dev:443\/http\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2020\/n4849.pdf.  2020. N4849: Working Draft Standard for ProgrammingLanguage C++. https:\/\/2.zoppoz.workers.dev:443\/http\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2020\/n4849.pdf."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535845"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_28"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360576"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276505"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627752"},{"key":"e_1_3_2_2_7_1","unstructured":"F. Eugene Aumson. 2018. gdax-orderbook-hpp. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/feuGeneA\/gdax-orderbook-hpp.  F. Eugene Aumson. 2018. gdax-orderbook-hpp. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/feuGeneA\/gdax-orderbook-hpp."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926394"},{"key":"e_1_3_2_2_9_1","unstructured":"Pete Becker. 2011. ISO\/IEC 14882:2011 Information Technology ? Programming Languages ? C++.  Pete Becker. 2011. ISO\/IEC 14882:2011 Information Technology ? Programming Languages ? C++."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2003476.2003493"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2618128.2618134"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2247684.2247688"},{"key":"e_1_3_2_2_13_1","unstructured":"Hans-J. Boehm. 2013. N3786: Prohibiting \"out of thin air\" results in C++14. https:\/\/2.zoppoz.workers.dev:443\/http\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2013\/n3786.htm.  Hans-J. Boehm. 2013. N3786: Prohibiting \"out of thin air\" results in C++14. https:\/\/2.zoppoz.workers.dev:443\/http\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2013\/n3786.htm."},{"key":"e_1_3_2_2_14_1","volume-title":"Francesco Zappa Nardelli, et al\\mbox","author":"Boehm J.","year":"2013","unstructured":"Hans- J. Boehm , Mark Batty , Brian Demsky , Olivier Giroux , Paul McKenney , Peter Sewell , Francesco Zappa Nardelli, et al\\mbox . 2013 . N3710: Specifying the absence of \"out of thin air\" results (LWG 2265). https:\/\/2.zoppoz.workers.dev:443\/http\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2013\/n3710.html. Hans-J. Boehm, Mark Batty, Brian Demsky, Olivier Giroux, Paul McKenney, Peter Sewell, Francesco Zappa Nardelli, et al\\mbox. 2013. N3710: Specifying the absence of \"out of thin air\" results (LWG2265). https:\/\/2.zoppoz.workers.dev:443\/http\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2013\/n3710.html."},{"key":"e_1_3_2_2_15_1","unstructured":"Hans-J. Boehm Olivier Giroux and Viktor Vafeiades. 2018. P0982R0: Weaken Release Sequences. https:\/\/2.zoppoz.workers.dev:443\/http\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2018\/p0982r0.html.  Hans-J. Boehm Olivier Giroux and Viktor Vafeiades. 2018. P0982R0: Weaken Release Sequences. https:\/\/2.zoppoz.workers.dev:443\/http\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2018\/p0982r0.html."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250737"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2926697.2926700"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814297"},{"key":"e_1_3_2_2_19_1","volume-title":"Mabain: A fast and light-weighted key-value store library. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/chxdeng\/mabain.","author":"Deng Changxue","year":"2018","unstructured":"Changxue Deng . 2018 . Mabain: A fast and light-weighted key-value store library. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/chxdeng\/mabain. Changxue Deng. 2018. Mabain: A fast and light-weighted key-value store library. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/chxdeng\/mabain."},{"key":"e_1_3_2_2_20_1","unstructured":"Ulrich Drepper. 2013. ELF Handling For Thread-Local Storage. https:\/\/2.zoppoz.workers.dev:443\/https\/akkadia.org\/drepper\/tls.pdf.  Ulrich Drepper. 2013. ELF Handling For Thread-Local Storage. https:\/\/2.zoppoz.workers.dev:443\/https\/akkadia.org\/drepper\/tls.pdf."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462162"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250762"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806625"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737975"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594315"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984025"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1556444.1556453"},{"key":"e_1_3_2_2_31_1","unstructured":"ISO JTC. 2011. ISO\/IEC 9899:2011 Information Technology ? Programming Languages ? C.  ISO JTC. 2011. ISO\/IEC 9899:2011 Information Technology ? Programming Languages ? C."},{"key":"e_1_3_2_2_32_1","unstructured":"Max Khiszinsky. 2017. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/khizmax\/libcds.  Max Khiszinsky. 2017. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/khizmax\/libcds."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158105"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314609"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1998496.1998518"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009857"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314635"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1815987"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737973"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3016078.2851149"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1394608.1382146"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544173.2509514"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2806886"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276506"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.752664"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048119"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321679"},{"key":"e_1_3_2_2_51_1","volume-title":"Silo: Multicore in-memory storage engine. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/stephentu\/silo.","author":"Tu Stephen","year":"2015","unstructured":"Stephen Tu , Wenting Zheng , and Eddie Kohler . 2015 . Silo: Multicore in-memory storage engine. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/stephentu\/silo. Stephen Tu, Wenting Zheng, and Eddie Kohler. 2015. Silo: Multicore in-memory storage engine. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/stephentu\/silo."},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522713"},{"key":"e_1_3_2_2_53_1","unstructured":"Paul Turner. 2013. User-level threads...with threads. https:\/\/2.zoppoz.workers.dev:443\/https\/blog.linuxplumbersconf.org\/2013\/ocw\/system\/presentations\/1653\/original\/LPC\\  Paul Turner. 2013. User-level threads...with threads. https:\/\/2.zoppoz.workers.dev:443\/https\/blog.linuxplumbersconf.org\/2013\/ocw\/system\/presentations\/1653\/original\/LPC\\"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509532"},{"key":"e_1_3_2_2_55_1","unstructured":"Dmitriy Vyukov. 2011. Relacy Race Detector. https:\/\/2.zoppoz.workers.dev:443\/http\/relacy.sourceforge.net\/.  Dmitriy Vyukov. 2011. Relacy Race Detector. https:\/\/2.zoppoz.workers.dev:443\/http\/relacy.sourceforge.net\/."},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737956"},{"key":"e_1_3_2_2_57_1","volume-title":"Iris: A low latency asynchronous C++ logging library. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/zxjcarrot\/iris.","author":"Zhou Xinjing","year":"2015","unstructured":"Xinjing Zhou . 2015 . Iris: A low latency asynchronous C++ logging library. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/zxjcarrot\/iris. Xinjing Zhou. 2015. Iris: A low latency asynchronous C++ logging library. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/zxjcarrot\/iris."}],"event":{"name":"ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Virtual USA","acronym":"ASPLOS '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/3445814.3446711","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/dl.acm.org\/doi\/pdf\/10.1145\/3445814.3446711","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:14Z","timestamp":1750195694000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/3445814.3446711"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,17]]},"references-count":55,"alternative-id":["10.1145\/3445814.3446711","10.1145\/3445814"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1145\/3445814.3446711","relation":{},"subject":[],"published":{"date-parts":[[2021,4,17]]},"assertion":[{"value":"2021-04-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}