{"id":"https://openalex.org/W4307888163","doi":"https://doi.org/10.1145/3563339","title":"Indexing the extended Dyck-CFL reachability for context-sensitive program analysis","display_name":"Indexing the extended Dyck-CFL reachability for context-sensitive program analysis","publication_year":2022,"publication_date":"2022-10-31","ids":{"openalex":"https://openalex.org/W4307888163","doi":"https://doi.org/10.1145/3563339"},"language":"en","primary_location":{"id":"doi:10.1145/3563339","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3563339","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3563339","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://dl.acm.org/doi/pdf/10.1145/3563339","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034844386","display_name":"Qingkai Shi","orcid":"https://orcid.org/0000-0002-8297-8998"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Qingkai Shi","raw_affiliation_strings":["Ant Group, China"],"raw_orcid":"https://orcid.org/0000-0002-8297-8998","affiliations":[{"raw_affiliation_string":"Ant Group, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025500156","display_name":"Yongchao Wang","orcid":"https://orcid.org/0000-0003-0218-8935"},"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":"Yongchao Wang","raw_affiliation_strings":["Hong Kong University of Science and Technology, China"],"raw_orcid":"https://orcid.org/0000-0003-0218-8935","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045907091","display_name":"Peisen Yao","orcid":"https://orcid.org/0000-0003-0342-9518"},"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":"Peisen Yao","raw_affiliation_strings":["Hong Kong University of Science and Technology, China"],"raw_orcid":"https://orcid.org/0000-0003-0342-9518","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101490553","display_name":"Charles Zhang","orcid":"https://orcid.org/0000-0001-6417-1034"},"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":"Charles Zhang","raw_affiliation_strings":["Hong Kong University of Science and Technology, China"],"raw_orcid":"https://orcid.org/0000-0001-6417-1034","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, China","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5034844386"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.4901,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.89183359,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"6","issue":"OOPSLA2","first_page":"1438","last_page":"1468"},"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.9988999962806702,"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.9988999962806702,"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.9983999729156494,"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.9958000183105469,"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.8693437576293945},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7549521923065186},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.6394687294960022},{"id":"https://openalex.org/keywords/search-engine-indexing","display_name":"Search engine indexing","score":0.6195463538169861},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.607871413230896},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.554781436920166},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5413784980773926},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4425666332244873},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.41184481978416443},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36571037769317627},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0777055025100708}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8693437576293945},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7549521923065186},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.6394687294960022},{"id":"https://openalex.org/C75165309","wikidata":"https://www.wikidata.org/wiki/Q2258979","display_name":"Search engine indexing","level":2,"score":0.6195463538169861},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.607871413230896},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.554781436920166},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5413784980773926},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4425666332244873},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.41184481978416443},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36571037769317627},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0777055025100708},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3563339","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3563339","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3563339","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:repository.hkust.edu.hk:1783.1-125761","is_oa":false,"landing_page_url":"http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=&rft.volume=&rft.issue=&rft.date=2022&rft.spage=&rft.aulast=Shi&rft.aufirst=Qingkai&rft.atitle=Indexing+the+Extended+Dyck-CFL+Reachability+for+Context-Sensitive+Program+Analysis%2C&rft.title=","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/3563339","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3563339","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3563339","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":[{"id":"https://metadata.un.org/sdg/17","score":0.4399999976158142,"display_name":"Partnerships for the goals"}],"awards":[{"id":"https://openalex.org/G5074566444","display_name":null,"funder_award_id":"PRP/004/21FX","funder_id":"https://openalex.org/F4320318398","funder_display_name":"Ant Group"}],"funders":[{"id":"https://openalex.org/F4320309036","display_name":"Purdue University","ror":"https://ror.org/02dqehb95"},{"id":"https://openalex.org/F4320318398","display_name":"Ant Group","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4307888163.pdf","grobid_xml":"https://content.openalex.org/works/W4307888163.grobid-xml"},"referenced_works_count":83,"referenced_works":["https://openalex.org/W1421378112","https://openalex.org/W1534545952","https://openalex.org/W1829276407","https://openalex.org/W1968401677","https://openalex.org/W1968748479","https://openalex.org/W1968895412","https://openalex.org/W1970961429","https://openalex.org/W1971782746","https://openalex.org/W1971859150","https://openalex.org/W1971864278","https://openalex.org/W1977497904","https://openalex.org/W1981904441","https://openalex.org/W1985495277","https://openalex.org/W1987480024","https://openalex.org/W1987634495","https://openalex.org/W1991546210","https://openalex.org/W1992114977","https://openalex.org/W1994924587","https://openalex.org/W1996936086","https://openalex.org/W1997981086","https://openalex.org/W2018141726","https://openalex.org/W2024779397","https://openalex.org/W2026794345","https://openalex.org/W2030166143","https://openalex.org/W2035260626","https://openalex.org/W2038073775","https://openalex.org/W2051527230","https://openalex.org/W2059355721","https://openalex.org/W2060439939","https://openalex.org/W2064982280","https://openalex.org/W2072385532","https://openalex.org/W2078331965","https://openalex.org/W2079225421","https://openalex.org/W2079752311","https://openalex.org/W2080205938","https://openalex.org/W2080573945","https://openalex.org/W2088140535","https://openalex.org/W2089522440","https://openalex.org/W2093080079","https://openalex.org/W2097490969","https://openalex.org/W2100132188","https://openalex.org/W2102563702","https://openalex.org/W2110833886","https://openalex.org/W2110920860","https://openalex.org/W2112936713","https://openalex.org/W2118382442","https://openalex.org/W2119137801","https://openalex.org/W2122362506","https://openalex.org/W2135565307","https://openalex.org/W2135577024","https://openalex.org/W2140495200","https://openalex.org/W2141938776","https://openalex.org/W2142774324","https://openalex.org/W2144344516","https://openalex.org/W2151033407","https://openalex.org/W2151670874","https://openalex.org/W2154713079","https://openalex.org/W2160401437","https://openalex.org/W2161694911","https://openalex.org/W2166743230","https://openalex.org/W2169304846","https://openalex.org/W2297774820","https://openalex.org/W2421052367","https://openalex.org/W2561266941","https://openalex.org/W2604520577","https://openalex.org/W2613189058","https://openalex.org/W2613786374","https://openalex.org/W2777662281","https://openalex.org/W2798968632","https://openalex.org/W2799226481","https://openalex.org/W2887223333","https://openalex.org/W2891057055","https://openalex.org/W2900044545","https://openalex.org/W2930019028","https://openalex.org/W3012069577","https://openalex.org/W3033818254","https://openalex.org/W3107612736","https://openalex.org/W3117114237","https://openalex.org/W3213041887","https://openalex.org/W4211226603","https://openalex.org/W4235523389","https://openalex.org/W4251697482","https://openalex.org/W4254341117"],"related_works":["https://openalex.org/W3120511008","https://openalex.org/W1800827217","https://openalex.org/W2787123372","https://openalex.org/W2047588290","https://openalex.org/W2499279132","https://openalex.org/W1989364947","https://openalex.org/W2950720137","https://openalex.org/W1509211761","https://openalex.org/W194688272","https://openalex.org/W2073056184"],"abstract_inverted_index":{"Many":[0],"context-sensitive":[1,112,133],"dataflow":[2,113,134],"analyses":[3],"can":[4,157],"be":[5],"formulated":[6],"as":[7,20],"an":[8],"extended":[9,36,75],"Dyck-CFL":[10,31,76],"reachability":[11,32,77,99,108],"problem,":[12,33],"where":[13],"function":[14],"calls":[15],"and":[16,44,86,141],"returns":[17],"are":[18],"modeled":[19],"partially":[21],"matched":[22],"parentheses.":[23],"Unfortunately,":[24],"despite":[25],"many":[26],"works":[27],"on":[28],"the":[29,35,51,59,63,74,142,171],"standard":[30],"solving":[34],"version":[37],"is":[38,181],"still":[39],"of":[40,53,65,160,173],"quadratic":[41],"space":[42,177],"complexity":[43],"nearly":[45],"cubic":[46],"time":[47,61,118],"complexity,":[48],"significantly":[49],"limiting":[50],"scalability":[52],"program":[54],"analyses.":[55],"This":[56,89],"paper,":[57],"for":[58],"first":[60],"to":[62,72,79,93,105,152,165],"best":[64],"our":[66,128],"knowledge,":[67],"presents":[68],"a":[69,83,111,121,175],"cheap":[70],"approach":[71,129],"transforming":[73],"problem":[78],"conventional":[80],"graph":[81],"reachability,":[82],"much":[84],"easier":[85],"well-studied":[87],"problem.":[88],"transformation":[90],"allows":[91],"us":[92],"benefit":[94],"from":[95],"recent":[96],"advances":[97],"in":[98,110,130],"indexing":[100],"schemes,":[101],"making":[102],"it":[103],"possible":[104],"answer":[106],"any":[107],"query":[109],"analysis":[114],"within":[115],"almost":[116],"constant":[117],"plus":[119],"only":[120,174],"few":[122],"extra":[123],"spaces.":[124],"We":[125],"have":[126],"implemented":[127],"two":[131],"common":[132],"analyses,":[135,155],"one":[136],"determines":[137],"pointer":[138],"alias":[139],"relations":[140],"other":[143],"tracks":[144],"information":[145],"flows.":[146],"Experimental":[147],"results":[148],"demonstrate":[149],"that,":[150],"compared":[151],"their":[153],"original":[154],"we":[156],"achieve":[158],"orders":[159],"magnitude":[161],"(10":[162],"2":[163],"\u00d7":[164],"10":[166],"5":[167],"\u00d7)":[168],"speedup":[169],"at":[170],"cost":[172],"moderate":[176],"overhead.":[178],"Our":[179],"implementation":[180],"publicly":[182],"available.":[183]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}