{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T09:24:39Z","timestamp":1781947479515,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":72,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T00:00:00Z","timestamp":1698019200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-2140305"],"award-info":[{"award-number":["CNS-2140305"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-2145888"],"award-info":[{"award-number":["CNS-2145888"]}],"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":[[2023,10,23]]},"DOI":"10.1145\/3600006.3613148","type":"proceedings-article","created":{"date-parts":[[2023,10,3]],"date-time":"2023-10-03T14:44:17Z","timestamp":1696344257000},"page":"35-51","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2784-2617","authenticated-orcid":false,"given":"Sishuai","family":"Gong","sequence":"first","affiliation":[{"name":"Purdue University, West Lafayette, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3433-5410","authenticated-orcid":false,"given":"Dinglan","family":"Peng","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4558-2847","authenticated-orcid":false,"given":"Deniz","family":"Alt\u0131nb\u00fcken","sequence":"additional","affiliation":[{"name":"Google DeepMind, Mountain View, United States"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2480-4487","authenticated-orcid":false,"given":"Pedro","family":"Fonseca","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, United States"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3777-5291","authenticated-orcid":false,"given":"Petros","family":"Maniatis","sequence":"additional","affiliation":[{"name":"Google DeepMind, Mountain View, United States"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,10,23]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"SHARD: Fine-Grained Kernel Specialization with Context-Aware Hardening. In 30th USENIX Security Symposium (USENIX Security 21)","author":"Abubakar Muhammad","year":"2021","unstructured":"Muhammad Abubakar , Adil Ahmad , Pedro Fonseca , and Dongyan Xu . 2021 . SHARD: Fine-Grained Kernel Specialization with Context-Aware Hardening. In 30th USENIX Security Symposium (USENIX Security 21) . USENIX Association, 2435--2452. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/abubakar Muhammad Abubakar, Adil Ahmad, Pedro Fonseca, and Dongyan Xu. 2021. SHARD: Fine-Grained Kernel Specialization with Context-Aware Hardening. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 2435--2452. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/abubakar"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446727"},{"key":"e_1_3_2_2_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_2_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/3495724.3496447"},{"key":"e_1_3_2_2_5_1","unstructured":"Shaked Brody Uri Alon and Eran Yahav. 2022. How Attentive are Graph Attention Networks? arXiv:2105.14491 [cs.LG]  Shaked Brody Uri Alon and Eran Yahav. 2022. How Attentive are Graph Attention Networks? arXiv:2105.14491 [cs.LG]"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"e_1_3_2_2_7_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation ( San Diego, California) (OSDI'08). USENIX Association, USA, 209--224. Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (San Diego, California) (OSDI'08). USENIX Association, USA, 209--224."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134069"},{"key":"e_1_3_2_2_9_1","volume-title":"REPT: Reverse Debugging of Failures in Deployed Software. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Cui Weidong","year":"2018","unstructured":"Weidong Cui , Xinyang Ge , Baris Kasikci , Ben Niu , Upamanyu Sharma , Ruoyu Wang , and Insu Yun . 2018 . REPT: Reverse Debugging of Failures in Deployed Software. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18) . USENIX Association, Carlsbad, CA, 17--32. https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/weidong Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, and Insu Yun. 2018. REPT: Reverse Debugging of Failures in Deployed Software. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). USENIX Association, Carlsbad, CA, 17--32. https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/weidong"},{"key":"e_1_3_2_2_10_1","volume-title":"Proceedings of the 38th International Conference on Machine Learning (Proceedings of Machine Learning Research","volume":"2253","author":"Cummins Chris","year":"2021","unstructured":"Chris Cummins , Zacharias V. Fisches , Tal Ben-Nun , Torsten Hoefler , Michael F P O'Boyle , and Hugh Leather . 2021 . ProGraML: A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations . In Proceedings of the 38th International Conference on Machine Learning (Proceedings of Machine Learning Research , Vol. 139), Marina Meila and Tong Zhang (Eds.). PMLR, 2244-- 2253 . https:\/\/proceedings.mlr.press\/v139\/cummins21a.html Chris Cummins, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Michael F P O'Boyle, and Hugh Leather. 2021. ProGraML: A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations. In Proceedings of the 38th International Conference on Machine Learning (Proceedings of Machine Learning Research, Vol. 139), Marina Meila and Tong Zhang (Eds.). PMLR, 2244--2253. https:\/\/proceedings.mlr.press\/v139\/cummins21a.html"},{"key":"e_1_3_2_2_11_1","volume-title":"Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies","volume":"1","author":"Devlin Jacob","year":"2019","unstructured":"Jacob Devlin , Ming-Wei Chang , Kenton Lee , and Kristina Toutanova . 2019 . BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding . In Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies , Volume 1 (Long and Short Papers). Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2019. BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. In Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers)."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924943.1924954"},{"key":"e_1_3_2_2_14_1","volume-title":"Fast Graph Representation Learning with PyTorch Geometric. In ICLR Workshop on Representation Learning on Graphs and Manifolds.","author":"Fey Matthias","unstructured":"Matthias Fey and Jan E. Lenssen . 2019 . Fast Graph Representation Learning with PyTorch Geometric. In ICLR Workshop on Representation Learning on Graphs and Manifolds. Matthias Fey and Jan E. Lenssen. 2019. Fast Graph Representation Learning with PyTorch Geometric. In ICLR Workshop on Representation Learning on Graphs and Manifolds."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966465"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2010.5544315"},{"key":"e_1_3_2_2_17_1","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation","author":"Fonseca Pedro","unstructured":"Pedro Fonseca , Rodrigo Rodrigues , and Bj\u00f6rn B. Brandenburg . 2014. SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration . In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation ( Broomfield, CO) (OSDI'14). USENIX Association, USA, 415--431. Pedro Fonseca, Rodrigo Rodrigues, and Bj\u00f6rn B. Brandenburg. 2014. SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (Broomfield, CO) (OSDI'14). USENIX Association, USA, 415--431."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575729"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483549"},{"key":"e_1_3_2_2_20_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_2_21_1","volume-title":"online. Kernel Thread Sanitizer (KTSAN). https:\/\/github.com\/google\/ktsan\/wiki Accessed","year":"2021","unstructured":"Google. online. Kernel Thread Sanitizer (KTSAN). https:\/\/github.com\/google\/ktsan\/wiki Accessed : 7 May 2021 . Google. online. Kernel Thread Sanitizer (KTSAN). https:\/\/github.com\/google\/ktsan\/wiki Accessed: 7 May 2021."},{"key":"e_1_3_2_2_22_1","volume-title":"KSG: Augmenting Kernel Fuzzing with System Call Specification Generation. In 2022 USENIX Annual Technical Conference (USENIX ATC 22)","author":"Hao Sun","year":"2022","unstructured":"Sun Hao , Shen Yuheng , Liu Jianzhong , Xu Yiru , and Jiang Yu . 2022 . KSG: Augmenting Kernel Fuzzing with System Call Specification Generation. In 2022 USENIX Annual Technical Conference (USENIX ATC 22) . USENIX Association, Carlsbad, CA, 351--366. https:\/\/www.usenix.org\/conference\/atc22\/presentation\/sun Sun Hao, Shen Yuheng, Liu Jianzhong, Xu Yiru, and Jiang Yu. 2022. KSG: Augmenting Kernel Fuzzing with System Call Specification Generation. In 2022 USENIX Annual Technical Conference (USENIX ATC 22). USENIX Association, Carlsbad, CA, 351--366. https:\/\/www.usenix.org\/conference\/atc22\/presentation\/sun"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510126"},{"key":"e_1_3_2_2_24_1","unstructured":"Weihua Hu Bowen Liu Joseph Gomes Marinka Zitnik Percy Liang Vijay Pande and Jure Leskovec. 2020. Strategies for Pre-training Graph Neural Networks. arXiv:1905.12265 [cs.LG]  Weihua Hu Bowen Liu Joseph Gomes Marinka Zitnik Percy Liang Vijay Pande and Jure Leskovec. 2020. Strategies for Pre-training Graph Neural Networks. arXiv:1905.12265 [cs.LG]"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00017"},{"key":"e_1_3_2_2_26_1","volume-title":"Scaling laws for neural language models. arXiv preprint arXiv:2001.08361","author":"Kaplan Jared","year":"2020","unstructured":"Jared Kaplan , Sam McCandlish , Tom Henighan , Tom B Brown , Benjamin Chess , Rewon Child , Scott Gray , Alec Radford , Jeffrey Wu , and Dario Amodei . 2020. Scaling laws for neural language models. arXiv preprint arXiv:2001.08361 ( 2020 ). Jared Kaplan, Sam McCandlish, Tom Henighan, Tom B Brown, Benjamin Chess, Rewon Child, Scott Gray, Alec Radford, Jeffrey Wu, and Dario Amodei. 2020. Scaling laws for neural language models. arXiv preprint arXiv:2001.08361 (2020)."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132767"},{"key":"e_1_3_2_2_28_1","volume-title":"online. The Kernel Concurrency Sanitizer (KCSAN). https:\/\/www.kernel.org\/doc\/html\/latest\/dev-tools\/kcsan.html Accessed","author":"Kernel Linux","year":"2021","unstructured":"Linux Kernel . online. The Kernel Concurrency Sanitizer (KCSAN). https:\/\/www.kernel.org\/doc\/html\/latest\/dev-tools\/kcsan.html Accessed : 7 May 2021 . Linux Kernel. online. The Kernel Concurrency Sanitizer (KCSAN). https:\/\/www.kernel.org\/doc\/html\/latest\/dev-tools\/kcsan.html Accessed: 7 May 2021."},{"key":"e_1_3_2_2_29_1","volume-title":"online. syscalls(2) --- Linux manual page. https:\/\/man7.org\/linux\/man-pages\/man2\/syscalls.2.html Accessed","author":"Kerrisk Michael","year":"2021","unstructured":"Michael Kerrisk . online. syscalls(2) --- Linux manual page. https:\/\/man7.org\/linux\/man-pages\/man2\/syscalls.2.html Accessed : 7 May 2021 . Michael Kerrisk. online. syscalls(2) --- Linux manual page. https:\/\/man7.org\/linux\/man-pages\/man2\/syscalls.2.html Accessed: 7 May 2021."},{"key":"e_1_3_2_2_30_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_2_31_1","volume-title":"Kingma and Jimmy Ba","author":"Diederik","year":"2017","unstructured":"Diederik P. Kingma and Jimmy Ba . 2017 . Adam : A Method for Stochastic Optimization . arXiv:1412.6980 [cs.LG] Diederik P. Kingma and Jimmy Ba. 2017. Adam: A Method for Stochastic Optimization. arXiv:1412.6980 [cs.LG]"},{"key":"e_1_3_2_2_32_1","volume-title":"Semi-Supervised Classification with Graph Convolutional Networks. In International Conference on Learning Representations. ICLR. https:\/\/openreview.net\/forum?id=SJU4ayYgl","author":"Thomas","unstructured":"Thomas N. Kipf and Max Welling. 2017 . Semi-Supervised Classification with Graph Convolutional Networks. In International Conference on Learning Representations. ICLR. https:\/\/openreview.net\/forum?id=SJU4ayYgl Thomas N. Kipf and Max Welling. 2017. Semi-Supervised Classification with Graph Convolutional Networks. In International Conference on Learning Representations. ICLR. https:\/\/openreview.net\/forum?id=SJU4ayYgl"},{"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\/3341301.3359638"},{"key":"e_1_3_2_2_35_1","volume-title":"CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code. In 6th Symposium on Operating Systems Design & Implementation (OSDI 04)","author":"Li Zhenmin","year":"2004","unstructured":"Zhenmin Li , Shan Lu , Suvda Myagmar , and Yuanyuan Zhou . 2004 . CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code. In 6th Symposium on Operating Systems Design & Implementation (OSDI 04) . USENIX Association, San Francisco, CA. https:\/\/www.usenix.org\/conference\/osdi-04\/cp-miner-tool-finding-copy-paste-and-related-bugs-operating-system-code Zhenmin Li, Shan Lu, Suvda Myagmar, and Yuanyuan Zhou. 2004. CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code. In 6th Symposium on Operating Systems Design & Implementation (OSDI 04). USENIX Association, San Francisco, CA. https:\/\/www.usenix.org\/conference\/osdi-04\/cp-miner-tool-finding-copy-paste-and-related-bugs-operating-system-code"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575731"},{"key":"e_1_3_2_2_37_1","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Liu Jian","year":"2022","unstructured":"Jian Liu , Lin Yi , Weiteng Chen , Chengyu Song , Zhiyun Qian , and Qiuping Yi . 2022 . LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution . In 31st USENIX Security Symposium (USENIX Security 22) . USENIX Association, Boston, MA, 125--142. https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/liu-jian Jian Liu, Lin Yi, Weiteng Chen, Chengyu Song, Zhiyun Qian, and Qiuping Yi. 2022. LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 125--142. https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/liu-jian"},{"key":"e_1_3_2_2_38_1","volume-title":"Stochastic Gradient Descent with Warm Restarts (SGDR): Communication Efficient Distributed Optimization using Quantization. arXiv preprint arXiv:1608.03983","author":"Loshchilov Ilya","year":"2016","unstructured":"Ilya Loshchilov and Frank Hutter . 2016. Stochastic Gradient Descent with Warm Restarts (SGDR): Communication Efficient Distributed Optimization using Quantization. arXiv preprint arXiv:1608.03983 ( 2016 ). Ilya Loshchilov and Frank Hutter. 2016. Stochastic Gradient Descent with Warm Restarts (SGDR): Communication Efficient Distributed Optimization using Quantization. arXiv preprint arXiv:1608.03983 (2016)."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1295014.1295034"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287703"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294272"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"e_1_3_2_2_44_1","volume-title":"Proceedings of the 26th USENIX Conference on Security Symposium","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 Proceedings of the 26th USENIX Conference on Security Symposium ( Vancouver, BC, Canada) (SEC'17). USENIX Association, USA, 1007--1024. Aravind Machiry, Chad Spensky, Jake Corina, Nick Stephens, Christopher Kruegel, and Giovanni Vigna. 2017. DR. Checker: A Soundy Analysis for Linux Kernel Drivers. In Proceedings of the 26th USENIX Conference on Security Symposium (Vancouver, BC, Canada) (SEC'17). USENIX Association, USA, 1007--1024."},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N19-4009"},{"key":"e_1_3_2_2_46_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_2_47_1","doi-asserted-by":"crossref","unstructured":"Benedek Rozemberczki Peter Englert Amol Kapoor Martin Blais and Bryan Perozzi. 2021. Pathfinder Discovery Networks for Neural Message Passing. arXiv:2010.12878 [cs.LG]  Benedek Rozemberczki Peter Englert Amol Kapoor Martin Blais and Bryan Perozzi. 2021. Pathfinder Discovery Networks for Neural Message Passing. arXiv:2010.12878 [cs.LG]","DOI":"10.1145\/3442381.3449882"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3471621.3471865"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2008.2005605"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00052"},{"key":"e_1_3_2_2_51_1","unstructured":"Yunsheng Shi Zhengjie Huang Shikun Feng Hui Zhong Wenjin Wang and Yu Sun. 2021. Masked Label Prediction: Unified Message Passing Model for Semi-Supervised Classification. arXiv:2009.03509 [cs.LG]  Yunsheng Shi Zhengjie Huang Shikun Feng Hui Zhong Wenjin Wang and Yu Sun. 2021. Masked Label Prediction: Unified Message Passing Model for Semi-Supervised Classification. arXiv:2009.03509 [cs.LG]"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_2_2_53_1","volume-title":"Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints. In 29th USENIX Security Symposium (USENIX Security 20)","author":"Song Dokyung","year":"2020","unstructured":"Dokyung Song , Felicitas Hetzelt , Jonghwan Kim , Brent ByungHoon Kang , Jean-Pierre Seifert , and Michael Franz . 2020 . Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints. In 29th USENIX Security Symposium (USENIX Security 20) . USENIX Association, 2541--2557. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/song Dokyung Song, Felicitas Hetzelt, Jonghwan Kim, Brent ByungHoon Kang, Jean-Pierre Seifert, and Michael Franz. 2020. Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints. In 29th USENIX Security Symposium (USENIX Security 20). USENIX Association, 2541--2557. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/song"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483547"},{"key":"e_1_3_2_2_56_1","volume-title":"Wortman Vaughan (Eds.)","volume":"34","author":"Vasudevan Shobha","year":"2021","unstructured":"Shobha Vasudevan , Wenjie (Joe) Jiang , David Bieber , Rishabh Singh , hamid shojaei, C. Richard Ho , and Charles Sutton . 2021 . Learning Semantic Representations to Verify Hardware Designs. In Advances in Neural Information Processing Systems, M. Ranzato, A. Beygelzimer, Y. Dauphin, P.S. Liang, and J . Wortman Vaughan (Eds.) , Vol. 34 . Curran Associates, Inc., 23491--23504. https:\/\/proceedings.neurips.cc\/paper\/ 2021\/file\/c5aa65949d20f6b20e1a922c13d974e7-Paper.pdf Shobha Vasudevan, Wenjie (Joe) Jiang, David Bieber, Rishabh Singh, hamid shojaei, C. Richard Ho, and Charles Sutton. 2021. Learning Semantic Representations to Verify Hardware Designs. In Advances in Neural Information Processing Systems, M. Ranzato, A. Beygelzimer, Y. Dauphin, P.S. Liang, and J. Wortman Vaughan (Eds.), Vol. 34. Curran Associates, Inc., 23491--23504. https:\/\/proceedings.neurips.cc\/paper\/2021\/file\/c5aa65949d20f6b20e1a922c13d974e7-Paper.pdf"},{"key":"e_1_3_2_2_57_1","volume-title":"Advances in Neural Information Processing Systems","author":"Vaswani Ashish","year":"2017","unstructured":"Ashish Vaswani , Noam Shazeer , Niki Parmar , Jakob Uszkoreit , Llion Jones , Aidan N Gomez , \u0141ukasz Kaiser , and Illia Polosukhin . 2017. Attention is All you Need . In Advances in Neural Information Processing Systems , I. Guyon, U. Von Luxburg, S. Bengio, H. Wallach, R. Fergus, S. Vishwanathan, and R. Garnett (Eds.), Vol. 30 . Curran Associates, Inc. https:\/\/proceedings.neurips.cc\/paper_files\/paper\/ 2017 \/file\/3f5ee243547dee91fbd053c1c4a845aa-Paper.pdf Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, \u0141ukasz Kaiser, and Illia Polosukhin. 2017. Attention is All you Need. In Advances in Neural Information Processing Systems, I. Guyon, U. Von Luxburg, S. Bengio, H. Wallach, R. Fergus, S. Vishwanathan, and R. Garnett (Eds.), Vol. 30. Curran Associates, Inc. https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2017\/file\/3f5ee243547dee91fbd053c1c4a845aa-Paper.pdf"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02652-2_21"},{"key":"e_1_3_2_2_59_1","unstructured":"Petar Veli\u010dkovi\u0107 Guillem Cucurull Arantxa Casanova Adriana Romero Pietro Li\u00f2 and Yoshua Bengio. 2018. Graph Attention Networks. arXiv:1710.10903 [stat.ML]  Petar Veli\u010dkovi\u0107 Guillem Cucurull Arantxa Casanova Adriana Romero Pietro Li\u00f2 and Yoshua Bengio. 2018. Graph Attention Networks. arXiv:1710.10903 [stat.ML]"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287654"},{"key":"e_1_3_2_2_61_1","volume-title":"SyzVegas: Beating Kernel Fuzzing Odds with Reinforcement Learning. In 30th USENIX Security Symposium (USENIX Security 21)","author":"Wang Daimeng","year":"2021","unstructured":"Daimeng Wang , Zheng Zhang , Hang Zhang , Zhiyun Qian , Srikanth V. Krishnamurthy , and Nael Abu-Ghazaleh . 2021 . SyzVegas: Beating Kernel Fuzzing Odds with Reinforcement Learning. In 30th USENIX Security Symposium (USENIX Security 21) . USENIX Association, 2741--2758. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/wang-daimeng Daimeng Wang, Zheng Zhang, Hang Zhang, Zhiyun Qian, Srikanth V. Krishnamurthy, and Nael Abu-Ghazaleh. 2021. SyzVegas: Beating Kernel Fuzzing Odds with Reinforcement Learning. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 2741--2758. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/wang-daimeng"},{"key":"e_1_3_2_2_62_1","volume-title":"SyzVegas: Beating Kernel Fuzzing Odds with Reinforcement Learning. In 30th USENIX Security Symposium (USENIX Security 21)","author":"Wang Daimeng","year":"2021","unstructured":"Daimeng Wang , Zheng Zhang , Hang Zhang , Zhiyun Qian , Srikanth V. Krishnamurthy , and Nael Abu-Ghazaleh . 2021 . SyzVegas: Beating Kernel Fuzzing Odds with Reinforcement Learning. In 30th USENIX Security Symposium (USENIX Security 21) . USENIX Association, 2741--2758. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/wang-daimeng Daimeng Wang, Zheng Zhang, Hang Zhang, Zhiyun Qian, Srikanth V. Krishnamurthy, and Nael Abu-Ghazaleh. 2021. SyzVegas: Beating Kernel Fuzzing Odds with Reinforcement Learning. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 2741--2758. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/wang-daimeng"},{"key":"e_1_3_2_2_63_1","volume-title":"The Free Encyclopedia. https:\/\/en.wikipedia.org\/w\/index.php?title=Information_retrieval&oldid=793358396#Average_precision.","author":"Wikipedia","unstructured":"Wikipedia contributors. 2020. Average Precision --- Wikipedia , The Free Encyclopedia. https:\/\/en.wikipedia.org\/w\/index.php?title=Information_retrieval&oldid=793358396#Average_precision. Wikipedia contributors. 2020. Average Precision --- Wikipedia, The Free Encyclopedia. https:\/\/en.wikipedia.org\/w\/index.php?title=Information_retrieval&oldid=793358396#Average_precision."},{"key":"e_1_3_2_2_64_1","volume-title":"The Free Encyclopedia. https:\/\/en.wikipedia.org\/wiki\/F-score","author":"Wikipedia Wikipedia","unstructured":"Wikipedia contributors. 2020. F-score --- Wikipedia , The Free Encyclopedia. https:\/\/en.wikipedia.org\/wiki\/F-score . Wikipedia contributors. 2020. F-score --- Wikipedia, The Free Encyclopedia. https:\/\/en.wikipedia.org\/wiki\/F-score."},{"key":"e_1_3_2_2_65_1","volume-title":"The Free Encyclopedia. https:\/\/en.wikipedia.org\/wiki\/Precision_and_recall.","author":"Wikipedia","unstructured":"Wikipedia contributors. 2020. Precision and recall --- Wikipedia , The Free Encyclopedia. https:\/\/en.wikipedia.org\/wiki\/Precision_and_recall. Wikipedia contributors. 2020. Precision and recall --- Wikipedia, The Free Encyclopedia. https:\/\/en.wikipedia.org\/wiki\/Precision_and_recall."},{"key":"e_1_3_2_2_66_1","volume-title":"The Free Encyclopedia. https:\/\/en.wikipedia.org\/wiki\/Register-transfer_level.","author":"Wikipedia","unstructured":"Wikipedia contributors. 2022. Register-transfer level --- Wikipedia , The Free Encyclopedia. https:\/\/en.wikipedia.org\/wiki\/Register-transfer_level. Wikipedia contributors. 2022. Register-transfer level --- Wikipedia, The Free Encyclopedia. https:\/\/en.wikipedia.org\/wiki\/Register-transfer_level."},{"key":"e_1_3_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321719"},{"key":"e_1_3_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00078"},{"key":"e_1_3_2_2_69_1","volume-title":"DGI: Easy and Efficient Inference for GNNs. arXiv:2211.15082 [cs.LG]","author":"Yin Peiqi","year":"2022","unstructured":"Peiqi Yin , Xiao Yan , Jinjing Zhou , Qiang Fu , Zhenkun Cai , James Cheng , Bo Tang , and Minjie Wang . 2022 . DGI: Easy and Efficient Inference for GNNs. arXiv:2211.15082 [cs.LG] Peiqi Yin, Xiao Yan, Jinjing Zhou, Qiang Fu, Zhenkun Cai, James Cheng, Bo Tang, and Minjie Wang. 2022. DGI: Easy and Efficient Inference for GNNs. arXiv:2211.15082 [cs.LG]"},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409686"},{"key":"e_1_3_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447786.3456258"},{"key":"e_1_3_2_2_72_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Zong Peiyuan","year":"2020","unstructured":"Peiyuan Zong , Tao Lv , Dawei Wang , Zizhuang Deng , Ruigang Liang , and Kai Chen . 2020 . FuzzGuard: Filtering out Unreachable Inputs in Directed Grey-box Fuzzing through Deep Learning . In 29th USENIX Security Symposium (USENIX Security 20) . USENIX Association, 2255--2269. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/zong Peiyuan Zong, Tao Lv, Dawei Wang, Zizhuang Deng, Ruigang Liang, and Kai Chen. 2020. FuzzGuard: Filtering out Unreachable Inputs in Directed Grey-box Fuzzing through Deep Learning. In 29th USENIX Security Symposium (USENIX Security 20). USENIX Association, 2255--2269. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/zong"}],"event":{"name":"SOSP '23: 29th Symposium on Operating Systems Principles","location":"Koblenz Germany","acronym":"SOSP '23","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX"]},"container-title":["Proceedings of the 29th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3600006.3613148","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3600006.3613148","content-type":"text\/html","content-version":"vor","intended-application":"syndication"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:49Z","timestamp":1750178209000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3600006.3613148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,23]]},"references-count":72,"alternative-id":["10.1145\/3600006.3613148","10.1145\/3600006"],"URL":"https:\/\/doi.org\/10.1145\/3600006.3613148","relation":{},"subject":[],"published":{"date-parts":[[2023,10,23]]},"assertion":[{"value":"2023-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}