{"id":"https://openalex.org/W4411450248","doi":"https://doi.org/10.1145/3715747","title":"DuoReduce: Bug Isolation for Multi-layer Extensible Compilation","display_name":"DuoReduce: Bug Isolation for Multi-layer Extensible Compilation","publication_year":2025,"publication_date":"2025-06-19","ids":{"openalex":"https://openalex.org/W4411450248","doi":"https://doi.org/10.1145/3715747"},"language":"en","primary_location":{"id":"doi:10.1145/3715747","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3715747","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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 Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3715747","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107245722","display_name":"Jiyuan Wang","orcid":"https://orcid.org/0009-0005-2778-8840"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jiyuan Wang","raw_affiliation_strings":["University of California at Los Angeles, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100954623","display_name":"Yuxin Qiu","orcid":null},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuxin Qiu","raw_affiliation_strings":["University of California at Riverside, Riverside, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Riverside, Riverside, USA","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049298378","display_name":"Ben Limpanukorn","orcid":"https://orcid.org/0009-0003-3652-384X"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ben Limpanukorn","raw_affiliation_strings":["University of California at Los Angeles, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027335548","display_name":"Hong Jin Kang","orcid":"https://orcid.org/0000-0001-7335-7295"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hong Jin Kang","raw_affiliation_strings":["University of California at Los Angeles, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107250096","display_name":"Qian Zhang","orcid":"https://orcid.org/0000-0002-4002-4379"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qian Zhang","raw_affiliation_strings":["University of California at Riverside, Riverside, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Riverside, Riverside, USA","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049451101","display_name":"Miryung Kim","orcid":"https://orcid.org/0000-0003-3802-1512"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Miryung Kim","raw_affiliation_strings":["University of California at Los Angeles, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5107245722"],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14968218,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"FSE","first_page":"647","last_page":"667"},"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.9998000264167786,"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.9998000264167786,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.996399998664856,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8650195598602295},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8477264642715454},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6788498759269714},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6663089394569397},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4527686834335327},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.43312519788742065},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.39501020312309265},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.3384948968887329}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8650195598602295},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8477264642715454},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6788498759269714},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6663089394569397},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4527686834335327},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.43312519788742065},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.39501020312309265},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3384948968887329}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3715747","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3715747","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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 Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3715747","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3715747","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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 Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1966021031","https://openalex.org/W2121081915","https://openalex.org/W2121217767","https://openalex.org/W2170224888","https://openalex.org/W2547446647","https://openalex.org/W2767798196","https://openalex.org/W2794859654","https://openalex.org/W2891688103","https://openalex.org/W2898480012","https://openalex.org/W2954698171","https://openalex.org/W2967352598","https://openalex.org/W3005142042","https://openalex.org/W3173506450","https://openalex.org/W3193977407","https://openalex.org/W3196239222","https://openalex.org/W4221144766","https://openalex.org/W4281950471","https://openalex.org/W4313442384","https://openalex.org/W4362676437","https://openalex.org/W4378465442","https://openalex.org/W4386442953","https://openalex.org/W4387355998","https://openalex.org/W4388483154","https://openalex.org/W4388483883","https://openalex.org/W4389158362","https://openalex.org/W4389165112","https://openalex.org/W4402442339"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2611067230","https://openalex.org/W2480201319","https://openalex.org/W2387706296","https://openalex.org/W2155788121","https://openalex.org/W4235469518","https://openalex.org/W362492756","https://openalex.org/W2056396287"],"abstract_inverted_index":{"In":[0],"recent":[1],"years,":[2],"the":[3,12,104,151,158,177,182,282,305,309,322,325],"MLIR":[4,29,76,81,107,125,139,207,298,317],"framework":[5],"has":[6,308],"had":[7],"explosive":[8],"growth":[9],"due":[10],"to":[11,58,75,102,110,135,150,167,195,199,251,265,290,293,303,311],"need":[13],"for":[14,19,113,124,188,275,324],"extensible":[15],"deep":[16],"learning":[17,330],"compilers":[18,30,82],"hardware":[20,332],"accelerators.":[21,333],"Such":[22],"examples":[23],"include":[24],"Triton,":[25],"CIRCT,":[26],"and":[27,44,181,219,229,331],"ONNX-MLIR.":[28],"introduce":[31],"significant":[32],"complexities":[33],"in":[34,133,221,316],"localizing":[35],"bugs":[36],"or":[37],"inefficiencies":[38],"because":[39,79],"of":[40,63,88,98,106,223,284,297,328],"their":[41,72],"layered":[42],"optimization":[43],"transformation":[45],"process":[46],"with":[47,204],"compilation":[48,89,100,160,183,197,241,259,271],"passes.":[49,90,161,202],"While":[50],"existing":[51],"delta":[52,140],"debugging":[53,314],"techniques":[54],"can":[55],"be":[56,111],"used":[57],"identify":[59,94],"a":[60,68,85,95,114,120],"minimum":[61],"subset":[62],"IR":[64,169,178,190,224,278],"code":[65,109,170,179,191,225,300],"that":[66,147,211],"reproduces":[67],"given":[69],"bug":[70,115,126,152],"symptom,":[71],"naive":[73],"application":[74],"is":[77],"time-consuming":[78],"real-world":[80],"usually":[83],"involve":[84],"large":[86],"number":[87,283],"Compiler":[91],"developers":[92],"must":[93],"minimized":[96],"set":[97],"relevant":[99],"passes":[101,146,198,242,272,285],"reduce":[103,200,313],"footprint":[105],"compiler":[108,145,208,299],"inspected":[112],"fix.":[116],"We":[117],"propose":[118],"DuoReduce,":[119],"dual-dimensional":[121],"reduction":[122,226],"approach":[123],"localization.":[127],"DuoReduce":[128,143,163,173,212,261,280,307],"leverages":[129,174],"three":[130,205],"key":[131],"ideas":[132],"tandem":[134],"design":[136],"an":[137],"efficient":[138],"debugger.":[141],"First,":[142],"reduces":[144,262,281],"are":[148,193,273],"irrelevant":[149],"by":[153,186,227,237,286],"identifying":[154,255,269],"ordering":[155,256],"dependencies":[156,257],"among":[157,258],"different":[159],"Second,":[162],"uses":[164,234],"MLIR-semantics-aware":[165],"transformations":[166],"expedite":[168],"reduction.":[171],"Finally,":[172],"cross-dependence":[175],"between":[176],"dimension":[180,185],"pass":[184],"accounting":[187],"which":[189,196,270,319],"segments":[192],"related":[194],"unused":[201,274],"Experiments":[203],"large-scale":[206],"projects":[209],"find":[210],"outperforms":[213],"syntax-aware":[214],"reducers":[215,236],"such":[216],"as":[217,321],"Perses":[218],"Vulcan":[220],"terms":[222],"31.6%":[228],"21.5%":[230],"respectively.":[231],"If":[232],"one":[233],"these":[235],"enumerating":[238],"all":[239],"possible":[240],"(on":[243],"average":[244,302],"18":[245],"passes),":[246],"it":[247],"could":[248],"take":[249],"up":[250],"145":[252],"hours.":[253],"By":[254,268],"passes,":[260],"this":[263],"time":[264],"9.5":[266],"minutes.":[267],"compiling":[276],"reduced":[277],"code,":[279],"14.6%.":[287],"This":[288],"translates":[289],"not":[291],"needing":[292],"examine":[294],"281":[295],"lines":[296],"on":[301],"fix":[304],"bugs.":[306],"potential":[310],"significantly":[312],"effort":[315],"compilers,":[318],"serves":[320],"foundation":[323],"current":[326],"landscape":[327],"machine":[329]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}