{"id":"https://openalex.org/W4414988639","doi":"https://doi.org/10.1145/3763161","title":"DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure","display_name":"DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure","publication_year":2025,"publication_date":"2025-10-09","ids":{"openalex":"https://openalex.org/W4414988639","doi":"https://doi.org/10.1145/3763161"},"language":"en","primary_location":{"id":"doi:10.1145/3763161","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763161","pdf_url":null,"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://doi.org/10.1145/3763161","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033449131","display_name":"Chenyao Suo","orcid":"https://orcid.org/0000-0001-5436-940X"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chenyao Suo","raw_affiliation_strings":["Tianjin University, Tianjin, China"],"raw_orcid":"https://orcid.org/0000-0001-5436-940X","affiliations":[{"raw_affiliation_string":"Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102003658","display_name":"Jianrong Wang","orcid":"https://orcid.org/0000-0002-8980-1634"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianrong Wang","raw_affiliation_strings":["Tianjin University, Tianjin, China"],"raw_orcid":"https://orcid.org/0000-0002-8980-1634","affiliations":[{"raw_affiliation_string":"Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061802024","display_name":"Y. F. Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongjia Wang","raw_affiliation_strings":["Tianjin University, Tianjin, China"],"raw_orcid":"https://orcid.org/0009-0007-3803-3157","affiliations":[{"raw_affiliation_string":"Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044689090","display_name":"Jiajun Jiang","orcid":"https://orcid.org/0000-0003-1983-6572"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiajun Jiang","raw_affiliation_strings":["Tianjin University, Tianjin, China"],"raw_orcid":"https://orcid.org/0000-0003-1983-6572","affiliations":[{"raw_affiliation_string":"Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056795788","display_name":"Qingchao Shen","orcid":"https://orcid.org/0000-0002-6128-2123"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qingchao Shen","raw_affiliation_strings":["Tianjin University, Tianjin, China"],"raw_orcid":"https://orcid.org/0000-0002-6128-2123","affiliations":[{"raw_affiliation_string":"Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100365555","display_name":"Junjie Chen","orcid":"https://orcid.org/0000-0003-3056-9962"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junjie Chen","raw_affiliation_strings":["Tianjin University, Tianjin, China"],"raw_orcid":"https://orcid.org/0000-0003-3056-9962","affiliations":[{"raw_affiliation_string":"Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I162868743"],"apc_list":null,"apc_paid":null,"fwci":0.6483,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.71819128,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"9","issue":"OOPSLA2","first_page":"3093","last_page":"3119"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9986000061035156,"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/T11424","display_name":"Security and Verification in Computing","score":0.9937999844551086,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.8504999876022339},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8309000134468079},{"id":"https://openalex.org/keywords/interprocedural-optimization","display_name":"Interprocedural optimization","score":0.5637999773025513},{"id":"https://openalex.org/keywords/compiler-construction","display_name":"Compiler construction","score":0.475600004196167},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.47440001368522644},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4580000042915344},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.45399999618530273},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.45320001244544983},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.42579999566078186}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8565000295639038},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8504999876022339},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8309000134468079},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7774999737739563},{"id":"https://openalex.org/C111564260","wikidata":"https://www.wikidata.org/wiki/Q4288856","display_name":"Interprocedural optimization","level":5,"score":0.5637999773025513},{"id":"https://openalex.org/C9957790","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler construction","level":3,"score":0.475600004196167},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.47440001368522644},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4580000042915344},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.45399999618530273},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.45320001244544983},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.42579999566078186},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4235000014305115},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.420199990272522},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.37439998984336853},{"id":"https://openalex.org/C68366613","wikidata":"https://www.wikidata.org/wiki/Q5156378","display_name":"Compiler correctness","level":3,"score":0.36250001192092896},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.3596999943256378},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.35120001435279846},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.3375999927520752},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.33649998903274536},{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.33239999413490295},{"id":"https://openalex.org/C2781215313","wikidata":"https://www.wikidata.org/wiki/Q3493345","display_name":"SPARK (programming language)","level":2,"score":0.3190000057220459},{"id":"https://openalex.org/C183469790","wikidata":"https://www.wikidata.org/wiki/Q333501","display_name":"Crash","level":2,"score":0.290800005197525},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.28299999237060547},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2806999981403351},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2542000114917755},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.25290000438690186}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3763161","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763161","pdf_url":null,"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/3763161","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763161","pdf_url":null,"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":[{"id":"https://openalex.org/G4076098361","display_name":null,"funder_award_id":"62322208, 12411530122, 62232001, 62202324","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W2103326816","https://openalex.org/W2122987706","https://openalex.org/W2138428785","https://openalex.org/W2370472429","https://openalex.org/W3007855180","https://openalex.org/W3107362213","https://openalex.org/W3122286897","https://openalex.org/W3164004581","https://openalex.org/W3173506450","https://openalex.org/W4238083723","https://openalex.org/W4379512361","https://openalex.org/W4379512400","https://openalex.org/W4384154483","https://openalex.org/W4384154509","https://openalex.org/W4388483154","https://openalex.org/W4402457426","https://openalex.org/W4408900949","https://openalex.org/W4411552405","https://openalex.org/W6912015443"],"related_works":[],"abstract_inverted_index":{"MLIR":[0,45,112,157,170,189,229],"(Multi-Level":[1],"Intermediate":[2],"Representation)":[3],"compiler":[4,41,46,103,230],"infrastructure":[5],"provides":[6],"an":[7,115,206],"efficient":[8],"framework":[9],"for":[10,16,200],"introducing":[11],"a":[12,119,149,177],"new":[13],"abstraction":[14],"level":[15],"programming":[17],"languages":[18],"and":[19,30,52,128,159,237],"domain-specific":[20],"languages.":[21],"It":[22,204,232],"has":[23,31],"attracted":[24],"widespread":[25],"attention":[26],"in":[27,34,74,168,186],"recent":[28],"years":[29],"been":[32,55,245],"applied":[33,221],"various":[35],"domains,":[36],"such":[37,49],"as":[38,50],"deep":[39],"learning":[40],"construction.":[42],"Recently,":[43],"several":[44],"fuzzing":[47],"techniques,":[48],"MLIRSmith":[51],"MLIRod,":[53],"have":[54,244],"proposed.":[56],"However,":[57],"none":[58],"of":[59,132,151,227,241],"them":[60,161],"can":[61],"detect":[62],"silent":[63,76,144,201,235],"bugs,":[64,240],"i.e.,":[65],"bugs":[66,77,236],"that":[67,90,123],"incorrectly":[68],"optimize":[69],"code":[70],"silently.":[71],"The":[72],"difficulty":[73],"detecting":[75],"arises":[78],"from":[79,93],"two":[80],"main":[81],"aspects:":[82],"(1)":[83],"UB-Free":[84],"Program":[85],"Generation":[86],":":[87,108],"Generates":[88],"programs":[89],"are":[91],"free":[92],"undefined":[94],"behaviors":[95],"to":[96,162,182,215,223],"suit":[97],"the":[98,110,130,136,156,169,184,187,197,212,224,228],"non-UB":[99],"assumptions":[100],"required":[101],"by":[102,147],"optimizations.":[104],"(2)":[105],"Lowering":[106],"Support":[107],"Converts":[109],"given":[111,188],"program":[113,171,190],"into":[114,172,191,211],"executable":[116,173,192,218],"form":[117],"with":[118],"suitable":[120],"lowering":[121,126,178],"path":[122,179],"reduces":[124],"redundant":[125],"passes":[127],"improves":[129],"efficiency":[131],"fuzzing.":[133],"To":[134,165],"address":[135],"above":[137],"issues,":[138],"we":[139],"propose":[140],"DESIL.":[141],"DESIL":[142,175,195,222],"enables":[143],"bug":[145,202],"detection":[146],"defining":[148],"set":[150],"UB-elimination":[152],"rules":[153],"based":[154],"on":[155],"documentation":[158],"applying":[160],"input":[163],"programs.":[164],"convert":[166,183],"dialects":[167,185],"form,":[174],"designs":[176],"optimization":[180,208],"strategy":[181,210],"form.":[193],"Furthermore,":[194],"incorporates":[196],"differential":[198],"testing":[199],"detection.":[203],"introduces":[205],"operation-aware":[207],"recommendation":[209],"compilation":[213],"process":[214],"generate":[216],"diverse":[217],"files.":[219],"We":[220],"latest":[225],"revisions":[226],"infrastructure.":[231],"detected":[233],"23":[234],"19":[238],"crash":[239],"which":[242],"17/16":[243],"confirmed":[246],"or":[247],"fixed.":[248]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-17T05:52:16.776730","created_date":"2025-10-10T00:00:00"}