{"id":"https://openalex.org/W4396214550","doi":"https://doi.org/10.1145/3649862","title":"Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability","display_name":"Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability","publication_year":2024,"publication_date":"2024-04-29","ids":{"openalex":"https://openalex.org/W4396214550","doi":"https://doi.org/10.1145/3649862"},"language":"en","primary_location":{"id":"doi:10.1145/3649862","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649862","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3649862","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-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-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/3649862","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102888855","display_name":"Pei Xu","orcid":"https://orcid.org/0009-0002-8766-3714"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"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":"Pei Xu","raw_affiliation_strings":["University of Technology Sydney, Sydney, Australia / University of New South Wales, Sydney, Australia"],"raw_orcid":"https://orcid.org/0009-0002-8766-3714","affiliations":[{"raw_affiliation_string":"University of Technology Sydney, Sydney, Australia / University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I114017466","https://openalex.org/I31746571"]}]},{"author_position":"middle","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/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/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":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5557,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.69356109,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"8","issue":"OOPSLA1","first_page":"1437","last_page":"1462"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.994700014591217,"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.994700014591217,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9908000230789185,"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/T12031","display_name":"Speech and dialogue systems","score":0.9876999855041504,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8667424917221069},{"id":"https://openalex.org/keywords/epoch","display_name":"Epoch (astronomy)","score":0.6810513734817505},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6578065752983093},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6036603450775146},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.24631589651107788},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.10013961791992188},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.06768003106117249}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8667424917221069},{"id":"https://openalex.org/C2780317896","wikidata":"https://www.wikidata.org/wiki/Q2703","display_name":"Epoch (astronomy)","level":3,"score":0.6810513734817505},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6578065752983093},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6036603450775146},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.24631589651107788},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.10013961791992188},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.06768003106117249},{"id":"https://openalex.org/C150846664","wikidata":"https://www.wikidata.org/wiki/Q7602306","display_name":"Stars","level":2,"score":0.0},{"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/3649862","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649862","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3649862","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-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-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/3649862","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649862","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3649862","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-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-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":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4396214550.pdf"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W1829276407","https://openalex.org/W1966032455","https://openalex.org/W1981904441","https://openalex.org/W2030166143","https://openalex.org/W2044735058","https://openalex.org/W2072385532","https://openalex.org/W2080573945","https://openalex.org/W2084063516","https://openalex.org/W2084816051","https://openalex.org/W2094716892","https://openalex.org/W2096587139","https://openalex.org/W2117948828","https://openalex.org/W2118382442","https://openalex.org/W2145911832","https://openalex.org/W2148755014","https://openalex.org/W2158487182","https://openalex.org/W2582132278","https://openalex.org/W2997088857","https://openalex.org/W3005402394","https://openalex.org/W3005566493","https://openalex.org/W3013983845","https://openalex.org/W3033694951","https://openalex.org/W3095860260","https://openalex.org/W3126200532","https://openalex.org/W3163858947","https://openalex.org/W4225793633","https://openalex.org/W4234849644","https://openalex.org/W4237417046","https://openalex.org/W4288098233","https://openalex.org/W4307731800","https://openalex.org/W4379537148"],"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,25,66,177,187],"(CFL-reachability)":[3],"is":[4,68,98,159,202,253],"a":[5,37,99,138,186,190,203,231],"fundamental":[6],"framework":[7,238,252],"for":[8,78,118,239,279,285,311,338],"implementing":[9],"various":[10],"static":[11],"analyses.":[12],"CFL-reachability":[13,35,79,89,95,130,248],"utilizes":[14],"context-free":[15,154,232],"grammar":[16,170,233],"(CFG)":[17],"to":[18,30,43,124,143,189,196,208,225],"extend":[19],"the":[20,44,60,65,73,82,87,126,148,152,169,172,180,184,227,244,258,263,304,331],"expressiveness":[21],"of":[22,72,102,129,165,174,176,246,321,348],"ordinary":[23],"graph":[24,29,45,61,75,127,149],"from":[26,206],"an":[27,31,54,223,236],"unlabeled":[28],"edge-labeled":[32],"graph.":[33,181],"Solving":[34],"requires":[36],"(sub)cubic":[38],"time":[39],"complexity":[40],"with":[41,162,256,318,345],"respect":[42],"size,":[46],"which":[47],"limits":[48],"its":[49],"scalability":[50],"in":[51,93,147,168,179,183,230],"practice.":[52],"Thus,":[53],"approach":[55,142,224],"that":[56,107,160],"can":[57,108,193,268,328],"effectively":[58],"reduce":[59,125],"size":[62,128],"while":[63],"maintaining":[64],"result":[67],"highly":[69],"desirable.":[70],"Most":[71],"existing":[74],"simplification":[76],"techniques":[77],"work":[80],"during":[81,112],"preprocessing":[83],"stage,":[84],"i.e.,":[85],"before":[86],"dynamic":[88,113],"solving":[90],"process.":[91],"However,":[92],"real-world":[94],"analyses,":[96],"there":[97,201],"large":[100],"number":[101],"reducible":[103],"nodes":[104],"and":[105,210,234,262,267,281,309,314,323,336,341,350],"edges":[106],"only":[109],"be":[110,194],"discovered":[111],"solving,":[114,249],"leaving":[115],"significant":[116],"room":[117],"on-the-fly":[119],"improvements.":[120],"This":[121],"paper":[122],"aims":[123],"dynamically":[131],"via":[132],"online":[133,240],"cycle":[134,241,294],"elimination.":[135,242],"We":[136],"propose":[137,235],"simple":[139],"yet":[140],"effective":[141],"detect":[144],"collapsible":[145],"cycles":[146,211,299],"based":[150],"on":[151,275],"input":[153],"grammar.":[155],"Our":[156,273],"key":[157],"insight":[158],"symbols":[161,229],"particular":[163],"forms":[164],"production":[166],"rules":[167],"are":[171,216],"essence":[173],"transitivity":[175],"relations":[178,215],"Specifically,":[182],"graph,":[185],"relation":[188,205],"node":[191,198],"v_i":[192,207],"\"transited\"":[195],"another":[197],"v_j":[199],"if":[200],"transitive":[204,214,228],"v_j,":[209],"formed":[212],"by":[213,291,307,334],"collapsible.":[217],"In":[218],"this":[219],"paper,":[220],"we":[221],"present":[222],"identify":[226],"iterative-epoch":[237,251,293],"From":[243],"perspective":[245],"non-parallelized":[247],"our":[250,292,301,326],"well":[254],"compatible":[255],"both":[257],"standard":[259,305],"(unordered)":[260],"solver":[261,306,333],"recent":[264],"ordered":[265,332],"solver,":[266],"significantly":[269],"improve":[270],"their":[271],"performance.":[272],"experiment":[274],"context-sensitive":[276],"value-flow":[277,312,339],"analysis":[278,284,313,340],"C/C++":[280],"field-sensitive":[282],"alias":[283,315,342],"Java":[286],"demonstrates":[287],"promising":[288],"performance":[289],"improvement":[290],"elimination":[295],"technique.":[296],"By":[297],"collapsing":[298],"online,":[300],"technique":[302,327],"accelerates":[303],"17.17\u00d7":[308],"13.94\u00d7":[310],"analysis,":[316,343],"respectively,":[317,344],"memory":[319,346],"reductions":[320,347],"48.8%":[322],"45.0%.":[324],"Besides,":[325],"also":[329],"accelerate":[330],"14.32\u00d7":[335],"8.36\u00d7":[337],"55.2%":[349],"57.8%.":[351]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}