{"id":"https://openalex.org/W7169528772","doi":"https://doi.org/10.1145/3803437.3805564","title":"DevGen: Automated Generation of Virtual Device Models for Kernel Drivers via Large Language Models","display_name":"DevGen: Automated Generation of Virtual Device Models for Kernel Drivers via Large Language Models","publication_year":2026,"publication_date":"2026-07-05","ids":{"openalex":"https://openalex.org/W7169528772","doi":"https://doi.org/10.1145/3803437.3805564"},"language":null,"primary_location":{"id":"doi:10.1145/3803437.3805564","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3803437.3805564","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3803437.3805564","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139786763","display_name":"Mingyu Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingyu Wang","raw_affiliation_strings":["Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0009-0001-7885-1409","affiliations":[{"raw_affiliation_string":"Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020586569","display_name":"Bin Yu","orcid":"https://orcid.org/0000-0002-1680-3129"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bin Yu","raw_affiliation_strings":["Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0002-1680-3129","affiliations":[{"raw_affiliation_string":"Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139735892","display_name":"Wenjian Lu","orcid":null},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenjian Lu","raw_affiliation_strings":["Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0009-0006-3354-7346","affiliations":[{"raw_affiliation_string":"Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140982319","display_name":"Kefeng Gao","orcid":null},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kefeng Gao","raw_affiliation_strings":["Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0009-0004-9981-684X","affiliations":[{"raw_affiliation_string":"Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5141095628","display_name":"Zhi Wang","orcid":"https://orcid.org/0009-0002-0300-2194"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhi Wang","raw_affiliation_strings":["Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0009-0002-0300-2194","affiliations":[{"raw_affiliation_string":"Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101716786","display_name":"Cheng Wen","orcid":"https://orcid.org/0000-0003-1826-6213"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Cheng Wen","raw_affiliation_strings":["Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0003-1826-6213","affiliations":[{"raw_affiliation_string":"Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075803725","display_name":"Xu Lu","orcid":"https://orcid.org/0000-0002-3421-1987"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xu Lu","raw_affiliation_strings":["Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0002-3421-1987","affiliations":[{"raw_affiliation_string":"Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003990194","display_name":"Cong Tian","orcid":"https://orcid.org/0000-0002-5429-4580"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Cong Tian","raw_affiliation_strings":["Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0002-5429-4580","affiliations":[{"raw_affiliation_string":"Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I149594827"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1242","last_page":"1246"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/sysfs","display_name":"sysfs","score":0.7570000290870667},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.70660001039505},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.6819000244140625},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5361999869346619},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5051000118255615},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.49149999022483826},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.48539999127388}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8176000118255615},{"id":"https://openalex.org/C90307666","wikidata":"https://www.wikidata.org/wiki/Q1932562","display_name":"sysfs","level":3,"score":0.7570000290870667},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.70660001039505},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.6819000244140625},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5361999869346619},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5051000118255615},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.49149999022483826},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.48539999127388},{"id":"https://openalex.org/C553261973","wikidata":"https://www.wikidata.org/wiki/Q14579","display_name":"Linux kernel","level":2,"score":0.42730000615119934},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.37459999322891235},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3578999936580658},{"id":"https://openalex.org/C121449826","wikidata":"https://www.wikidata.org/wiki/Q864114","display_name":"Input device","level":2,"score":0.3125},{"id":"https://openalex.org/C94127936","wikidata":"https://www.wikidata.org/wiki/Q5160105","display_name":"Configfs","level":3,"score":0.3066999912261963},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3041999936103821},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.29679998755455017},{"id":"https://openalex.org/C207953454","wikidata":"https://www.wikidata.org/wiki/Q2528011","display_name":"Virtual finite-state machine","level":3,"score":0.290800005197525},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.2628999948501587},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.2556000053882599}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3803437.3805564","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3803437.3805564","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3803437.3805564","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3803437.3805564","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W2766711930","https://openalex.org/W2947814692","https://openalex.org/W3149912232","https://openalex.org/W3199024925","https://openalex.org/W4213424096","https://openalex.org/W4285490479","https://openalex.org/W4378591002","https://openalex.org/W4384948731","https://openalex.org/W4402263592","https://openalex.org/W4404101430","https://openalex.org/W4408891401","https://openalex.org/W4408894640","https://openalex.org/W4411523092","https://openalex.org/W4412152354","https://openalex.org/W4413126762"],"related_works":[],"abstract_inverted_index":{"A":[0],"large":[1],"number":[2],"of":[3,36,131,166],"Linux":[4,148],"kernel":[5,46,91,150],"device":[6,21,32,54],"drivers":[7,144,168],"are":[8,124,180],"tightly":[9],"coupled":[10],"with":[11,126],"hardware,":[12,59],"making":[13,60],"their":[14],"execution":[15,118],"and":[16,23,104,113,175],"testing":[17],"heavily":[18],"dependent":[19],"on":[20,52,142],"interfaces":[22],"responses.":[24],"Without":[25],"access":[26],"to":[27,45,63,89],"real":[28],"hardware":[29,97],"or":[30,56],"accurate":[31],"emulation,":[33],"significant":[34,170],"parts":[35],"driver":[37,68,92,101,132],"code":[38,103,133],"remain":[39],"untested,":[40],"posing":[41],"a":[42],"major":[43],"risk":[44],"security.":[47],"Existing":[48],"approaches":[49],"mainly":[50],"rely":[51],"manual":[53],"modeling":[55],"limited":[57],"physical":[58,139],"it":[61],"difficult":[62],"scale":[64],"across":[65],"the":[66,76,121,129,136,146,167],"vast":[67],"ecosystem.":[69],"In":[70],"this":[71],"paper,":[72],"we":[73],"introduce":[74],"DevGen,":[75],"first":[77],"approach":[78,95],"for":[79,138,158],"automatically":[80],"generating":[81],"virtual":[82,107,156],"devices":[83,108,123,157],"using":[84],"Large":[85],"Language":[86],"Models":[87],"(LLMs)":[88],"enhance":[90],"fuzzing.":[93],"Our":[94],"extracts":[96],"interaction":[98],"logic":[99],"from":[100,145],"source":[102],"generates":[105,155],"QEMU-based":[106],"iteratively,":[109],"employing":[110],"syntax":[111],"checking":[112],"semantic":[114],"repair":[115],"guided":[116],"by":[117],"feedback.":[119],"Furthermore,":[120],"generated":[122,163],"integrated":[125],"Syzkaller,":[127],"enabling":[128],"exploration":[130],"paths":[134],"without":[135],"need":[137],"hardware.":[140],"Experiments":[141],"50":[143],"latest":[147],"6.18":[149],"show":[151],"that":[152],"DevGen":[153],"successfully":[154],"44":[159],"drivers.":[160],"With":[161],"these":[162],"models,":[164],"24%":[165],"achieve":[169],"improvements":[171],"in":[172],"fuzzing":[173],"coverage,":[174],"7":[176],"previously":[177],"unknown":[178],"crashes":[179],"triggered.":[181]},"counts_by_year":[],"updated_date":"2026-07-18T05:58:53.570196","created_date":"2026-07-18T00:00:00"}