{"id":"https://openalex.org/W4403223258","doi":"https://doi.org/10.1145/3689736","title":"WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models","display_name":"WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models","publication_year":2024,"publication_date":"2024-10-08","ids":{"openalex":"https://openalex.org/W4403223258","doi":"https://doi.org/10.1145/3689736"},"language":"en","primary_location":{"id":"doi:10.1145/3689736","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689736","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3689736","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3689736","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087977281","display_name":"Chenyuan Yang","orcid":"https://orcid.org/0000-0002-7976-5086"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chenyuan Yang","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Champaign, USA"],"raw_orcid":"https://orcid.org/0000-0002-7976-5086","affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053846423","display_name":"Yinlin Deng","orcid":"https://orcid.org/0000-0002-4628-4219"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yinlin Deng","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Champaign, USA"],"raw_orcid":"https://orcid.org/0000-0002-4628-4219","affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102640451","display_name":"Runyu Lu","orcid":null},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Runyu Lu","raw_affiliation_strings":["Huazhong University of Science and Technology, Wuhan, China"],"raw_orcid":"https://orcid.org/0009-0000-5261-6147","affiliations":[{"raw_affiliation_string":"Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058454592","display_name":"Jiayi Yao","orcid":"https://orcid.org/0000-0002-8588-4356"},"institutions":[{"id":"https://openalex.org/I4210116924","display_name":"Chinese University of Hong Kong, Shenzhen","ror":"https://ror.org/02d5ks197","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633","https://openalex.org/I180726961","https://openalex.org/I4210116924"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiayi Yao","raw_affiliation_strings":["Chinese University of Hong Kong, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0002-8588-4356","affiliations":[{"raw_affiliation_string":"Chinese University of Hong Kong, Shenzhen, China","institution_ids":["https://openalex.org/I4210116924"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100320734","display_name":"Jiawei Liu","orcid":"https://orcid.org/0000-0001-7122-8625"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jiawei Liu","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Champaign, USA"],"raw_orcid":"https://orcid.org/0000-0001-7122-8625","affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058824250","display_name":"Reyhaneh Jabbarvand","orcid":"https://orcid.org/0000-0002-0668-8526"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Reyhaneh Jabbarvand","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Champaign, USA"],"raw_orcid":"https://orcid.org/0000-0002-0668-8526","affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043546718","display_name":"Lingming Zhang","orcid":"https://orcid.org/0000-0001-5175-2702"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lingming Zhang","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Champaign, USA"],"raw_orcid":"https://orcid.org/0000-0001-5175-2702","affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":27.4412,"has_fulltext":false,"cited_by_count":60,"citation_normalized_percentile":{"value":0.99598394,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":"8","issue":"OOPSLA2","first_page":"709","last_page":"735"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.9243054389953613},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7071669697761536},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6982253789901733},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5736284852027893},{"id":"https://openalex.org/keywords/white","display_name":"White (mutation)","score":0.531909167766571},{"id":"https://openalex.org/keywords/white-box","display_name":"White box","score":0.4340170919895172},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.15488013625144958},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.09092116355895996}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9243054389953613},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7071669697761536},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6982253789901733},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5736284852027893},{"id":"https://openalex.org/C56273599","wikidata":"https://www.wikidata.org/wiki/Q3122841","display_name":"White (mutation)","level":3,"score":0.531909167766571},{"id":"https://openalex.org/C180932941","wikidata":"https://www.wikidata.org/wiki/Q997233","display_name":"White box","level":2,"score":0.4340170919895172},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.15488013625144958},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.09092116355895996},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3689736","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689736","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3689736","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3689736","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3689736","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3689736","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4403223258.pdf"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W109452506","https://openalex.org/W1971650562","https://openalex.org/W1994813019","https://openalex.org/W2009489720","https://openalex.org/W2039522160","https://openalex.org/W2101512909","https://openalex.org/W2106072155","https://openalex.org/W2296669295","https://openalex.org/W2461570336","https://openalex.org/W2530895108","https://openalex.org/W2616028256","https://openalex.org/W2759550170","https://openalex.org/W2954292831","https://openalex.org/W2954903132","https://openalex.org/W2964241064","https://openalex.org/W2984976544","https://openalex.org/W2997653900","https://openalex.org/W3007855180","https://openalex.org/W3008321987","https://openalex.org/W3015384571","https://openalex.org/W3039183210","https://openalex.org/W3104663419","https://openalex.org/W3107362213","https://openalex.org/W3123045479","https://openalex.org/W3136690412","https://openalex.org/W3173506450","https://openalex.org/W3195818176","https://openalex.org/W4221144766","https://openalex.org/W4237492309","https://openalex.org/W4238083723","https://openalex.org/W4246166885","https://openalex.org/W4284686707","https://openalex.org/W4284708930","https://openalex.org/W4285490440","https://openalex.org/W4313442384","https://openalex.org/W4378591002","https://openalex.org/W4384154578","https://openalex.org/W4384304865","https://openalex.org/W4384345714","https://openalex.org/W4384345721","https://openalex.org/W4388857209","https://openalex.org/W4388867344","https://openalex.org/W4389158362","https://openalex.org/W4393305539","https://openalex.org/W4394015350"],"related_works":["https://openalex.org/W2511770387","https://openalex.org/W3120811337","https://openalex.org/W1713081424","https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100","https://openalex.org/W4392652182","https://openalex.org/W2475851004","https://openalex.org/W3020471965"],"abstract_inverted_index":{"Compiler":[0],"correctness":[1],"is":[2,313],"crucial,":[3],"as":[4,73,214,292,342],"miscompilation":[5],"can":[6,191,250,332],"falsify":[7],"program":[8],"behaviors,":[9],"leading":[10],"to":[11,27,60,64,79,144,216,255,264],"serious":[12],"consequences":[13],"over":[14],"the":[15,20,80,134,157,177,186,193,205,219,224,229,285,309,315],"software":[16],"supply":[17],"chain.":[18],"In":[19],"literature,":[21],"fuzzing":[22,33],"has":[23,278,304,346],"been":[24,305],"extensively":[25],"studied":[26],"uncover":[28],"compiler":[29,32,53,84,112,122,137,146],"defects.":[30],"However,":[31],"remains":[34,115],"challenging:":[35],"Existing":[36],"arts":[37],"focus":[38],"on":[39,151,185,204,223,228],"black-":[40],"and":[41,99,182,241,295,312],"grey-box":[42],"fuzzing,":[43],"which":[44],"generates":[45],"test":[46,62,145,188,201,220,253],"programs":[47,63,189,202,254],"without":[48],"sufficient":[49],"understanding":[50],"of":[51,83,119,317],"internal":[52],"behaviors.":[54],"As":[55],"such,":[56],"they":[57],"often":[58],"fail":[59],"construct":[61],"exercise":[65,256],"intricate":[66,260],"optimizations.":[67],"Meanwhile,":[68],"traditional":[69],"white-box":[70,136],"techniques,":[71],"such":[72,341],"symbolic":[74],"execution,":[75],"are":[76,211],"computationally":[77],"inapplicable":[78],"giant":[81],"codebase":[82],"systems.":[85],"Recent":[86],"advances":[87],"demonstrate":[88],"that":[89,190,245],"Large":[90],"Language":[91],"Models":[92],"(LLMs)":[93],"excel":[94],"in":[95,105,121,156,280,314,338],"code":[96,181],"generation/understanding":[97],"tasks":[98],"even":[100],"have":[101],"achieved":[102],"state-of-the-art":[103,270],"performance":[104],"black-box":[106],"fuzzing.":[107],"Nonetheless,":[108],"guiding":[109],"LLMs":[110,140],"with":[111,141,148,289],"source-code":[113,142],"information":[114,143],"a":[116,149,168],"missing":[117],"piece":[118],"research":[120],"testing.":[123],"To":[124,272],"this":[125],"end,":[126],"we":[127],"propose":[128],"W":[129,163,246,274,300,328],"hite":[130,164,247,275,301,329],"F":[131,165,248,276,302,330],"ox":[132,166,249,277,303,331],",":[133],"first":[135],"fuzzer":[138],"using":[139],"optimization,":[147],"spotlight":[150],"detecting":[152],"deep":[153,159,257],"logic":[154],"bugs":[155,283],"emerging":[158],"learning":[160],"(DL)":[161],"compilers.":[162],"adopts":[167],"multi-agent":[169],"framework:":[170],"(i)":[171],"an":[172,196],"LLM-based":[173,197],"analysis":[174],"agent":[175,199],"examines":[176],"low-level":[178],"optimization":[179],"source":[180],"produces":[183,200],"requirements":[184],"high-level":[187],"trigger":[192],"optimization;":[194],"(ii)":[195],"generation":[198,221],"based":[203],"summarized":[206],"requirements.":[207],"Additionally,":[208],"optimization-triggering":[209],"tests":[210],"also":[212,333],"used":[213],"feedback":[215],"further":[217],"enhance":[218],"prompt":[222],"fly.":[225],"Our":[226],"evaluation":[227],"three":[230],"most":[231],"popular":[232],"DL":[233,326],"compilers":[234,286,337],"(":[235],"i.e":[236],".,":[237],"PyTorch":[238,310],"Inductor,":[239],"TensorFlow-XLA,":[240],"TensorFlow":[242],"Lite)":[243],"shows":[244],"generate":[251],"high-quality":[252],"optimizations":[258,268],"requiring":[259],"conditions,":[261],"practicing":[262],"up":[263],"8":[265],"times":[266],"more":[267],"than":[269],"fuzzers.":[271],"date,":[273],"found":[279,348],"total":[281],"101":[282],"for":[284,336],"under":[287],"test,":[288],"92":[290],"confirmed":[291],"previously":[293],"unknown":[294],"70":[296],"already":[297,347],"fixed.":[298],"Notably,":[299],"recently":[306],"acknowledged":[307],"by":[308],"team,":[311],"process":[316],"being":[318],"incorporated":[319],"into":[320],"its":[321],"development":[322],"workflow.":[323],"Finally,":[324],"beyond":[325],"compilers,":[327],"be":[334],"adapted":[335],"different":[339],"domains,":[340],"LLVM,":[343],"where":[344],"WHiteFox":[345],"multiple":[349],"bugs.":[350]},"counts_by_year":[{"year":2026,"cited_by_count":15},{"year":2025,"cited_by_count":42},{"year":2024,"cited_by_count":3}],"updated_date":"2026-08-08T01:25:22.217667","created_date":"2025-10-10T00:00:00"}