{"id":"https://openalex.org/W4399850995","doi":"https://doi.org/10.1145/3656451","title":"Context-Free Language Reachability via Skewed Tabulation","display_name":"Context-Free Language Reachability via Skewed Tabulation","publication_year":2024,"publication_date":"2024-06-20","ids":{"openalex":"https://openalex.org/W4399850995","doi":"https://doi.org/10.1145/3656451"},"language":"en","primary_location":{"id":"doi:10.1145/3656451","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656451","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656451","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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","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/3656451","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082964108","display_name":"Yuxiang Lei","orcid":"https://orcid.org/0000-0002-4484-8172"},"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":"Yuxiang Lei","raw_affiliation_strings":["University of New South Wales, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0002-4484-8172","affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5099292263","display_name":"Camille Bossut","orcid":"https://orcid.org/0009-0002-9659-7990"},"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":"Camille Bossut","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, USA"],"raw_orcid":"https://orcid.org/0009-0002-9659-7990","affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053058502","display_name":"Yulei Sui","orcid":"https://orcid.org/0000-0002-9510-6574"},"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":"Yulei Sui","raw_affiliation_strings":["University of New South Wales, Sydney, Australia"],"raw_orcid":"https://orcid.org/0000-0002-9510-6574","affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"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":0.9581,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.78670413,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"8","issue":"PLDI","first_page":"1830","last_page":"1853"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9991999864578247,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9954000115394592,"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/T12016","display_name":"Web Data Mining and Analysis","score":0.9934999942779541,"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.8010144233703613},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6229491233825684},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5479646921157837},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36417627334594727},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3206147849559784},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.18971088528633118},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.10462316870689392}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8010144233703613},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6229491233825684},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5479646921157837},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36417627334594727},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3206147849559784},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.18971088528633118},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.10462316870689392},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3656451","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656451","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656451","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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","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/3656451","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656451","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656451","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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","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/G1643666990","display_name":null,"funder_award_id":"N66001- 21-C-4024","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G2182450290","display_name":null,"funder_award_id":"2114627 and 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/F4320309327","display_name":"Google","ror":"https://ror.org/00njsd438"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399850995.pdf"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W384271502","https://openalex.org/W1559507652","https://openalex.org/W1570025952","https://openalex.org/W1671718115","https://openalex.org/W1846157972","https://openalex.org/W1970961429","https://openalex.org/W1971782746","https://openalex.org/W1997189447","https://openalex.org/W2024779397","https://openalex.org/W2030166143","https://openalex.org/W2035260626","https://openalex.org/W2040019628","https://openalex.org/W2060439939","https://openalex.org/W2063554457","https://openalex.org/W2064982280","https://openalex.org/W2070553391","https://openalex.org/W2072385532","https://openalex.org/W2079752311","https://openalex.org/W2080573945","https://openalex.org/W2093080079","https://openalex.org/W2096587139","https://openalex.org/W2118382442","https://openalex.org/W2135565307","https://openalex.org/W2151562310","https://openalex.org/W2156881251","https://openalex.org/W2164104198","https://openalex.org/W2297774820","https://openalex.org/W2299299451","https://openalex.org/W2561266941","https://openalex.org/W2604520577","https://openalex.org/W2777662281","https://openalex.org/W2989189770","https://openalex.org/W2998965762","https://openalex.org/W3033818254","https://openalex.org/W3107612736","https://openalex.org/W3189632290","https://openalex.org/W4247889999","https://openalex.org/W4307731800","https://openalex.org/W4319310895","https://openalex.org/W4388483689","https://openalex.org/W6638799623","https://openalex.org/W6643225066","https://openalex.org/W6657879031","https://openalex.org/W6665612808","https://openalex.org/W6697884674","https://openalex.org/W6912869350","https://openalex.org/W6948989876"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","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/W2889071233"],"abstract_inverted_index":{"Context-free":[0],"language":[1],"reachability":[2,337],"(CFL-reachability)":[3],"is":[4,34,147,403],"a":[5,43,61,104,122,176,184,191,212,234,343,347],"prominent":[6],"model":[7],"for":[8,40,126,309,400],"formulating":[9],"program":[10],"analysis":[11],"problems.":[12],"Almost":[13],"all":[14,77],"CFL-reachability":[15,62,129,179,319,366,383],"algorithms":[16],"are":[17,100],"based":[18,29,88,353,367,382],"on":[19,30,89,140,207,354,368],"the":[20,26,37,70,90,116,149,164,171,208,252,272,287,290,295,316,334,362,379,395],"Reps-Horwitz-Sagiv":[21],"(RHS)":[22],"tabulation.":[23],"In":[24],"essence,":[25],"RHS":[27,74],"tabulation,":[28],"normalized":[31,44],"context-free":[32],"grammars,":[33],"similar":[35],"to":[36,111,271,339],"CYK":[38],"algorithm":[39,338],"CFL-parsing.":[41],"Consider":[42],"rule":[45,192,213,236,255,273],"<mml:math":[46,193,214,237,257,274],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[47,194,215,238,258,275],"display=\"inline\">":[48,195,216,239,259,276],"<mml:mrow>":[49,196,217,240,260,277],"<mml:mi>S</mml:mi>":[50,218,241,245,278,282],"<mml:mo>:</mml:mo>":[51,52,198,199,219,220,242,243,262,263,279,280],"<mml:mo>=</mml:mo>":[53,200,221,244,264,281],"<mml:mi>A</mml:mi>":[54,222],"<mml:mo>":[55],"</mml:mo>":[56],"<mml:mi>B</mml:mi>":[57,197,201,223,261,265],"</mml:mrow>":[58,203,224,247,267,284],"</mml:math>":[59,204,225,248,268,285],"and":[60,85,97,133,153,250,323,332,346,375,385,389],"problem":[63],"instance":[64],"of":[65,106,211,289,318,397],"computing":[66],"S":[67,82,113,230,298],"-edges":[68,99,114],"in":[69,115],"input":[71,117],"graph.":[72,118],"The":[73],"tabulation":[75,124,308,312,331,370,402],"obtains":[76],"summary":[78,135,325],"edges":[79,108],"(":[80,256],"i.e.,":[81],"-,":[83],"A-,":[84],"B":[86,98,187],"-edges)":[87],"grammar":[91,398],"rules.":[92],"However,":[93],"many":[94],"A":[95],"-":[96],"wasted":[101,132,150,322],"because":[102],"only":[103],"subset":[105],"those":[107],"eventually":[109],"contributes":[110],"generating":[112],"This":[119],"paper":[120],"proposes":[121],"new":[123,235],"strategy":[125],"speeding":[127],"up":[128],"by":[130,156,162,190,320],"eliminating":[131],"unnecessary":[134,324],"edges.":[136,326],"We":[137,327],"particularly":[138],"focus":[139],"recursive":[141,157,185,231,254],"nonterminals.":[142],"Our":[143,350],"key":[144],"technical":[145],"insight":[146],"that":[148],"edge":[151],"generations":[152],"insertions":[154],"caused":[155],"nonterminals":[158],"can":[159,228,313,371],"be":[160],"avoided":[161],"modifying":[163],"parse":[165,291],"trees":[166,292],"either":[167],"statically":[168],"(by":[169,232],"transforming":[170],"grammar)":[172],"or":[173],"dynamically":[174],"(using":[175],"specialized":[177],"online":[178],"solver).":[180],"For":[181,361],"example,":[182],"if":[183],"nonterminal":[186,297],",":[188,205,226,286],"generated":[189],"<mml:mi>X</mml:mi>":[202,246,266,283],"appears":[206],"right-hand":[209],"side":[210],"we":[227,303],"make":[229],"introducing":[233],")":[249],"eliminate":[251],"original":[253],").":[269],"Due":[270],"shapes":[288],"associated":[293],"with":[294],"left-hand-side":[296],"become":[299],"more":[300],"\u201cskewed\u201d.":[301],"Thus,":[302],"name":[304],"our":[305],"approach":[306],"skewed":[307,330,369,401],"CFL-reachability.":[310],"Skewed":[311],"significantly":[314],"improve":[315],"scalability":[317],"reducing":[321],"have":[328],"implemented":[329],"applied":[333],"corresponding":[335],"CFL-":[336],"an":[340],"alias":[341],"analysis,":[342,345],"value-flow":[344],"taint":[348],"analysis.":[349],"extensive":[351],"evaluation":[352],"SPEC":[355],"2017":[356],"benchmarks":[357],"yields":[358],"promising":[359],"results.":[360],"three":[363],"client":[364],"analyses,":[365],"achieve":[372],"3.34\u00d7,":[373],"1.13\u00d7":[374],"2.05\u00d7":[376],"speedup":[377],"over":[378],"state-of-the-art":[380],"RHS-tabulation-":[381],"solver":[384],"consume":[386],"60.05%,":[387],"20.38%":[388],"63.06%":[390],"less":[391,407],"memory,":[392],"respectively.":[393],"Furthermore,":[394],"cost":[396],"transformation":[399],"negligible,":[404],"typically":[405],"taking":[406],"than":[408],"one":[409],"second.":[410]},"counts_by_year":[{"year":2025,"cited_by_count":4}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}