{"id":"https://openalex.org/W4410340984","doi":"https://doi.org/10.1109/tse.2025.3569530","title":"Isolating Compiler Faults Through Differentiated Compilation Configurations","display_name":"Isolating Compiler Faults Through Differentiated Compilation Configurations","publication_year":2025,"publication_date":"2025-05-13","ids":{"openalex":"https://openalex.org/W4410340984","doi":"https://doi.org/10.1109/tse.2025.3569530"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2025.3569530","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3569530","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037791183","display_name":"Yibiao Yang","orcid":"https://orcid.org/0000-0003-1153-2013"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yibiao Yang","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0003-1153-2013","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107249448","display_name":"Qingyang Li","orcid":"https://orcid.org/0009-0004-5666-2158"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qingyang Li","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0004-5666-2158","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101412924","display_name":"Maolin Sun","orcid":"https://orcid.org/0000-0001-5617-2205"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Maolin Sun","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0001-5617-2205","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Jing Yang","orcid":"https://orcid.org/0009-0007-2740-0433"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jing Yang","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0007-2740-0433","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039232353","display_name":"Jiangchang Wu","orcid":"https://orcid.org/0000-0002-9932-7315"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiangchang Wu","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-9932-7315","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031391841","display_name":"Yuming Zhou","orcid":"https://orcid.org/0000-0002-4645-2526"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuming Zhou","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-4645-2526","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5037791183"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":4.2517,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.9259785,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"51","issue":"6","first_page":"1838","last_page":"1853"},"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.9944999814033508,"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.9944999814033508,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.989799976348877,"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/computer-science","display_name":"Computer science","score":0.873978316783905},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8376030921936035},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5690478086471558},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3698025941848755},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32847896218299866}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.873978316783905},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8376030921936035},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5690478086471558},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3698025941848755},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32847896218299866}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2025.3569530","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3569530","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6499999761581421,"id":"https://metadata.un.org/sdg/13","display_name":"Climate action"}],"awards":[{"id":"https://openalex.org/G1877936135","display_name":null,"funder_award_id":"BK20231402","funder_id":"https://openalex.org/F4320334982","funder_display_name":"Basic Research Program of Jiangsu Province"},{"id":"https://openalex.org/G4362810476","display_name":null,"funder_award_id":"62072194","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5997361112","display_name":null,"funder_award_id":"62172205","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7036466719","display_name":null,"funder_award_id":"624B2067","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8882353191","display_name":null,"funder_award_id":"14380121","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320334982","display_name":"Basic Research Program of Jiangsu Province","ror":null},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1950030762","https://openalex.org/W1969981172","https://openalex.org/W1984077225","https://openalex.org/W1984846967","https://openalex.org/W1990785546","https://openalex.org/W2010833880","https://openalex.org/W2013655083","https://openalex.org/W2070249305","https://openalex.org/W2101819268","https://openalex.org/W2138428785","https://openalex.org/W2151139698","https://openalex.org/W2153418968","https://openalex.org/W2155877593","https://openalex.org/W2170224888","https://openalex.org/W2172154252","https://openalex.org/W2245859419","https://openalex.org/W2246070153","https://openalex.org/W2343875716","https://openalex.org/W2461570336","https://openalex.org/W2610733496","https://openalex.org/W2620081107","https://openalex.org/W2736091366","https://openalex.org/W2744752929","https://openalex.org/W2767468415","https://openalex.org/W2790180306","https://openalex.org/W2900990156","https://openalex.org/W2968370566","https://openalex.org/W2980518752","https://openalex.org/W2999700924","https://openalex.org/W3113205478","https://openalex.org/W4286331373","https://openalex.org/W4396712556","https://openalex.org/W4403536373","https://openalex.org/W6629867571","https://openalex.org/W6640866605","https://openalex.org/W6725870058","https://openalex.org/W6789678996"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4240253816","https://openalex.org/W3096456556","https://openalex.org/W1713081424","https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100"],"abstract_inverted_index":{"Compilation":[0],"optimization":[1,141],"bugs":[2,24,187,253],"are":[3,25,112],"prevalent":[4],"and":[5,21,35,77,111,221,225,249,269,291],"can":[6,181],"significantly":[7],"affect":[8],"the":[9,32,46,72,79,102,145,173,183,190,280],"correctness":[10],"of":[11,38,49,74,81,105,147,175,185,246,266],"software":[12,18],"products,":[13],"posing":[14],"serious":[15],"challenges":[16],"to":[17,44,119,217,235,286],"development.":[19],"Identifying":[20],"localizing":[22],"these":[23,196,214],"critical":[26],"tasks":[27],"for":[28,137],"compiler":[29,140,186,206,223,237,252,260],"developers.":[30],"However,":[31],"intricate":[33],"nature":[34],"extensive":[36,117],"scale":[37],"modern":[39],"compilers":[40],"make":[41],"it":[42],"difficult":[43],"pinpointing":[45],"root":[47],"causes":[48],"such":[50,82,163],"bugs.":[51],"Previous":[52],"research":[53],"has":[54],"introduced":[55],"innovative":[56],"techniques":[57,86,234,263],"that":[58,65,159,203,255],"generate":[59],"<italic":[60,148,228],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[61,149,229],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">witness":[62],"test":[63,69,90,107,124,192],"programs</i>\u2013tests":[64],"pass\u2013by":[66],"mutating":[67],"bug-triggering":[68],"cases,":[70],"highlighting":[71],"importance":[73],"this":[75,127],"problem":[76],"demonstrating":[78],"effectiveness":[80,268],"approaches.":[83],"Nevertheless,":[84],"existing":[85,288],"based":[87,240],"on":[88,241,301],"witness":[89,106,123],"programs":[91,108],"generation":[92],"suffer":[93],"from":[94],"inherent":[95],"limitations.":[96],"Specifically,":[97],"they":[98],"do":[99],"not":[100],"guarantee":[101],"successful":[103],"creation":[104],"via":[109],"mutation":[110],"often":[113],"time-consuming,":[114],"typically":[115],"requiring":[116],"iterations":[118],"produce":[120,204],"a":[121,132],"valid":[122],"program.":[125,193],"In":[126],"study,":[128],"we":[129],"present":[130],"Odfl,":[131],"simple":[133],"yet":[134],"effective":[135],"approach":[136],"automatically":[138],"isolating":[139],"faults":[142],"by":[143,189,297],"introducing":[144],"concept":[146],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">differentiated":[150],"compilation":[151,161,167,177,201],"configurations</i>.":[152],"The":[153],"core":[154],"insight":[155],"behind":[156],"Odfl":[157,198,256,272],"is":[158],"modifying":[160],"settings":[162],"as":[164],"disabling":[165],"fine-grained":[166,176],"flags":[168],"in":[169,179,264,277],"GCC":[170,248],"or":[171],"reducing":[172],"number":[174],"passes":[178],"LLVM,":[180],"suppress":[182],"manifestation":[184],"triggered":[188],"same":[191],"Through":[194],"adjusting":[195],"settings,":[197],"creates":[199],"differentiated":[200,215],"configuration":[202],"multiple":[205],"executions":[207],"with":[208],"distinct":[209],"pass/-fail":[210],"outcomes.":[211],"We":[212],"utilize":[213],"configurations":[216],"collect":[218],"both":[219,267],"passing":[220],"failing":[222],"coverage,":[224],"then":[226],"apply":[227],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Spectrum-Based":[230],"Fault":[231],"Localization":[232],"(SBFL)</i>":[233],"rank":[236],"source":[238,283],"files":[239,284],"their":[242],"suspiciousness.":[243],"Our":[244],"evaluation":[245],"60":[247],"50":[250],"LLVM":[251],"demonstrates":[254],"substantially":[257],"outperforms":[258],"state-of-the-art":[259],"fault":[261,294],"localization":[262,295],"terms":[265],"efficiency.":[270],"Notably,":[271],"achieves":[273],"over":[274],"90%":[275],"improvement":[276],"accurately":[278],"ranking":[279],"top-1":[281],"faulty":[282],"compared":[285],"three":[287],"techniques\u2013DiWi,":[289],"RecBi,":[290],"LLM4CBI\u2013and":[292],"reduces":[293],"time":[296],"more":[298],"than":[299],"99%":[300],"average.":[302]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}
