{"id":"https://openalex.org/W4411260264","doi":"https://doi.org/10.1145/3729267","title":"Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis","display_name":"Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis","publication_year":2025,"publication_date":"2025-06-10","ids":{"openalex":"https://openalex.org/W4411260264","doi":"https://doi.org/10.1145/3729267"},"language":"en","primary_location":{"id":"doi:10.1145/3729267","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729267","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729267","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/3729267","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107412076","display_name":"Shan Huang","orcid":"https://orcid.org/0009-0008-2856-5851"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shan Huang","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0008-2856-5851","affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Jingjing Liang","orcid":"https://orcid.org/0009-0001-7905-5690"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jingjing Liang","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0001-7905-5690","affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043441209","display_name":"Ting Su","orcid":"https://orcid.org/0000-0003-1628-9796"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ting Su","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-1628-9796","affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078231842","display_name":"Qirun Zhang","orcid":"https://orcid.org/0000-0001-5367-9377"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qirun Zhang","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, USA"],"raw_orcid":"https://orcid.org/0000-0001-5367-9377","affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, USA","institution_ids":["https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0346,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.79672245,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"9","issue":"PLDI","first_page":"527","last_page":"549"},"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.9976999759674072,"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.9976999759674072,"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.9902999997138977,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9878000020980835,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/debugging","display_name":"Debugging","score":0.7193220257759094},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6813136339187622},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.4820590913295746},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.4383728504180908},{"id":"https://openalex.org/keywords/background-debug-mode-interface","display_name":"Background debug mode interface","score":0.4225735068321228},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.4202615022659302},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.41126328706741333},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3788908123970032}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7193220257759094},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6813136339187622},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.4820590913295746},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.4383728504180908},{"id":"https://openalex.org/C124774103","wikidata":"https://www.wikidata.org/wiki/Q4839640","display_name":"Background debug mode interface","level":3,"score":0.4225735068321228},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4202615022659302},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.41126328706741333},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3788908123970032},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3729267","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729267","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729267","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/3729267","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729267","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729267","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/G1453356816","display_name":"SHF:Small: Debug Information Validation for Optimizing Compilers","funder_award_id":"2114627","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3324857077","display_name":null,"funder_award_id":"2022YFB3104002","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G3629267508","display_name":"CAREER: Program Analysis with Precise Abstractions","funder_award_id":"2237440","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411260264.pdf","grobid_xml":"https://content.openalex.org/works/W4411260264.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W7073056","https://openalex.org/W1992008963","https://openalex.org/W2017616301","https://openalex.org/W2118450335","https://openalex.org/W2229273480","https://openalex.org/W2795338679","https://openalex.org/W2924629359","https://openalex.org/W3033353503","https://openalex.org/W3155032774","https://openalex.org/W4318541515","https://openalex.org/W4388422146","https://openalex.org/W4391673243","https://openalex.org/W4400583090","https://openalex.org/W6848443691","https://openalex.org/W6893117931"],"related_works":["https://openalex.org/W2361273971","https://openalex.org/W2351581202","https://openalex.org/W2978026406","https://openalex.org/W2385068581","https://openalex.org/W2381166695","https://openalex.org/W4241045879","https://openalex.org/W2366346238","https://openalex.org/W2366922255","https://openalex.org/W2387706296","https://openalex.org/W2347893649"],"abstract_inverted_index":{"Optimizing":[0],"compilers,":[1],"such":[2,111],"as":[3,23,253,265],"LLVM,":[4],"generate":[5],"debug":[6,35,68,74,99,134,149,161,184,223,276,325,349],"information":[7,15,36,75,100,135,186,326,350],"in":[8,103,137,163,225,244,300,327,341],"machine":[9],"code":[10,39],"to":[11,37,59,64,80,132,153,240,257,339],"aid":[12],"debugging.":[13],"This":[14,53],"is":[16,26,43,78,156],"particularly":[17],"important":[18],"when":[19],"debugging":[20,89],"optimized":[21,167,193,330],"code,":[22],"modern":[24],"software":[25],"often":[27,48],"compiled":[28],"with":[29,284,306],"optimization":[30,42,218],"enabled.":[31],"However,":[32],"properly":[33],"updating":[34],"reflect":[38],"transformations":[40],"during":[41],"a":[44,171,200,266],"complex":[45],"task":[46],"that":[47,159,177,203],"relies":[49],"on":[50,187,348],"manual":[51],"effort.":[52],"complexity":[54],"makes":[55],"the":[56,82,87,117,125,129,157,160,164,188,192,205,209,214,222,226,249,254,259,303,315,320],"process":[57],"prone":[58],"errors,":[60],"which":[61,273],"can":[62,97,109,114,144],"lead":[63],"incorrect":[65,148],"or":[66],"lost":[67],"information.":[69],"Finding":[70],"and":[71,84,146,166,220,293,322,337],"fixing":[72],"potential":[73],"update":[76,101,255,298],"errors":[77,102,299],"vital":[79],"maintaining":[81],"accuracy":[83,321],"reliability":[85,323],"of":[86,191,216,229,324],"overall":[88],"process.":[90],"To":[91,123],"our":[92,141,154,263,334],"knowledge,":[93],"no":[94],"existing":[95],"techniques":[96],"rectify":[98],"LLVM.":[104,138,245,301,332],"While":[105],"black-box":[106],"testing":[107],"approaches":[108],"find":[110,145],"bugs,":[112],"they":[113],"neither":[115],"pinpoint":[116],"root":[118],"causes":[119],"nor":[120],"suggest":[121],"fixes.":[122],"fill":[124],"gap,":[126],"we":[127,290],"propose":[128],"first":[130],"technique":[131],"robustify":[133],"updates":[136,207,236,243,251,278],"In":[139],"particular,":[140],"robustification":[142],"approach":[143,155,202,264,335],"fix":[147],"location":[150,185,277],"updates.":[151,351],"Central":[152],"observation":[158],"locations":[162,224],"original":[165],"programs":[168,230,329],"must":[169],"satisfy":[170],"conformance":[172,198,210],"relation.":[173],"The":[174,233],"relation":[175,211],"ensures":[176],"LLVM":[178,217,280,316],"optimizations":[179],"do":[180],"not":[181],"introduce":[182,196],"extraneous":[183],"control-flow":[189,197,227],"paths":[190],"programs.":[194],"We":[195,261],"analysis,":[199],"novel":[201],"determines":[204,274],"reference":[206,235,250],"ensuring":[208],"by":[212,331],"observing":[213],"execution":[215],"passes":[219],"analyzing":[221],"graphs":[228],"under":[231],"optimization.":[232],"determined":[234],"are":[237],"then":[238],"used":[239],"check":[241],"developer-written":[242],"When":[246],"discrepancies":[247],"arise,":[248],"serve":[252],"skeletons":[256],"guide":[258],"fixing.":[260],"realized":[262],"tool":[267],"named":[268],"M":[269,285],"eta":[270,286],"L":[271,287],"oc":[272,288],"proper":[275],"for":[279],"optimizations.":[281],"More":[282],"importantly,":[283],",":[289],"have":[291,311],"reported":[292],"patched":[294],"46":[295],"previously":[296],"unknown":[297],"All":[302],"patches,":[304],"along":[305],"22":[307],"new":[308],"regression":[309],"tests,":[310],"been":[312],"merged":[313],"into":[314],"codebase,":[317],"effectively":[318],"improving":[319],"all":[328],"Furthermore,":[333],"uncovered":[336],"led":[338],"corrections":[340],"two":[342],"issues":[343],"within":[344],"LLVM\u2019s":[345],"official":[346],"documentation":[347]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-08-23T07:36:19.812096","created_date":"2025-10-10T00:00:00"}