{"id":"https://openalex.org/W4402442356","doi":"https://doi.org/10.1145/3650212.3680346","title":"Better Not Together: Staged Solving for Context-Free Language Reachability","display_name":"Better Not Together: Staged Solving for Context-Free Language Reachability","publication_year":2024,"publication_date":"2024-09-11","ids":{"openalex":"https://openalex.org/W4402442356","doi":"https://doi.org/10.1145/3650212.3680346"},"language":"en","primary_location":{"id":"doi:10.1145/3650212.3680346","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3650212.3680346","pdf_url":null,"source":null,"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 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.1145/3650212.3680346","any_repository_has_fulltext":null},"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":["SKLP, Institute of Computing Technology, CAS, Beijing, China / University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS, Beijing, China / University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I4210165038"]}]},{"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":["SKLP, Institute of Computing Technology, CAS, Beijing, China"],"affiliations":[{"raw_affiliation_string":"SKLP, 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":["SKLP, Institute of Computing Technology, CAS, Beijing, China"],"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS, Beijing, China","institution_ids":["https://openalex.org/I4210090176"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100317802","display_name":"Lian Li","orcid":"https://orcid.org/0000-0002-4476-0541"},"institutions":[{"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"]},{"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":"Lian Li","raw_affiliation_strings":["SKLP, Institute of Computing Technology, CAS, Beijing, China / University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, CAS, Beijing, China / University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"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.9874,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.7832244,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1112","last_page":"1123"},"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.9997000098228455,"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.9997000098228455,"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.9988999962806702,"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/T10260","display_name":"Software Engineering Research","score":0.9980000257492065,"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/reachability","display_name":"Reachability","score":0.907585620880127},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7106918096542358},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6385291218757629},{"id":"https://openalex.org/keywords/context-free-language","display_name":"Context-free language","score":0.5546202659606934},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4666203260421753},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3180226981639862},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.23276013135910034},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.1193585991859436},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.08879172801971436}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.907585620880127},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7106918096542358},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6385291218757629},{"id":"https://openalex.org/C198838072","wikidata":"https://www.wikidata.org/wiki/Q729271","display_name":"Context-free language","level":3,"score":0.5546202659606934},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4666203260421753},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3180226981639862},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.23276013135910034},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.1193585991859436},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.08879172801971436},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3650212.3680346","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3650212.3680346","pdf_url":null,"source":null,"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 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3650212.3680346","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3650212.3680346","pdf_url":null,"source":null,"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 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.4699999988079071,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W1507552563","https://openalex.org/W1966032455","https://openalex.org/W1971782746","https://openalex.org/W1996567876","https://openalex.org/W1997981086","https://openalex.org/W2024779397","https://openalex.org/W2030166143","https://openalex.org/W2035260626","https://openalex.org/W2060439939","https://openalex.org/W2064982280","https://openalex.org/W2072385532","https://openalex.org/W2080573945","https://openalex.org/W2088140535","https://openalex.org/W2093080079","https://openalex.org/W2096587139","https://openalex.org/W2099540492","https://openalex.org/W2110833886","https://openalex.org/W2119137801","https://openalex.org/W2295857493","https://openalex.org/W2297774820","https://openalex.org/W2311687813","https://openalex.org/W2396234346","https://openalex.org/W2493901872","https://openalex.org/W2592184324","https://openalex.org/W2604520577","https://openalex.org/W2777662281","https://openalex.org/W2998965762","https://openalex.org/W3033818254","https://openalex.org/W4206031975","https://openalex.org/W4225793633","https://openalex.org/W4243644740","https://openalex.org/W4244726870","https://openalex.org/W4246166885","https://openalex.org/W4307731800","https://openalex.org/W4307888163","https://openalex.org/W4379537148","https://openalex.org/W4388483689","https://openalex.org/W6977301866"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W4321471459","https://openalex.org/W2772294324","https://openalex.org/W4253760428","https://openalex.org/W2047831585"],"abstract_inverted_index":{"Context-free":[0],"language":[1],"reachability":[2],"(CFL-reachability)":[3],"is":[4,16,48],"a":[5,20,39,55,64,79,115],"fundamental":[6],"formulation":[7],"for":[8,68,172,213],"program":[9,57],"analysis":[10,15,58,155,174,177],"with":[11,19,126],"many":[12],"applications.":[13],"CFL-reachability":[14,144],"computationally":[17],"expensive,":[18],"slightly":[21],"subcubic":[22,184],"time":[23],"complexity":[24,130],"concerning":[25],"the":[26,31,50,133,137,182,198],"number":[27],"of":[28,54,87,118,136,168,200],"nodes":[29],"in":[30,94,103],"input":[32,138],"graph.":[33,139],"This":[34],"paper":[35],"proposes":[36],"staged":[37,97,143,191],"solving:":[38],"new":[40],"perspective":[41],"on":[42,178],"solving":[43,88,98,192],"CFL-reachability.":[44],"Our":[45],"key":[46],"observation":[47],"that":[49,164,190],"context-free":[51],"grammar":[52],"(CFG)":[53],"CFL-based":[56],"can":[59,122,193],"be":[60,123],"decomposed":[61],"into":[62],"(1)":[63],"smaller":[65],"CFG,":[66],"L,":[67],"matching":[69],"parentheses,":[70],"such":[71],"as":[72],"procedure":[73],"calls/returns,":[74],"field":[75],"stores/loads,":[76],"and":[77,101,147,156,170,175,205,210],"(2)":[78],"regular":[80],"grammar,":[81],"R,":[82],"capturing":[83],"control/data":[84],"flows.":[85],"Instead":[86],"these":[89],"two":[90,104,151,201],"parts":[91],"monolithically":[92],"(as":[93],"standard":[95,183],"algorithms),":[96],"solves":[99],"L-reachability":[100],"R-reachability":[102,121],"distinct":[105],"stages.":[106],"In":[107],"practice,":[108],"L-reachability,":[109],"though":[110],"still":[111],"context-free,":[112],"involves":[113],"only":[114],"small":[116],"subset":[117],"edges,":[119],"while":[120],"computed":[124],"efficiently":[125],"close":[127],"to":[128,132,195],"quadratic":[129],"relative":[131],"node":[134],"size":[135],"We":[140],"implement":[141],"our":[142],"solver,":[145],"STG,":[146],"evaluate":[148],"it":[149],"using":[150],"clients:":[152],"context-sensitive":[153],"value-flow":[154,173,214],"field-sensitive":[157],"alias":[158,176],"analysis.":[159],"The":[160],"empirical":[161],"results":[162],"demonstrate":[163],"STG":[165],"achieves":[166],"speedups":[167],"861.59x":[169],"4.1x":[171],"average,":[179],"respectively,":[180],"over":[181],"algorithm.":[185],"Moreover,":[186],"we":[187],"also":[188],"showcase":[189],"help":[194],"significantly":[196],"improve":[197],"performance":[199],"state-of-the-art":[202],"solvers,":[203],"POCR":[204],"PEARL,":[206],"by":[207],"74.82x":[208],"(1.78x)":[209],"37.66x":[211],"(1.7x)":[212],"(alias)":[215],"analysis,":[216],"respectively.":[217]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}