{"id":"https://openalex.org/W7220766804","doi":null,"title":"Crafting unusual programs for fuzzing deep learning libraries","display_name":"Crafting unusual programs for fuzzing deep learning libraries","publication_year":2023,"publication_date":"2023-04-20","ids":{"openalex":"https://openalex.org/W7220766804"},"language":"en","primary_location":{"id":"pmh:oai:www.ideals.illinois.edu:2142/120389","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/2142/120389","pdf_url":"https://www.ideals.illinois.edu/items/127610/bitstreams/427511/data.pdf","source":{"id":"https://openalex.org/S4306401358","display_name":"Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2801919071","host_organization_name":"University of Illinois System","host_organization_lineage":["https://openalex.org/I2801919071"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.ideals.illinois.edu/items/127610/bitstreams/427511/data.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101199067","display_name":"Shujing Yang","orcid":null,"observed_orcids":[]},"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":true,"raw_author_name":"Yang, Shujing","raw_affiliation_strings":["Computer Science in the Graduate College of the University of Illinois Urbana-Champaign , 2023 Urbana , Illinois"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science in the Graduate College of the University of Illinois Urbana-Champaign , 2023 Urbana , Illinois","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5101199067"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.0,"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/fuzzing","display_name":"fuzzing","score":0.7459999918937683},{"id":"https://openalex.org/keywords/deep-learning-libraries","display_name":"deep learning libraries","score":0.9819999933242798},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.699999988079071},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"program synthesis","score":0.7379999756813049},{"id":"https://openalex.org/keywords/bug-finding","display_name":"bug detection","score":0.5649999976158142},{"id":"https://openalex.org/keywords/pytorch","display_name":"PyTorch","score":0.8690000176429749},{"id":"https://openalex.org/keywords/tensorflow","display_name":"TensorFlow","score":1.0},{"id":"https://openalex.org/keywords/in-context-learning","display_name":"in-context learning","score":0.7680000066757202},{"id":"https://openalex.org/keywords/fine-tuning","display_name":"fine-tuning","score":0.8420000076293945},{"id":"https://openalex.org/keywords/chatgpt","display_name":"ChatGPT","score":0.7490000128746033},{"id":"https://openalex.org/keywords/software-testing","display_name":"software testing","score":0.3190000057220459}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6169000267982483},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.5608000159263611},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5049999952316284},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.47749999165534973},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3416999876499176},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.27950000762939453},{"id":"https://openalex.org/C49774154","wikidata":"https://www.wikidata.org/wiki/Q131765","display_name":"Multimedia","level":1,"score":0.263700008392334},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.25839999318122864},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.2483000010251999},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.24549999833106995}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:www.ideals.illinois.edu:2142/120389","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/2142/120389","pdf_url":"https://www.ideals.illinois.edu/items/127610/bitstreams/427511/data.pdf","source":{"id":"https://openalex.org/S4306401358","display_name":"Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2801919071","host_organization_name":"University of Illinois System","host_organization_lineage":["https://openalex.org/I2801919071"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis"}],"best_oa_location":{"id":"pmh:oai:www.ideals.illinois.edu:2142/120389","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/2142/120389","pdf_url":"https://www.ideals.illinois.edu/items/127610/bitstreams/427511/data.pdf","source":{"id":"https://openalex.org/S4306401358","display_name":"Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2801919071","host_organization_name":"University of Illinois System","host_organization_lineage":["https://openalex.org/I2801919071"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7220766804.pdf","grobid_xml":"https://content.openalex.org/works/W7220766804.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W2583649498","https://openalex.org/W2883395840","https://openalex.org/W2904932877","https://openalex.org/W3008088841","https://openalex.org/W3030163527","https://openalex.org/W3118781290","https://openalex.org/W3177813494","https://openalex.org/W4221144766","https://openalex.org/W4224060952","https://openalex.org/W4226485558","https://openalex.org/W4284708930","https://openalex.org/W4308643012","https://openalex.org/W4318902699","https://openalex.org/W4321276180","https://openalex.org/W4385567149","https://openalex.org/W7131800956"],"related_works":["https://openalex.org/W4362656212","https://openalex.org/W3068126984","https://openalex.org/W4310998032","https://openalex.org/W4378591002","https://openalex.org/W6894075206","https://openalex.org/W7220773604","https://openalex.org/W7220796520","https://openalex.org/W4404914810","https://openalex.org/W3194485091","https://openalex.org/W4379919425"],"abstract_inverted_index":{"Deep":[0],"Learning":[1],"(DL)":[2],"applications":[3],"play":[4],"a":[5,17],"vital":[6],"role":[7],"in":[8,11,118],"modern":[9,78],"society.Bugs":[10],"DL":[12,22,40,93,102,257,270],"libraries":[13,41,258],"can":[14,83,211],"significantly":[15],"impact":[16],"wide":[18],"range":[19],"of":[20,52,202,219,239,245],"downstream":[21],"applications,":[23],"making":[24],"it":[25],"crucial":[26,179],"to":[27,48,87,96,106,114,138,151,158,193,231],"develop":[28],"effective":[29,250,267],"testing":[30],"techniques":[31,184],"for":[32,38,63,73,100,154,180,249,269],"these":[33],"libraries.Generating":[34],"valid":[35,65,98],"input":[36],"programs":[37,99,109,116,157,171],"fuzzing":[39,101,126,160],"is":[42,162,227,265],"challenging,":[43],"as":[44,279],"they":[45],"must":[46],"adhere":[47],"both":[49],"the":[50,53,59,74,148,165,199,203,216,237,242,246],"syntax/semantics":[51],"supported":[54],"languages":[55],"(e.g.,":[56,123],"Python)":[57],"and":[58,92,175,197,223,226,229,260],"tensor/operator":[60],"constraints":[61,95],"required":[62],"constructing":[64],"computational":[66],"graphs.The":[67],"recent":[68,247],"TitanFuzz":[69],"work":[70],"has":[71],"shown,":[72],"first":[75,149],"time,":[76],"that":[77,110,130,168,208,263],"Large":[79],"Language":[80],"Models":[81],"(LLMs)":[82],"be":[84,139,212],"directly":[85,240],"employed":[86],"implicitly":[88],"learn":[89],"all":[90],"language":[91],"computation":[94],"create":[97],"libraries.However,":[103],"LLMs":[104,153,220],"tend":[105],"generate":[107],"ordinary":[108],"follow":[111],"patterns/tokens":[112],"similar":[113],"typical":[115],"found":[117],"their":[119],"vast":[120],"training":[121],"corpora":[122],"GitHub),":[124],"whereas":[125],"favors":[127],"unusual":[128,156],"inputs":[129],"cover":[131],"edge":[132],"cases":[133],"or":[134],"are":[135],"less":[136],"likely":[137],"manually":[140],"produced.To":[141],"address":[142],"this":[143,209],"challenge,":[144],"we":[145],"propose":[146],"AtlasFuzz,":[147],"technique":[150],"prime":[152],"synthesizing":[155],"enhance":[159],"effectiveness.AtlasFuzz":[161],"based":[163],"on":[164,254],"well-established":[166],"hypothesis":[167],"historically":[169],"bug-triggering":[170],"may":[172],"contain":[173],"rare":[174],"valuable":[176],"code":[177],"elements":[178],"bug":[181],"discovery.While":[182],"traditional":[183],"leveraging":[185],"such":[186],"historical":[187],"information":[188],"demand":[189],"extensive":[190],"human":[191],"effort":[192],"design":[194],"dedicated":[195],"generators":[196],"ensure":[198],"syntactic/semantic":[200],"validity":[201],"generated":[204],"programs,":[205],"AtlasFuzz":[206,234,264],"demonstrates":[207],"process":[210],"fully":[213],"automated":[214],"through":[215],"intrinsic":[217],"capabilities":[218],"(including":[221],"fine-tuning":[222],"in-context":[224],"learning)":[225],"generalizable":[228],"applicable":[230],"challenging":[232],"domains.Furthermore,":[233],"also":[235],"highlights":[236],"potential":[238],"utilizing":[241],"instruction-following":[243],"capability":[244],"ChatGPT":[248],"fuzzing.Our":[251],"experimental":[252],"study":[253],"two":[255],"popular":[256],"(PyTorch":[259],"TensorFlow)":[261],"reveals":[262],"an":[266],"fuzzer":[268],"libraries,":[271],"detecting":[272],"18":[273],"bugs,":[274],"including":[275],"10":[276],"already":[277],"confirmed":[278],"previously":[280],"unknown":[281],"bugs.":[282]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-10-07T00:00:00"}