{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:05:55Z","timestamp":1784300755534,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T00:00:00Z","timestamp":1783209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,5]]},"DOI":"10.1145\/3803437.3805564","type":"proceedings-article","created":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:27:39Z","timestamp":1784298459000},"page":"1242-1246","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["DevGen: Automated Generation of Virtual Device Models for Kernel Drivers via Large Language Models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-7885-1409","authenticated-orcid":false,"given":"Mingyu","family":"Wang","sequence":"first","affiliation":[{"name":"Xidian University, Xi'an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1680-3129","authenticated-orcid":false,"given":"Bin","family":"Yu","sequence":"additional","affiliation":[{"name":"Xidian University, Xi'an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-3354-7346","authenticated-orcid":false,"given":"Wenjian","family":"Lu","sequence":"additional","affiliation":[{"name":"Xidian University, Xi'an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-9981-684X","authenticated-orcid":false,"given":"Kefeng","family":"Gao","sequence":"additional","affiliation":[{"name":"Xidian University, Xi'an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-0300-2194","authenticated-orcid":false,"given":"Zhi","family":"Wang","sequence":"additional","affiliation":[{"name":"Xidian University, Xi'an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1826-6213","authenticated-orcid":false,"given":"Cheng","family":"Wen","sequence":"additional","affiliation":[{"name":"Xidian University, Xi'an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3421-1987","authenticated-orcid":false,"given":"Xu","family":"Lu","sequence":"additional","affiliation":[{"name":"Xidian University, Xi'an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5429-4580","authenticated-orcid":false,"given":"Cong","family":"Tian","sequence":"additional","affiliation":[{"name":"Xidian University, Xi'an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 28th USENIX Annual Technical Conference (USENIX ATC). 255\u2013268","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 Proceedings of the 28th USENIX Annual Technical Conference (USENIX ATC). 255\u2013268."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 30th USENIX Security Symposium (USENIX Security). 1629\u20131645","author":"Bai Jia-Ju","year":"2021","unstructured":"Jia-Ju Bai, Tuo Li, Kangjie Lu, and Shi-Min Hu. 2021. Static Detection of Unsafe DMA Accesses in Device Drivers. In Proceedings of the 30th USENIX Security Symposium (USENIX Security). 1629\u20131645."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2025.3596641"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00269"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3689031.3717487"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134069"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598067"},{"key":"e_1_3_2_1_8_1","volume-title":"SyzGrapher: Resource-Centric Graph-Based Kernel Fuzzing. International Symposium on Research in Attacks, Intrusions and Defense (RAID)","author":"Fleischer Marius","year":"2025","unstructured":"Marius Fleischer, Harrison Green, Ilya Grishchenko, Christopher Kruegel, and Giovanni Vigna. 2025. SyzGrapher: Resource-Centric Graph-Based Kernel Fuzzing. International Symposium on Research in Attacks, Intrusions and Defense (RAID) (2025)."},{"key":"e_1_3_2_1_9_1","unstructured":"Google Inc. [n. d.]. Syzkaller - kernel fuzzer. https:\/\/github.com\/google\/syzkaller."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485832.3488011"},{"key":"e_1_3_2_1_11_1","volume-title":"A Survey of Fuzzing Open-Source Operating Systems. arXiv preprint arXiv:2502.13163","author":"Hu Kun","year":"2025","unstructured":"Kun Hu, Qicai Chen, Zilong Lu, Wenzhuo Zhang, Bihuan Chen, You Lu, Haowen Jiang, Bingkun Sun, Xin Peng, and Wenyun Zhao. 2025. A Survey of Fuzzing Open-Source Operating Systems. arXiv preprint arXiv:2502.13163 (2025)."},{"key":"e_1_3_2_1_12_1","volume-title":"When Fuzzing Meets LLMs: Challenges and Opportunities. In Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE-Companion). 492\u2013496","author":"Jiang Yu","year":"2024","unstructured":"Yu Jiang, Jie Liang, Fuchen Ma, Yuanliang Chen, Chijin Zhou, Yuheng Shen, Zhiyong Wu, Jingzhou Fu, Mingzhe Wang, Shanshan Li, et al. 2024. When Fuzzing Meets LLMs: Challenges and Opportunities. In Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE-Companion). 492\u2013496."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2248487.2150987"},{"key":"e_1_3_2_1_14_1","unstructured":"LLVM Project. [n. d.]. What is clangd? https:\/\/clangd.llvm.org\/."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534226"},{"key":"e_1_3_2_1_16_1","volume-title":"Demystify the Fuzzing Methods: A Comprehensive Survey. Comput. Surveys 56, 3","author":"Mallissery Sanoop","year":"2023","unstructured":"Sanoop Mallissery and Yu-Sung Wu. 2023. Demystify the Fuzzing Methods: A Comprehensive Survey. Comput. Surveys 56, 3 (2023), 71:1\u201371:38."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 29th USENIX Security Symposium (USENIX Security). 2559\u20132575","author":"Peng Hui","year":"2020","unstructured":"Hui Peng and Mathias Payer. 2020. USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation. In Proceedings of the 29th USENIX Security Symposium (USENIX Security). 2559\u20132575."},{"key":"e_1_3_2_1_18_1","unstructured":"Jielin Qiu Zuxin Liu Zhiwei Liu Rithesh Murthy Jianguo Zhang Haolin Chen Shiyu Wang Ming Zhu Liangwei Yang Juntao Tan et al. 2025. LoCoBench-Agent: An Interactive Benchmark for LLM Agents in Long-Context Software Engineering. arXiv preprint arXiv:2511.13998 (2025)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11416-021-00379-x"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23176"},{"key":"e_1_3_2_1_21_1","unstructured":"Syzbot. [n. d.]. Syzbot. https:\/\/syzkaller.appspot.com\/upstream\/."},{"key":"e_1_3_2_1_22_1","unstructured":"Syzlang. [n. d.]. Syscall_descriptions_syntax. https:\/\/github.com\/google\/syzkaller\/blob\/master\/docs\/syscall_descriptions_syntax.md."},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 22nd International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA). 118\u2013139","author":"Tang ZhiZhuo","year":"2025","unstructured":"ZhiZhuo Tang, Jian Lin, Weiyu Dong, Hang Ma, and Tieming Liu. 2025. Syz-Forge: An Automated System Call Specification Generation Process for Efficient Kernel Fuzzing. In Proceedings of the 22nd International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA). 118\u2013139."},{"key":"e_1_3_2_1_24_1","unstructured":"The Linux Kernel Organization. [n. d.]. The Kernel Address Sanitizer (KASAN). https:\/\/www.kernel.org\/doc\/html\/v4.13\/dev-tools\/kasan.html. [n.d.]."},{"key":"e_1_3_2_1_25_1","volume-title":"Aligning Requirement for Large Language Model's Code Generation. arXiv preprint arXiv:2509.01313","author":"Tian Zhao","year":"2025","unstructured":"Zhao Tian and Junjie Chen. 2025. Aligning Requirement for Large Language Model's Code Generation. arXiv preprint arXiv:2509.01313 (2025)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179293"},{"key":"e_1_3_2_1_27_1","unstructured":"Jiacheng Xu Shihao Jiang He Sun Qinying Wang Mingming Zhang Xiang Li Kaiwen Shen Charles Zhang Shouling Ji Peng Cheng et al. 2025. A Survey of Operating System Kernel Fuzzing. ACM Transactions on Software Engineering and Methodology (2025)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-96-9101-2_18"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3676641.3716022"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3447220"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3728913"}],"event":{"name":"FSE Companion '26: 34th ACM International Conference on the Foundations of Software Engineering","location":"Concordia University Montreal QC Canada","acronym":"FSE Companion '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3803437.3805564","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:29:22Z","timestamp":1784298562000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3803437.3805564"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,5]]},"references-count":31,"alternative-id":["10.1145\/3803437.3805564","10.1145\/3803437"],"URL":"https:\/\/doi.org\/10.1145\/3803437.3805564","relation":{},"subject":[],"published":{"date-parts":[[2026,7,5]]},"assertion":[{"value":"2026-07-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}