{"id":"https://openalex.org/W4414977278","doi":"https://doi.org/10.1145/3763065","title":"Fast Client-Driven CFL-Reachability via Regularization-Based Graph Simplification","display_name":"Fast Client-Driven CFL-Reachability via Regularization-Based Graph Simplification","publication_year":2025,"publication_date":"2025-10-09","ids":{"openalex":"https://openalex.org/W4414977278","doi":"https://doi.org/10.1145/3763065"},"language":"en","primary_location":{"id":"doi:10.1145/3763065","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763065","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/3763065","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5095032730","display_name":"Chenghang Shi","orcid":"https://orcid.org/0009-0003-3055-8929"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Chenghang Shi","raw_affiliation_strings":["Institute of Computing Technology, CAS, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0003-3055-8929","affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, CAS, Beijing, China","institution_ids":["https://openalex.org/I4210090176"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090373034","display_name":"Dongjie He","orcid":"https://orcid.org/0000-0003-0304-8942"},"institutions":[{"id":"https://openalex.org/I158842170","display_name":"Chongqing University","ror":"https://ror.org/023rhb549","country_code":"CN","type":"education","lineage":["https://openalex.org/I158842170"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dongjie He","raw_affiliation_strings":["Chongqing University, Chongqing, China"],"raw_orcid":"https://orcid.org/0000-0003-0304-8942","affiliations":[{"raw_affiliation_string":"Chongqing University, Chongqing, China","institution_ids":["https://openalex.org/I158842170"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055127933","display_name":"Haofeng Li","orcid":"https://orcid.org/0009-0008-0931-8767"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haofeng Li","raw_affiliation_strings":["Institute of Computing Technology, CAS, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0008-0931-8767","affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, CAS, Beijing, China","institution_ids":["https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068388413","display_name":"Jie Lu","orcid":"https://orcid.org/0000-0002-4162-0404"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Lu","raw_affiliation_strings":["Institute of Computing Technology, CAS, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-4162-0404","affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, CAS, Beijing, China","institution_ids":["https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100317802","display_name":"Lian Li","orcid":"https://orcid.org/0000-0002-4476-0541"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lian Li","raw_affiliation_strings":["Institute of Computing Technology, CAS, Beijing, China","University of Chinese Academy of Sciences, Beijing, China","Zhongguancun Laboratory, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-4476-0541","affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, CAS, Beijing, China","institution_ids":["https://openalex.org/I4210090176"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"Zhongguancun Laboratory, Beijing, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024664385","display_name":"Jingling Xue","orcid":"https://orcid.org/0000-0003-0380-3506"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Jingling Xue","raw_affiliation_strings":["University of New South Wales, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0003-0380-3506","affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5095032730"],"corresponding_institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.25986776,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"OOPSLA2","first_page":"416","last_page":"443"},"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.9991000294685364,"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.9991000294685364,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9983000159263611,"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/T10911","display_name":"Chemical Synthesis and Analysis","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.9401000142097473},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5881999731063843},{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.560699999332428},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.45320001244544983},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.40220001339912415},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.3001999855041504},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.2915000021457672}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9401000142097473},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7648000121116638},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5881999731063843},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.560699999332428},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.527999997138977},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.45320001244544983},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4253999888896942},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.40220001339912415},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.3001999855041504},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.2915000021457672},{"id":"https://openalex.org/C3018263672","wikidata":"https://www.wikidata.org/wiki/Q1296251","display_name":"Efficient algorithm","level":2,"score":0.28299999237060547},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.28049999475479126},{"id":"https://openalex.org/C88230418","wikidata":"https://www.wikidata.org/wiki/Q131476","display_name":"Graph theory","level":2,"score":0.2761000096797943},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.27489998936653137},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.27250000834465027},{"id":"https://openalex.org/C2986651925","wikidata":"https://www.wikidata.org/wiki/Q1514868","display_name":"Graph algorithms","level":3,"score":0.2700999975204468},{"id":"https://openalex.org/C147297375","wikidata":"https://www.wikidata.org/wiki/Q6674930","display_name":"Look-ahead","level":2,"score":0.2644999921321869}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3763065","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763065","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/3763065","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763065","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/G2233894006","display_name":null,"funder_award_id":"2022YFB3103900","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G8251204402","display_name":null,"funder_award_id":"62402474; 62132020; 62202452; HW2024006","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"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W1503669439","https://openalex.org/W1538417395","https://openalex.org/W1959797194","https://openalex.org/W1966032455","https://openalex.org/W1971782746","https://openalex.org/W2024779397","https://openalex.org/W2030166143","https://openalex.org/W2060439939","https://openalex.org/W2064982280","https://openalex.org/W2080205938","https://openalex.org/W2080573945","https://openalex.org/W2088140535","https://openalex.org/W2093080079","https://openalex.org/W2096587139","https://openalex.org/W2110833886","https://openalex.org/W2112919324","https://openalex.org/W2119137801","https://openalex.org/W2122493035","https://openalex.org/W2149207009","https://openalex.org/W2151670874","https://openalex.org/W2160392726","https://openalex.org/W2167363133","https://openalex.org/W2295857493","https://openalex.org/W2297774820","https://openalex.org/W2493901872","https://openalex.org/W2556634892","https://openalex.org/W2604520577","https://openalex.org/W2626356917","https://openalex.org/W2777662281","https://openalex.org/W2799226481","https://openalex.org/W2891057055","https://openalex.org/W2980018082","https://openalex.org/W3000452330","https://openalex.org/W3005402394","https://openalex.org/W3005566493","https://openalex.org/W3033818254","https://openalex.org/W4205577328","https://openalex.org/W4244726870","https://openalex.org/W4247889999","https://openalex.org/W4307731800","https://openalex.org/W4307888163","https://openalex.org/W4361805830","https://openalex.org/W4379537148","https://openalex.org/W4384155580","https://openalex.org/W4387667069","https://openalex.org/W4387885479","https://openalex.org/W4388483689","https://openalex.org/W4396214550","https://openalex.org/W4399850995","https://openalex.org/W4399851384","https://openalex.org/W4401328672","https://openalex.org/W4402442356","https://openalex.org/W6891852873","https://openalex.org/W6912869350","https://openalex.org/W6930055226","https://openalex.org/W6967079071","https://openalex.org/W7077500695"],"related_works":[],"abstract_inverted_index":{"Context-free":[0],"language":[1],"(CFL)":[2],"reachability":[3,42,93],"is":[4],"a":[5,87,118,135],"critical":[6],"framework":[7],"for":[8,45,51,95,131],"various":[9],"program":[10],"analyses,":[11],"widely":[12],"adopted":[13],"despite":[14],"its":[15],"computational":[16,126],"challenges":[17],"due":[18],"to":[19,28,64,90,105],"cubic":[20],"or":[21],"near-cubic":[22],"time":[23,127],"complexity.":[24],"This":[25,113],"often":[26],"leads":[27],"significant":[29],"performance":[30,67,155],"degradation":[31],"in":[32,36,80,110],"client":[33,147],"applications.":[34],"Notably,":[35],"real-world":[37],"scenarios,":[38],"clients":[39],"typically":[40],"require":[41],"information":[43],"only":[44],"specific":[46],"source-to-sink":[47],"pairs,":[48],"offering":[49],"opportunities":[50],"targeted":[52],"optimization.":[53],"We":[54],"introduce":[55],"MoYe,":[56],"an":[57],"effective":[58],"regularization-based":[59],"graph":[60,138],"simplification":[61,139],"technique":[62],"designed":[63],"enhance":[65],"the":[66,106,111],"of":[68,108],"client-driven":[69],"CFL-reachability":[70,132,146],"analyses":[71],"by":[72],"pruning":[73],"non-contributing":[74],"edges\u2014those":[75],"that":[76,122,150],"do":[77],"not":[78],"participate":[79],"any":[81],"specified":[82],"CFL-reachable":[83],"paths.":[84],"MoYe":[85,117,151],"employs":[86],"regular":[88],"approximation":[89],"ensure":[91],"exact":[92],"results":[94],"all":[96],"designated":[97],"node":[98],"pairs":[99],"and":[100,128,156],"operates":[101],"linearly":[102],"with":[103,143],"respect":[104],"number":[107],"edges":[109],"graph.":[112],"lightweight":[114],"efficiency":[115],"makes":[116],"valuable":[119],"pre-processing":[120],"step":[121],"substantially":[123,153],"reduces":[124],"both":[125],"memory":[129],"requirements":[130],"analysis,":[133],"outperforming":[134],"recent":[136],"leading":[137],"approach.":[140],"Our":[141],"evaluations":[142],"two":[144],"prominent":[145],"applications":[148],"demonstrate":[149],"can":[152],"improve":[154],"reduce":[157],"resource":[158],"consumption.":[159]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}