{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T21:13:11Z","timestamp":1783804391918,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":98,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T00:00:00Z","timestamp":1635206400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,26]]},"DOI":"10.1145\/3477132.3483549","type":"proceedings-article","created":{"date-parts":[[2021,10,19]],"date-time":"2021-10-19T15:59:18Z","timestamp":1634659158000},"page":"66-83","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["Snowboard"],"prefix":"10.1145","author":[{"given":"Sishuai","family":"Gong","sequence":"first","affiliation":[{"name":"Purdue University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Deniz","family":"Altinb\u00fcken","sequence":"additional","affiliation":[{"name":"Google Research, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pedro","family":"Fonseca","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Petros","family":"Maniatis","sequence":"additional","affiliation":[{"name":"Google Research, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446727"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3177156"},{"key":"e_1_3_2_1_3_1","volume-title":"Fstress: A Flexible Network File Service Benchmark. Technical Report.","author":"Anderson Darrell","year":"2002","unstructured":"Darrell Anderson . 2002 . Fstress: A Flexible Network File Service Benchmark. Technical Report. Darrell Anderson. 2002. Fstress: A Flexible Network File Service Benchmark. Technical Report."},{"key":"e_1_3_2_1_4_1","volume-title":"Linux Kernel Selftests. https:\/\/www.kernel.org\/doc\/Documentation\/kselftest.txt Accessed","author":"Archives Linux Kernel","year":"2021","unstructured":"Linux Kernel Archives . [n.d.]. Linux Kernel Selftests. https:\/\/www.kernel.org\/doc\/Documentation\/kselftest.txt Accessed : 7 May 2021 . Linux Kernel Archives. [n.d.]. Linux Kernel Selftests. https:\/\/www.kernel.org\/doc\/Documentation\/kselftest.txt Accessed: 7 May 2021."},{"key":"e_1_3_2_1_5_1","volume-title":"Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. In 2019 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 . 2019 . Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. In 2019 USENIX Annual Technical Conference (USENIX ATC 19) . USENIX Association, Renton, WA, 255--268. https:\/\/www.usenix.org\/conference\/atc19\/presentation\/bai Jia-Ju Bai, Julia Lawall, Qiu-Liang Chen, and Shi-Min Hu. 2019. Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. In 2019 USENIX Annual Technical Conference (USENIX ATC 19). USENIX Association, Renton, WA, 255--268. https:\/\/www.usenix.org\/conference\/atc19\/presentation\/bai"},{"key":"e_1_3_2_1_6_1","volume-title":"2005 USENIX Annual Technical Conference (USENIX ATC 05)","author":"Bellard Fabrice","year":"2005","unstructured":"Fabrice Bellard . 2005 . QEMU, a Fast and Portable Dynamic Translator . In 2005 USENIX Annual Technical Conference (USENIX ATC 05) . USENIX Association, Anaheim, CA, 41. https:\/\/www.usenix.org\/conference\/ 2005-usenix-annual-technical-conference\/qemu-fast-and-portable-dynamic-translator Fabrice Bellard. 2005. QEMU, a Fast and Portable Dynamic Translator. In 2005 USENIX Annual Technical Conference (USENIX ATC 05). USENIX Association, Anaheim, CA, 41. https:\/\/www.usenix.org\/conference\/2005-usenix-annual-technical-conference\/qemu-fast-and-portable-dynamic-translator"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806634"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1735970.1736040"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001436"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-018-02901-1"},{"key":"e_1_3_2_1_11_1","volume-title":"SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems. In 2020 IEEE Symposium on Security and Privacy (SP). 1416--1432","author":"Cerdeira David","year":"2020","unstructured":"David Cerdeira , Nuno Santos , Pedro Fonseca , and Sandro Pinto . 2020 . SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems. In 2020 IEEE Symposium on Security and Privacy (SP). 1416--1432 . https:\/\/doi.org\/10.1109\/SP40000.2020.00061 10.1109\/SP40000.2020.00061 David Cerdeira, Nuno Santos, Pedro Fonseca, and Sandro Pinto. 2020. SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems. In 2020 IEEE Symposium on Security and Privacy (SP). 1416--1432. https:\/\/doi.org\/10.1109\/SP40000.2020.00061"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368119"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"e_1_3_2_1_14_1","unstructured":"The Kernel Development Community. 2020. Linux Rcu Documentation. http:\/\/blog.foool.net\/wp-content\/uploads\/linuxdocs\/RCU.pdf  The Kernel Development Community. 2020. Linux Rcu Documentation. http:\/\/blog.foool.net\/wp-content\/uploads\/linuxdocs\/RCU.pdf"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134069"},{"key":"e_1_3_2_1_16_1","unstructured":"James Darvell. 2015. urgent-kernel-patch-ubuntu. https:\/\/www.linuxjournal com\/content\/urgent-kernel-patch-ubuntu  James Darvell. 2015. urgent-kernel-patch-ubuntu. https:\/\/www.linuxjournal com\/content\/urgent-kernel-patch-ubuntu"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.30"},{"key":"e_1_3_2_1_18_1","volume-title":"Redis queue. https:\/\/python-rq.org Accessed","author":"Driessen Vincent","year":"2021","unstructured":"Vincent Driessen . [n.d.]. Redis queue. https:\/\/python-rq.org Accessed : 7 May 2021 . Vincent Driessen. [n.d.]. Redis queue. https:\/\/python-rq.org Accessed: 7 May 2021."},{"key":"e_1_3_2_1_19_1","unstructured":"Eric Dumazet. 2021. net\/packet: remove data races in fanout operations. https:\/\/github.com\/torvalds\/linux\/commit\/94f633ea8ade8418634d152ad0931133338226f6  Eric Dumazet. 2021. net\/packet: remove data races in fanout operations. https:\/\/github.com\/torvalds\/linux\/commit\/94f633ea8ade8418634d152ad0931133338226f6"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_1_21_1","unstructured":"John Erickson Madan Musuvathi Sebastian Burckhardt and Kirk Olynyk. 2010. Effective Data-Race Detection for the Kernel. In Operating System Design and Implementation (OSDI'10) (operating system design and implementation (osdi'10) ed.). USENIX. https:\/\/www.microsoft.com\/en-us\/research\/publication\/effective-data-race-detection-for-the-kernel\/  John Erickson Madan Musuvathi Sebastian Burckhardt and Kirk Olynyk. 2010. Effective Data-Race Detection for the Kernel. In Operating System Design and Implementation (OSDI'10) (operating system design and implementation (osdi'10) ed.). USENIX. https:\/\/www.microsoft.com\/en-us\/research\/publication\/effective-data-race-detection-for-the-kernel\/"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964023"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Flanagan Cormac","unstructured":"Cormac Flanagan and Stephen N. Freund . 2009. FastTrack: Efficient and Precise Dynamic Race Detection . In Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation ( Dublin, Ireland) (PLDI '09). Association for Computing Machinery, New York, NY, USA, 121--133. https:\/\/doi.org\/10.1145\/1542476.1542490 10.1145\/1542476.1542490 Cormac Flanagan and Stephen N. Freund. 2009. FastTrack: Efficient and Precise Dynamic Race Detection. In Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (Dublin, Ireland) (PLDI '09). Association for Computing Machinery, New York, NY, USA, 121--133. https:\/\/doi.org\/10.1145\/1542476.1542490"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966465"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966465"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2010.5544315"},{"key":"e_1_3_2_1_27_1","volume-title":"11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)","author":"Fonseca Pedro","unstructured":"Pedro Fonseca , Rodrigo Rodrigues , and Bj\u00f6rn B. Brandenburg . 2014. SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration . In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14) . USENIX Association, Broomfield, CO, 415--431. https:\/\/www.usenix.org\/conference\/osdi14\/technical-sessions\/presentation\/fonseca Pedro Fonseca, Rodrigo Rodrigues, and Bj\u00f6rn B. Brandenburg. 2014. SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). USENIX Association, Broomfield, CO, 415--431. https:\/\/www.usenix.org\/conference\/osdi14\/technical-sessions\/presentation\/fonseca"},{"key":"e_1_3_2_1_28_1","volume-title":"Conditionals with Omitted Operands. https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Conditionals.html Accessed","author":"GNU.","year":"2021","unstructured":"GNU. [n.d.]. Conditionals with Omitted Operands. https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Conditionals.html Accessed : 7 May 2021 . GNU. [n.d.]. Conditionals with Omitted Operands. https:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Conditionals.html Accessed: 7 May 2021."},{"key":"e_1_3_2_1_29_1","unstructured":"Sishuai Gong. 2021. configfs: fix a race in configfs_-lookup(). https:\/\/github.com\/torvalds\/linux\/commit\/c42dd069be8dfc9b2239a5c89e73bbd08ab35de0  Sishuai Gong. 2021. configfs: fix a race in configfs_-lookup(). https:\/\/github.com\/torvalds\/linux\/commit\/c42dd069be8dfc9b2239a5c89e73bbd08ab35de0"},{"key":"e_1_3_2_1_30_1","unstructured":"Sishuai Gong. 2021. net: fix a concurrency bug in l2tp_-tunnel_register(). https:\/\/github.com\/torvalds\/linux\/commit\/69e16d01d1de4f1249869de342915f608feb55d5  Sishuai Gong. 2021. net: fix a concurrency bug in l2tp_-tunnel_register(). https:\/\/github.com\/torvalds\/linux\/commit\/69e16d01d1de4f1249869de342915f608feb55d5"},{"key":"e_1_3_2_1_31_1","unstructured":"Google. 2015. Syzkaller-kernel fuzzer. https:\/\/github.com\/google\/syzkaller  Google. 2015. Syzkaller-kernel fuzzer. https:\/\/github.com\/google\/syzkaller"},{"key":"e_1_3_2_1_32_1","unstructured":"Google. 2019. Introducing E2 new cost-optimized general purpose VMs for Google Compute Engine. https:\/\/cloud.google.com\/blog\/products\/compute\/google-compute-engine-gets-new-e2-vm-machine-types  Google. 2019. Introducing E2 new cost-optimized general purpose VMs for Google Compute Engine. https:\/\/cloud.google.com\/blog\/products\/compute\/google-compute-engine-gets-new-e2-vm-machine-types"},{"key":"e_1_3_2_1_33_1","unstructured":"gregkh. 2012. Patch \"ext4: fix crash when accessing \/proc\/mounts concurrently\" has been added to the 3.6-stable tree. https:\/\/www.mail-archive.com\/stable@vger.kernel.org\/msg19380.html  gregkh. 2012. Patch \"ext4: fix crash when accessing \/proc\/mounts concurrently\" has been added to the 3.6-stable tree. https:\/\/www.mail-archive.com\/stable@vger.kernel.org\/msg19380.html"},{"key":"e_1_3_2_1_34_1","volume-title":"CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Gu Ronghui","year":"2016","unstructured":"Ronghui Gu , Zhong Shao , Hao Chen , Xiongnan (Newman) Wu , Jieung Kim , Vilhelm Sj\u00f6berg , and David Costanzo . 2016 . CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) . USENIX Association, Savannah, GA, 653--669. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/gu Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sj\u00f6berg, and David Costanzo. 2016. CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). USENIX Association, Savannah, GA, 653--669. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/gu"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134103"},{"key":"e_1_3_2_1_36_1","unstructured":"Red Hat. 2015. Panic due to race condition between iput() and invali-date_inodes() kernel BUG at fs\/inode.c. https:\/\/access.redhat.com\/solutions\/1593553  Red Hat. 2015. Panic due to race condition between iput() and invali-date_inodes() kernel BUG at fs\/inode.c. https:\/\/access.redhat.com\/solutions\/1593553"},{"key":"e_1_3_2_1_37_1","unstructured":"Red Hat. 2017. CVE-2017-17712 kernel: Race condition in raw_sendmsg function allows denial-of-service or kernel addresses leak. https:\/\/bugzilla.redhat.com\/show_bug.cgi?id=1526427  Red Hat. 2017. CVE-2017-17712 kernel: Race condition in raw_sendmsg function allows denial-of-service or kernel addresses leak. https:\/\/bugzilla.redhat.com\/show_bug.cgi?id=1526427"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594330"},{"key":"e_1_3_2_1_39_1","volume-title":"An Evolutionary Study of Linux Memory Management for Fun and Profit. In 2016 USENIX Annual Technical Conference (USENIX ATC 16)","author":"Huang Jian","year":"2016","unstructured":"Jian Huang , Moinuddin K. Qureshi , and Karsten Schwan . 2016 . An Evolutionary Study of Linux Memory Management for Fun and Profit. In 2016 USENIX Annual Technical Conference (USENIX ATC 16) . USENIX Association, Denver, CO, 465--478. https:\/\/www.usenix.org\/conference\/atc16\/technical-sessions\/presentation\/huang Jian Huang, Moinuddin K. Qureshi, and Karsten Schwan. 2016. An Evolutionary Study of Linux Memory Management for Fun and Profit. In 2016 USENIX Annual Technical Conference (USENIX ATC 16). USENIX Association, Denver, CO, 465--478. https:\/\/www.usenix.org\/conference\/atc16\/technical-sessions\/presentation\/huang"},{"key":"e_1_3_2_1_40_1","volume-title":"Characterizing Real World Bugs Causing Sequential Consistency Violations. In 5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13)","author":"Islam Mohammad Majharul","year":"2013","unstructured":"Mohammad Majharul Islam and Abdullah Muzahid . 2013 . Characterizing Real World Bugs Causing Sequential Consistency Violations. In 5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13) . USENIX Association, San Jose, CA. https:\/\/www.usenix.org\/conference\/hotpar13\/workshop-program\/presentation\/islam Mohammad Majharul Islam and Abdullah Muzahid. 2013. Characterizing Real World Bugs Causing Sequential Consistency Violations. In 5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13). USENIX Association, San Jose, CA. https:\/\/www.usenix.org\/conference\/hotpar13\/workshop-program\/presentation\/islam"},{"key":"e_1_3_2_1_41_1","unstructured":"Takashi Iwai. 2021. ALSA: control: Fix racy management of user ctl memory size account. https:\/\/patches.linaro.org\/patch\/421808\/  Takashi Iwai. 2021. ALSA: control: Fix racy management of user ctl memory size account. https:\/\/patches.linaro.org\/patch\/421808\/"},{"key":"e_1_3_2_1_42_1","unstructured":"Joab Jackson. 2012. Nasdaq's Facebook glitch came from 'race conditions'. https:\/\/www.computerworld.com\/article\/2504676\/nasdaq-s-facebook-glitch-came-from--race-conditions-.html  Joab Jackson. 2012. Nasdaq's Facebook glitch came from 'race conditions'. https:\/\/www.computerworld.com\/article\/2504676\/nasdaq-s-facebook-glitch-came-from--race-conditions-.html"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00017"},{"key":"e_1_3_2_1_44_1","volume-title":"Trinity: Linux system call fuzzer. https:\/\/github.com\/kernelslacker\/trinity","author":"Jones Dave","year":"2012","unstructured":"Dave Jones . 2012 . Trinity: Linux system call fuzzer. https:\/\/github.com\/kernelslacker\/trinity Dave Jones. 2012. Trinity: Linux system call fuzzer. https:\/\/github.com\/kernelslacker\/trinity"},{"key":"e_1_3_2_1_45_1","unstructured":"Daniel Jordan. 2018. ktask: multithread CPU-intensive kernel work. http:\/\/lkml.iu.edu\/hypermail\/linux\/kernel\/1811.0\/03370.html  Daniel Jordan. 2018. ktask: multithread CPU-intensive kernel work. http:\/\/lkml.iu.edu\/hypermail\/linux\/kernel\/1811.0\/03370.html"},{"key":"e_1_3_2_1_46_1","volume-title":"Scalable NUMA-aware Blocking Synchronization Primitives. In 2017 USENIX Annual Technical Conference (USENIX ATC 17)","author":"Kashyap Sanidhya","year":"2017","unstructured":"Sanidhya Kashyap , Changwoo Min , and Taesoo Kim . 2017 . Scalable NUMA-aware Blocking Synchronization Primitives. In 2017 USENIX Annual Technical Conference (USENIX ATC 17) . USENIX Association, Santa Clara, CA, 603--615. https:\/\/www.usenix.org\/conference\/atc17\/technical-sessions\/presentation\/kashyap Sanidhya Kashyap, Changwoo Min, and Taesoo Kim. 2017. Scalable NUMA-aware Blocking Synchronization Primitives. In 2017 USENIX Annual Technical Conference (USENIX ATC 17). USENIX Association, Santa Clara, CA, 603--615. https:\/\/www.usenix.org\/conference\/atc17\/technical-sessions\/presentation\/kashyap"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522736"},{"key":"e_1_3_2_1_48_1","volume-title":"Sequence counters and sequential locks. https:\/\/www.kernel.org\/doc\/html\/latest\/locking\/seqlock.html Accessed","author":"Kernel Linux","year":"2021","unstructured":"Linux Kernel . [n.d.]. Sequence counters and sequential locks. https:\/\/www.kernel.org\/doc\/html\/latest\/locking\/seqlock.html Accessed : 7 May 2021 . Linux Kernel. [n.d.]. Sequence counters and sequential locks. https:\/\/www.kernel.org\/doc\/html\/latest\/locking\/seqlock.html Accessed: 7 May 2021."},{"key":"e_1_3_2_1_49_1","volume-title":"syscalls(2) --- Linux manual page. https:\/\/man7.org\/linux\/man-pages\/man2\/syscalls.2.html Accessed","author":"Kerrisk Michael","year":"2021","unstructured":"Michael Kerrisk . [n.d.]. syscalls(2) --- Linux manual page. https:\/\/man7.org\/linux\/man-pages\/man2\/syscalls.2.html Accessed : 7 May 2021 . Michael Kerrisk. [n.d.]. syscalls(2) --- Linux manual page. https:\/\/man7.org\/linux\/man-pages\/man2\/syscalls.2.html Accessed: 7 May 2021."},{"key":"e_1_3_2_1_50_1","volume-title":"HFL: Hybrid Fuzzing on the Linux Kernel. In 27th Annual Network and Distributed System Security Symposium, NDSS 2020","author":"Kim Kyungtae","year":"2020","unstructured":"Kyungtae Kim , Dae R. Jeong , Chung Hwan Kim , Yeongjin Jang , Insik Shin , and Byoungyoung Lee . 2020 . HFL: Hybrid Fuzzing on the Linux Kernel. In 27th Annual Network and Distributed System Security Symposium, NDSS 2020 , San Diego, California, USA , February 23-26, 2020. The Internet Society. https:\/\/www.ndss-symposium.org\/ndss-paper\/hflhybrid-fuzzing-on-the-linux-kernel\/ Kyungtae Kim, Dae R. Jeong, Chung Hwan Kim, Yeongjin Jang, Insik Shin, and Byoungyoung Lee. 2020. HFL: Hybrid Fuzzing on the Linux Kernel. In 27th Annual Network and Distributed System Security Symposium, NDSS 2020, San Diego, California, USA, February 23-26, 2020. The Internet Society. https:\/\/www.ndss-symposium.org\/ndss-paper\/hflhybrid-fuzzing-on-the-linux-kernel\/"},{"key":"e_1_3_2_1_51_1","volume-title":"KUnit - Unit Testing for the Linux Kernel. https:\/\/kunit.dev\/third_party\/kernel\/docs\/ Accessed","year":"2021","unstructured":"KUnit. [n.d.]. KUnit - Unit Testing for the Linux Kernel. https:\/\/kunit.dev\/third_party\/kernel\/docs\/ Accessed : 7 May 2021 . KUnit. [n.d.]. KUnit - Unit Testing for the Linux Kernel. https:\/\/kunit.dev\/third_party\/kernel\/docs\/ Accessed: 7 May 2021."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043589"},{"key":"e_1_3_2_1_53_1","volume-title":"The Linux Kernel Enters 2020 At 27.8 Million Lines In Git But With Less Developers For","author":"Larabel Michael","year":"2019","unstructured":"Michael Larabel . 2019. The Linux Kernel Enters 2020 At 27.8 Million Lines In Git But With Less Developers For 2019 . https:\/\/www.phoronix.com\/scan.php?page=news_item&px=Linux-Git-Stats-EOY2019 Michael Larabel. 2019. The Linux Kernel Enters 2020 At 27.8 Million Lines In Git But With Less Developers For 2019. https:\/\/www.phoronix.com\/scan.php?page=news_item&px=Linux-Git-Stats-EOY2019"},{"key":"e_1_3_2_1_54_1","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"Lee Yoochan","year":"2021","unstructured":"Yoochan Lee , Changwoo Min , and Byoungyoung Lee . 2021 . ExpRace: Exploiting Kernel Races through Raising Interrupts . In 30th USENIX Security Symposium (USENIX Security 21) . USENIX Association, 2363--2380. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/lee-yoochan Yoochan Lee, Changwoo Min, and Byoungyoung Lee. 2021. ExpRace: Exploiting Kernel Races through Raising Interrupts. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 2363--2380. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/lee-yoochan"},{"key":"e_1_3_2_1_55_1","unstructured":"Michel Lespinasse. 2020. Fine grained MM locking. https:\/\/patchwork.kernel.org\/project\/linux-mm\/cover\/20200224203057.162467-1-walken@google.com\/  Michel Lespinasse. 2020. Fine grained MM locking. https:\/\/patchwork.kernel.org\/project\/linux-mm\/cover\/20200224203057.162467-1-walken@google.com\/"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3380786.3391400"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3331453.3361323"},{"key":"e_1_3_2_1_58_1","unstructured":"LTP. 2012. Linux test project. https:\/\/linux-test-project.github.io  LTP. 2012. Linux test project. https:\/\/linux-test-project.github.io"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591272.2591276"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1295014.1295034"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294272"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669181"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2009.1"},{"key":"e_1_3_2_1_66_1","unstructured":"LWN. 2018. Introducing the syzbot dashboard. https:\/\/lwn.net\/Articles\/749910\/  LWN. 2018. Introducing the syzbot dashboard. https:\/\/lwn.net\/Articles\/749910\/"},{"key":"e_1_3_2_1_67_1","volume-title":"DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers. In 26th USENIX Security Symposium (USENIX Security 17)","author":"Machiry Aravind","year":"2017","unstructured":"Aravind Machiry , Chad Spensky , Jake Corina , Nick Stephens , Christopher Kruegel , and Giovanni Vigna . 2017 . DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers. In 26th USENIX Security Symposium (USENIX Security 17) . USENIX Association, Vancouver, BC, 1007--1024. https:\/\/www.usenix.org\/conference\/usenixsecurity17\/technical-sessions\/presentation\/machiry Aravind Machiry, Chad Spensky, Jake Corina, Nick Stephens, Christopher Kruegel, and Giovanni Vigna. 2017. DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers. In 26th USENIX Security Symposium (USENIX Security 17). USENIX Association, Vancouver, BC, 1007--1024. https:\/\/www.usenix.org\/conference\/usenixsecurity17\/technical-sessions\/presentation\/machiry"},{"key":"e_1_3_2_1_68_1","volume-title":"The RCU API","author":"McKenney Paul","year":"2019","unstructured":"Paul McKenney . 2019. The RCU API , 2019 edition. https:\/\/lwn.net\/Articles\/777036\/ Paul McKenney. 2019. The RCU API, 2019 edition. https:\/\/lwn.net\/Articles\/777036\/"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855741.1855760"},{"key":"e_1_3_2_1_70_1","volume-title":"MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation. In 27th USENIX Security Symposium (USENIX Security 18)","author":"Pailoor Shankara","year":"2018","unstructured":"Shankara Pailoor , Andrew Aday , and Suman Jana . 2018 . MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation. In 27th USENIX Security Symposium (USENIX Security 18) . USENIX Association, Baltimore, MD, 729--743. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/pailoor Shankara Pailoor, Andrew Aday, and Suman Jana. 2018. MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation. In 27th USENIX Security Symposium (USENIX Security 18). USENIX Association, Baltimore, MD, 729--743. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/pailoor"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"e_1_3_2_1_72_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Peng Hui","year":"2020","unstructured":"Hui Peng and Mathias Payer . 2020 . USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation . In 29th USENIX Security Symposium (USENIX Security 20) . USENIX Association, 2559--2575. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/peng Hui Peng and Mathias Payer. 2020. USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation. In 29th USENIX Security Symposium (USENIX Security 20). USENIX Association, 2559--2575. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/peng"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3366428.3380773"},{"key":"e_1_3_2_1_74_1","unstructured":"Rapid7. 2011. Linux PolicyKit Race Condition Privilege Escalation. https:\/\/www.rapid7.com\/db\/modules\/exploit\/linux\/local\/pkexec\/  Rapid7. 2011. Linux PolicyKit Race Condition Privilege Escalation. https:\/\/www.rapid7.com\/db\/modules\/exploit\/linux\/local\/pkexec\/"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660238"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786874"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737998"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/269005.266641"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24650-0_7"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869474"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375599"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_40"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02652-2_21"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043590"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287654"},{"key":"e_1_3_2_1_86_1","unstructured":"Cong Wang. 2021. net: fix dev_ifsioc_locked() race condition. https:\/\/github.com\/torvalds\/linux\/commit\/3b23a32a63219f51a5298bc55a65ecee866e79d0  Cong Wang. 2021. net: fix dev_ifsioc_locked() race condition. https:\/\/github.com\/torvalds\/linux\/commit\/3b23a32a63219f51a5298bc55a65ecee866e79d0"},{"key":"e_1_3_2_1_87_1","volume-title":"26th USENIX Security Symposium (USENIX Security 17)","author":"Wang Pengfei","year":"2017","unstructured":"Pengfei Wang , Jens Krinke , Kai Lu , Gen Li , and Steve Dodier-Lazaro . 2017 . How Double-Fetch Situations turn into Double-Fetch Vulnerabilities: A Study of Double Fetches in the Linux Kernel . In 26th USENIX Security Symposium (USENIX Security 17) . USENIX Association, Vancouver, BC, 1--16. https:\/\/www.usenix.org\/conference\/usenixsecurity17\/technical-sessions\/presentation\/wang-pengfei Pengfei Wang, Jens Krinke, Kai Lu, Gen Li, and Steve Dodier-Lazaro. 2017. How Double-Fetch Situations turn into Double-Fetch Vulnerabilities: A Study of Double Fetches in the Linux Kernel. In 26th USENIX Security Symposium (USENIX Security 17). USENIX Association, Vancouver, BC, 1--16. https:\/\/www.usenix.org\/conference\/usenixsecurity17\/technical-sessions\/presentation\/wang-pengfei"},{"key":"e_1_3_2_1_88_1","unstructured":"Robert Watson. 2007. Before & After Under The Giant Lock. https:\/\/lists.freebsd.org\/pipermail\/freebsd-hackers\/2007-November\/022368.html  Robert Watson. 2007. Before & After Under The Giant Lock. https:\/\/lists.freebsd.org\/pipermail\/freebsd-hackers\/2007-November\/022368.html"},{"key":"e_1_3_2_1_89_1","volume-title":"The Free Encyclopedia. https:\/\/en.wikipedia.org\/w\/index.php?title=Therac-25&oldid=992942654","author":"Wikipedia Wikipedia","unstructured":"Wikipedia contributors. 2020. Therac-25 --- Wikipedia , The Free Encyclopedia. https:\/\/en.wikipedia.org\/w\/index.php?title=Therac-25&oldid=992942654 . Wikipedia contributors. 2020. Therac-25 --- Wikipedia, The Free Encyclopedia. https:\/\/en.wikipedia.org\/w\/index.php?title=Therac-25&oldid=992942654."},{"key":"e_1_3_2_1_90_1","unstructured":"Herbert Xu. 2020. rhashtable: Fix unprotected RCU dereference in ___rht_ptr. https:\/\/github.com\/torvalds\/linux\/commit\/1748f6a2cbc4694523f16da1c892b59861045b9d  Herbert Xu. 2020. rhashtable: Fix unprotected RCU dereference in ___rht_ptr. https:\/\/github.com\/torvalds\/linux\/commit\/1748f6a2cbc4694523f16da1c892b59861045b9d"},{"key":"e_1_3_2_1_91_1","volume-title":"Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Xu Min","unstructured":"Min Xu , Rastislav Bod\u00edk , and Mark D. Hill . 2005. A Serializability Violation Detector for Shared-Memory Server Programs . In Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation ( Chicago, IL, USA) (PLDI '05). Association for Computing Machinery, New York, NY, USA, 1--14. https:\/\/doi.org\/10.1145\/1065010.1065013 10.1145\/1065010.1065013 Min Xu, Rastislav Bod\u00edk, and Mark D. Hill. 2005. A Serializability Violation Detector for Shared-Memory Server Programs. In Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (Chicago, IL, USA) (PLDI '05). Association for Computing Machinery, New York, NY, USA, 1--14. https:\/\/doi.org\/10.1145\/1065010.1065013"},{"key":"e_1_3_2_1_92_1","volume-title":"Krace: Data Race Fuzzing for Kernel File Systems. In 2020 IEEE Symposium on Security and Privacy (SP). 1643--1660","author":"Xu Meng","year":"2020","unstructured":"Meng Xu , Sanidhya Kashyap , Hanqing Zhao , and Taesoo Kim . 2020 . Krace: Data Race Fuzzing for Kernel File Systems. In 2020 IEEE Symposium on Security and Privacy (SP). 1643--1660 . https:\/\/doi.org\/10.1109\/SP40000.2020.00078 10.1109\/SP40000.2020.00078 Meng Xu, Sanidhya Kashyap, Hanqing Zhao, and Taesoo Kim. 2020. Krace: Data Race Fuzzing for Kernel File Systems. In 2020 IEEE Symposium on Security and Privacy (SP). 1643--1660. https:\/\/doi.org\/10.1109\/SP40000.2020.00078"},{"key":"e_1_3_2_1_93_1","volume-title":"Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels. In 2018 IEEE Symposium on Security and Privacy (SP). 661--678","author":"Xu Meng","year":"2018","unstructured":"Meng Xu , Chenxiong Qian , Kangjie Lu , Michael Backes , and Taesoo Kim . 2018 . Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels. In 2018 IEEE Symposium on Security and Privacy (SP). 661--678 . https:\/\/doi.org\/10.1109\/SP.2018.00017 10.1109\/SP.2018.00017 Meng Xu, Chenxiong Qian, Kangjie Lu, Michael Backes, and Taesoo Kim. 2018. Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels. In 2018 IEEE Symposium on Security and Privacy (SP). 661--678. https:\/\/doi.org\/10.1109\/SP.2018.00017"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1145\/271775.271804"},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384651"},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095832"},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950395"},{"key":"e_1_3_2_1_98_1","volume-title":"On-Demand-Fork: A Microsecond Fork for Memory-Intensive and Latency-Sensitive Applications","author":"Zhao Kaiyang","unstructured":"Kaiyang Zhao , Sishuai Gong , and Pedro Fonseca . 2021. On-Demand-Fork: A Microsecond Fork for Memory-Intensive and Latency-Sensitive Applications . Association for Computing Machinery , New York, NY, USA , 540--555. https:\/\/doi.org\/10.1145\/3447786.3456258 10.1145\/3447786.3456258 Kaiyang Zhao, Sishuai Gong, and Pedro Fonseca. 2021. On-Demand-Fork: A Microsecond Fork for Memory-Intensive and Latency-Sensitive Applications. Association for Computing Machinery, New York, NY, USA, 540--555. https:\/\/doi.org\/10.1145\/3447786.3456258"}],"event":{"name":"SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles","location":"Virtual Event Germany","acronym":"SOSP '21","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX Assoc USENIX Assoc"]},"container-title":["Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477132.3483549","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477132.3483549","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:49:15Z","timestamp":1750193355000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477132.3483549"}},"subtitle":["Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis"],"short-title":[],"issued":{"date-parts":[[2021,10,26]]},"references-count":98,"alternative-id":["10.1145\/3477132.3483549","10.1145\/3477132"],"URL":"https:\/\/doi.org\/10.1145\/3477132.3483549","relation":{},"subject":[],"published":{"date-parts":[[2021,10,26]]},"assertion":[{"value":"2021-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}