{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T09:24:35Z","timestamp":1781947475685,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T00:00:00Z","timestamp":1683504000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ARC","award":["DP210101984"],"award-info":[{"award-number":["DP210101984"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,8]]},"DOI":"10.1145\/3552326.3567504","type":"proceedings-article","created":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T17:33:02Z","timestamp":1683307982000},"page":"33-45","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7580-0131","authenticated-orcid":false,"given":"Baptiste","family":"Lepers","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Neuch\u00e2tel, Neuch\u00e2tel, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5246-9159","authenticated-orcid":false,"given":"Josselin","family":"Giet","sequence":"additional","affiliation":[{"name":"ENS, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4182-6920","authenticated-orcid":false,"given":"Willy","family":"Zwaenepoel","sequence":"additional","affiliation":[{"name":"The University of Sydney, Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1684-1264","authenticated-orcid":false,"given":"Julia","family":"Lawall","sequence":"additional","affiliation":[{"name":"Inria, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,5,8]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"255","volume-title":"USENIX Annual Technical Conference (USENIX ATC 19)","author":"Bai Jia-Ju","year":"2019","unstructured":"Jia-Ju Bai, Julia Lawall, Qiu-Liang Chen, and Shi-Min Hu. Effective static analysis of concurrency use-after-free bugs in Linux device drivers. In USENIX Annual Technical Conference (USENIX ATC 19), pages 255--268, 2019."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the ACM on Programming Languages, (OOPSLA)","author":"Blackshear Sam","year":"2018","unstructured":"Sam Blackshear, Nikos Gorogiannis, Peter W O'Hearn, and Ilya Sergey. RacerD: compositional static race detection. Proceedings of the ACM on Programming Languages, (OOPSLA), 2018."},{"key":"e_1_3_2_1_3_1","volume-title":"Smatch: pluggable static analysis for C. \"https:\/\/lwn.net\/Articles\/691882\/","author":"Brown Neil","year":"2016","unstructured":"Neil Brown. Smatch: pluggable static analysis for C. \"https:\/\/lwn.net\/Articles\/691882\/\", 2016."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"e_1_3_2_1_5_1","volume-title":"Who's afraid of a big bad optimizing compiler? \"https:\/\/lwn.net\/Articles\/793253\/","author":"Many","year":"2019","unstructured":"Many contributors. Who's afraid of a big bad optimizing compiler? \"https:\/\/lwn.net\/Articles\/793253\/\", 2019."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.30"},{"key":"e_1_3_2_1_7_1","volume-title":"Add Kernel Concurrency Sanitizer (KCSAN). \"https:\/\/lwn.net\/Articles\/804813\/","author":"Elver Marco","year":"2019","unstructured":"Marco Elver. Add Kernel Concurrency Sanitizer (KCSAN). \"https:\/\/lwn.net\/Articles\/804813\/\", 2019."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA419626"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_1_11_1","first-page":"1","volume-title":"OSDI","author":"Erickson John","year":"2010","unstructured":"John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, and Kirk Olynyk. Effective data-race detection for the kernel. In OSDI, pages 1--16, 2010."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290370"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150997"},{"key":"e_1_3_2_1_14_1","volume-title":"data-race in do_select \/ pollwake. \"https:\/\/syzkaller.appspot.com\/bug?id=99a1275e3959868a4057f3f85e8f6908d21934f6","author":"KCSAN.","year":"2021","unstructured":"KCSAN. data-race in do_select \/ pollwake. \"https:\/\/syzkaller.appspot.com\/bug?id=99a1275e3959868a4057f3f85e8f6908d21934f6\", 2021."},{"key":"e_1_3_2_1_15_1","first-page":"601","volume-title":"USENIX Annual Technical Conference","author":"Lawall Julia","year":"2018","unstructured":"Julia Lawall and Gilles Muller. Coccinelle: 10 years of automated evolution in the Linux kernel. In USENIX Annual Technical Conference, pages 601--614, 2018."},{"key":"e_1_3_2_1_16_1","first-page":"306","volume-title":"ESEC\/FSE","author":"Li Zhenmin","year":"2005","unstructured":"Zhenmin Li and Yuanyuan Zhou. PR-miner: automatically extracting implicit programming rules and detecting violations in large software code. In ESEC\/FSE, pages 306--315, 2005."},{"key":"e_1_3_2_1_17_1","unstructured":"Linux. Access Marking. \"https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/tree\/tools\/memory-model\/Documentation\/access-marking.txt\" 2021."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294272"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125861"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250738"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352592.1352618"},{"key":"e_1_3_2_1_22_1","volume-title":"Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems (TOCS), 15(4):391--411","author":"Savage Stefan","year":"1997","unstructured":"Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems (TOCS), 15(4):391--411, 1997."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985796"},{"key":"e_1_3_2_1_24_1","volume-title":"rcu_read_lock lost its compiler barrier. \"https:\/\/lore.kernel.org\/netdev\/CAHk-=wj2t+GK+DGQ7Xy6U7zMf72e7Jkxn4_-kGyfH3WFEoH+YQ@mail.gmail.com\/","author":"Torvalds Linus","year":"2019","unstructured":"Linus Torvalds. rcu_read_lock lost its compiler barrier. \"https:\/\/lore.kernel.org\/netdev\/CAHk-=wj2t+GK+DGQ7Xy6U7zMf72e7Jkxn4_-kGyfH3WFEoH+YQ@mail.gmail.com\/\", 2019."},{"key":"e_1_3_2_1_25_1","first-page":"163","volume-title":"OSDI","author":"Xiong Weiwei","year":"2010","unstructured":"Weiwei Xiong, Soyeon Park, Jiaqi Zhang, Yuanyuan Zhou, and Zhiqiang Ma. Ad hoc synchronization considered harmful. In OSDI, pages 163--176, 2010."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.33"}],"event":{"name":"EuroSys '23: Eighteenth European Conference on Computer Systems","location":"Rome Italy","acronym":"EuroSys '23","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Eighteenth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3552326.3567504","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3552326.3567504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:39Z","timestamp":1750178859000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3552326.3567504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,8]]},"references-count":26,"alternative-id":["10.1145\/3552326.3567504","10.1145\/3552326"],"URL":"https:\/\/doi.org\/10.1145\/3552326.3567504","relation":{},"subject":[],"published":{"date-parts":[[2023,5,8]]},"assertion":[{"value":"2023-05-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}