{"id":"https://openalex.org/W4406222188","doi":"https://doi.org/10.1145/3704854","title":"Program Analysis via Multiple Context Free Language Reachability","display_name":"Program Analysis via Multiple Context Free Language Reachability","publication_year":2025,"publication_date":"2025-01-07","ids":{"openalex":"https://openalex.org/W4406222188","doi":"https://doi.org/10.1145/3704854"},"language":"en","primary_location":{"id":"doi:10.1145/3704854","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704854","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/3704854","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056272945","display_name":"Giovanna Kobus Conrado","orcid":"https://orcid.org/0000-0001-9474-6505"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Giovanna Kobus Conrado","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0001-9474-6505","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078541668","display_name":"Adam Husted Kjelstr\u00f8m","orcid":"https://orcid.org/0000-0002-1275-9933"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Adam Husted Kjelstr\u00f8m","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-1275-9933","affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012697499","display_name":"Jaco van de Pol","orcid":"https://orcid.org/0000-0003-4305-0625"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Jaco van de Pol","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"raw_orcid":"https://orcid.org/0000-0003-4305-0625","affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022252401","display_name":"Andreas Pavlogiannis","orcid":"https://orcid.org/0000-0002-8943-0722"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Andreas Pavlogiannis","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-8943-0722","affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0028,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.73935983,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":97},"biblio":{"volume":"9","issue":"POPL","first_page":"509","last_page":"538"},"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.9994999766349792,"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.9994999766349792,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9975000023841858,"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/T10142","display_name":"Formal Methods in Verification","score":0.9925000071525574,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8690166473388672},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6650441884994507},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5799840688705444},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4685816466808319},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.24562466144561768},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.1040031909942627}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8690166473388672},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6650441884994507},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5799840688705444},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4685816466808319},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24562466144561768},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.1040031909942627},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3704854","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704854","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"},{"id":"pmh:oai:pure.atira.dk:openaire/adda34b0-4bfc-45fa-ad7a-7b7f0f228ae4","is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/adda34b0-4bfc-45fa-ad7a-7b7f0f228ae4","pdf_url":"https://pure.au.dk/ws/files/470326052/Program_Analysis_via_Multiple_Context_Free_Language_Reachability.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Conrado, G K, Kjelstr\u00f8m, A H, Van De Pol, J & Pavlogiannis, A 2025, 'Program Analysis via Multiple Context Free Language Reachability', Proceedings of the ACM on Programming Languages , vol. 9, 18. https://doi.org/10.1145/3704854","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-147623","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-147623","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1145/3704854","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704854","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/G8932987692","display_name":null,"funder_award_id":"VIL4211","funder_id":"https://openalex.org/F4320310490","funder_display_name":"Villum Fonden"}],"funders":[{"id":"https://openalex.org/F4320310490","display_name":"Villum Fonden","ror":"https://ror.org/007ww2d15"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W170821114","https://openalex.org/W1493367105","https://openalex.org/W1507046749","https://openalex.org/W1557543533","https://openalex.org/W1997981086","https://openalex.org/W2008626182","https://openalex.org/W2020396134","https://openalex.org/W2030166143","https://openalex.org/W2031507118","https://openalex.org/W2077007047","https://openalex.org/W2080573945","https://openalex.org/W2084732238","https://openalex.org/W2089385274","https://openalex.org/W2094716892","https://openalex.org/W2100532597","https://openalex.org/W2105285801","https://openalex.org/W2107398710","https://openalex.org/W2119137801","https://openalex.org/W2121924470","https://openalex.org/W2134875273","https://openalex.org/W2151670874","https://openalex.org/W2165546792","https://openalex.org/W2276682279","https://openalex.org/W2331409830","https://openalex.org/W2582151179","https://openalex.org/W2596236679","https://openalex.org/W2777662281","https://openalex.org/W2892948282","https://openalex.org/W2900044545","https://openalex.org/W2965450052","https://openalex.org/W2972926935","https://openalex.org/W2980018082","https://openalex.org/W2989189770","https://openalex.org/W2997088857","https://openalex.org/W3009945260","https://openalex.org/W3033694951","https://openalex.org/W3107612736","https://openalex.org/W3117677213","https://openalex.org/W3126200532","https://openalex.org/W3158908103","https://openalex.org/W4205381966","https://openalex.org/W4206770190","https://openalex.org/W4225134668","https://openalex.org/W4243644740","https://openalex.org/W4315605893","https://openalex.org/W4315606093","https://openalex.org/W4319310895","https://openalex.org/W4387885479","https://openalex.org/W4399850689","https://openalex.org/W6893000605"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2143461633","https://openalex.org/W2150194458","https://openalex.org/W4321471459"],"abstract_inverted_index":{"Context-free":[0],"language":[1,29],"(CFL)":[2],"reachability":[3,30,69,91,141,179,250],"is":[4,16,25],"a":[5,18,28,33,37,114,118,144,153,197,235,256],"standard":[6],"approach":[7],"in":[8,63],"static":[9,80,99,157],"analyses,":[10],"where":[11],"the":[12,44,52,64,67,137,161,186,230,244,264],"analysis":[13,49,133,158],"question":[14,168],"(e.g.,":[15],"there":[17,74],"dataflow":[19],"from":[20],"x":[21],"to":[22,170],"y":[23],"?)":[24],"phrased":[26],"as":[27,92],"problem":[31,70,187,233],"on":[32,196,243,263],"graph":[34,198],"G":[35],"wrt":[36],"CFL":[38],"L":[39],".":[40,121,219],"However,":[41],"CFLs":[42],"lack":[43],"expressiveness":[45,163],"needed":[46],"for":[47,57,79,98,251,271],"high":[48],"precision.":[50,134],"On":[51],"other":[53],"hand,":[54],"common":[55,154],"formalisms":[56],"context-sensitive":[58,76],"languages":[59,111],"are":[60],"too":[61],"expressive,":[62],"sense":[65],"that":[66,148,185,223],"corresponding":[68],"becomes":[71],"undecidable.":[72],"Are":[73],"useful":[75],"language-reachability":[77],"models":[78],"analysis?":[81],"In":[82],"this":[83],"paper,":[84],"we":[85,221],"introduce":[86],"Multiple":[87],"Context-Free":[88],"Language":[89],"(MCFL)":[90],"an":[93,104],"expressive":[94,129],"yet":[95],"tractable":[96],"model":[97],"program":[100],"analysis.":[101],"MCFLs":[102,147],"form":[103],"infinite":[105],"hierarchy":[106],"of":[107,139,146,164,199,238,259],"mildly":[108],"context":[109],"sensitive":[110],"parameterized":[112],"by":[113,142],"dimension":[115],"d":[116,123,192,210,241,252],"and":[117,124,207],"rank":[119],"r":[120,125,203,211,216,225],"Larger":[122],"yield":[126],"progressively":[127],"more":[128],"MCFLs,":[130,165],"offering":[131],"tunable":[132],"We":[135,183],"showcase":[136],"utility":[138],"MCFL":[140,178],"developing":[143],"family":[145],"approximate":[149],"interleaved":[150],"Dyck":[151],"reachability,":[152],"but":[155],"undecidable":[156],"problem.":[159],"Given":[160],"increased":[162],"one":[166],"natural":[167],"pertains":[169],"their":[171],"algorithmic":[172],"complexity,":[173],"i.e.,":[174],"how":[175],"fast":[176],"can":[177],"be":[180],"computed":[181],"?":[182],"show":[184,222],"takes":[188],"O":[189,208],"n":[190,200,209,239,260],"2":[191,240],"+":[193,212],"1":[194,205,213,218,227,254],"time":[195,214],"nodes":[201],"when":[202,215,224],"=":[204,226,253],",":[206,228],">":[217],"Moreover,":[220],"even":[229],"simpler":[231],"membership":[232],"has":[234,255],"lower":[236,257],"bound":[237,258],"based":[242,262],"Strong":[245],"Exponential":[246],"Time":[247],"Hypothesis,":[248],"while":[249],"3":[261],"combinatorial":[265],"Boolean":[266],"Matrix":[267],"Multiplication":[268],"Hypothesis.":[269],"Thus,":[270]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}