{"id":"https://openalex.org/W4390604707","doi":"https://doi.org/10.1145/3632884","title":"On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability","display_name":"On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability","publication_year":2024,"publication_date":"2024-01-02","ids":{"openalex":"https://openalex.org/W4390604707","doi":"https://doi.org/10.1145/3632884"},"language":"lv","primary_location":{"id":"doi:10.1145/3632884","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632884","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632884","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/3632884","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101833503","display_name":"Shankara Narayanan Krishna","orcid":"https://orcid.org/0000-0003-0925-398X"},"institutions":[{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Shankaranarayanan Krishna","raw_affiliation_strings":["IIT Bombay, Mumbai, India"],"raw_orcid":"https://orcid.org/0000-0003-0925-398X","affiliations":[{"raw_affiliation_string":"IIT Bombay, Mumbai, India","institution_ids":["https://openalex.org/I162827531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081915972","display_name":"A. K. Lal","orcid":"https://orcid.org/0009-0007-2581-2856"},"institutions":[{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Aniket Lal","raw_affiliation_strings":["IIT Bombay, Mumbai, India"],"raw_orcid":"https://orcid.org/0009-0007-2581-2856","affiliations":[{"raw_affiliation_string":"IIT Bombay, Mumbai, India","institution_ids":["https://openalex.org/I162827531"]}]},{"author_position":"middle","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"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078663147","display_name":"Omkar Tuppe","orcid":"https://orcid.org/0009-0004-1197-5556"},"institutions":[{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Omkar Tuppe","raw_affiliation_strings":["IIT Bombay, Mumbai, India"],"raw_orcid":"https://orcid.org/0009-0004-1197-5556","affiliations":[{"raw_affiliation_string":"IIT Bombay, Mumbai, India","institution_ids":["https://openalex.org/I162827531"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101833503"],"corresponding_institution_ids":["https://openalex.org/I162827531"],"apc_list":null,"apc_paid":null,"fwci":2.1941,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.87490712,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"8","issue":"POPL","first_page":"1239","last_page":"1268"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9923999905586243,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9923999905586243,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9911999702453613,"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/T12810","display_name":"Real-time simulation and control systems","score":0.979200005531311,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8369883298873901},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4325759708881378},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1591767966747284}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8369883298873901},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4325759708881378},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1591767966747284}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3632884","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632884","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632884","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:publications/9fa9c9b1-b1f4-46e0-b520-e383a7dd9520","is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/9fa9c9b1-b1f4-46e0-b520-e383a7dd9520","pdf_url":"https://pure.au.dk/ws/files/451741576/3632884.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":"Krishna, S, Lal, A, Pavlogiannis, A & Tuppe, O 2024, 'On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability', Proceedings of the ACM on Programming Languages , vol. 8, no. POPL, pp. 1239-1268. https://doi.org/10.1145/3632884","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1145/3632884","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632884","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632884","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/G4834617424","display_name":null,"funder_award_id":"VIL42117","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"},{"id":"https://openalex.org/F4320334771","display_name":"Science and Engineering Research Board","ror":"https://ror.org/03ffdsr55"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4390604707.pdf","grobid_xml":"https://content.openalex.org/works/W4390604707.grobid-xml"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W1507046749","https://openalex.org/W1557543533","https://openalex.org/W1584814208","https://openalex.org/W1829276407","https://openalex.org/W1846157972","https://openalex.org/W1964892433","https://openalex.org/W1966032455","https://openalex.org/W1971782746","https://openalex.org/W1981904441","https://openalex.org/W1997981086","https://openalex.org/W2006084860","https://openalex.org/W2009695707","https://openalex.org/W2017842497","https://openalex.org/W2026794345","https://openalex.org/W2030166143","https://openalex.org/W2035260626","https://openalex.org/W2045430818","https://openalex.org/W2074131210","https://openalex.org/W2077617866","https://openalex.org/W2079752311","https://openalex.org/W2080573945","https://openalex.org/W2093080079","https://openalex.org/W2094716892","https://openalex.org/W2105285801","https://openalex.org/W2110833886","https://openalex.org/W2112936713","https://openalex.org/W2119137801","https://openalex.org/W2131135493","https://openalex.org/W2133497528","https://openalex.org/W2142174207","https://openalex.org/W2151562310","https://openalex.org/W2161100976","https://openalex.org/W2166091242","https://openalex.org/W2169304846","https://openalex.org/W2247002685","https://openalex.org/W2513927163","https://openalex.org/W2596236679","https://openalex.org/W2777662281","https://openalex.org/W2900044545","https://openalex.org/W2920740222","https://openalex.org/W2949740838","https://openalex.org/W2980018082","https://openalex.org/W3000452330","https://openalex.org/W3009945260","https://openalex.org/W3021254799","https://openalex.org/W3033818254","https://openalex.org/W3098470576","https://openalex.org/W3101609070","https://openalex.org/W3107612736","https://openalex.org/W3117677213","https://openalex.org/W3126200532","https://openalex.org/W3158908103","https://openalex.org/W3201907283","https://openalex.org/W3213041887","https://openalex.org/W4205381966","https://openalex.org/W4206579112","https://openalex.org/W4235915479","https://openalex.org/W4248607285","https://openalex.org/W4315606093","https://openalex.org/W4316662575","https://openalex.org/W4319310895","https://openalex.org/W4406257352","https://openalex.org/W4412334559","https://openalex.org/W6634469269"],"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":{"Dyck":[0,140,189],"reachability":[1,141,144,190],"is":[2,68,79,117,164,175,232,281,303],"a":[3,8,148,172,183,269],"principled,":[4],"graph-based":[5],"formulation":[6],"of":[7,10,28,71,82,111,295,300],"plethora":[9],"static":[11,130],"analyses.":[12,33],"Bidirected":[13],"graphs":[14],"are":[15,25],"used":[16],"for":[17,187,314],"capturing":[18],"dataflow":[19],"through":[20],"mutable":[21],"heap":[22],"data,":[23],"and":[24,31,73,127,231,243,250,253,267,283],"usual":[26],"formalisms":[27],"demand-driven":[29],"points-to":[30],"alias":[32,251],"The":[34,297],"best":[35,258],"(offline)":[36],"algorithm":[37,159,186,242,280],"runs":[38],"in":[39,84,103,160,235,292],"<mml:math":[40,63,74,90,193,217],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[41,64,75,91,194,218],"display=\"inline\">":[42,65,76,92,195,219],"<mml:mrow>":[43,93,220],"<mml:mi>O</mml:mi>":[44,94,196,221],"<mml:mo>(</mml:mo>":[45,55,95,197,205,222],"<mml:mi>m</mml:mi>":[46,77],"<mml:mo>+</mml:mo>":[47],"<mml:mi>n</mml:mi>":[48,56,66,97,198,206,224],"<mml:mtext>":[49,52,199,202],"</mml:mtext>":[50,53,200,203],"<mml:mo>\u00b7</mml:mo>":[51,201],"<mml:mi>\u03b1</mml:mi>":[54,204],"<mml:mo>)</mml:mo>":[57,58,100,207,208,227],"</mml:mrow>":[59,101,228],"</mml:math>":[60,67,78,102,209,229],"time,":[61],"where":[62,143],"the":[69,80,85,104,108,114,157,167,216,263,286,293,308,315],"number":[70,81],"nodes":[72],"edges":[83],"flow":[86],"graph,":[87,151],"which":[88],"becomes":[89],"<mml:msup>":[96,223],"<mml:mn>2</mml:mn>":[98,225],"</mml:msup>":[99,226],"worst":[105],"case.":[106],"In":[107,178],"everyday":[109],"practice":[110],"program":[112,153],"analysis,":[113],"analyzed":[115],"code":[116,124],"subject":[118],"to":[119,138,170,307],"continuous":[120,134],"change,":[121],"with":[122,256],"source":[123],"being":[125],"added":[126],"removed.":[128],"On-the-fly":[129],"analysis":[131,317],"under":[132],"such":[133],"updates":[135],"gives":[136],"rise":[137],"dynamic":[139,185,271,279],",":[142],"queries":[145],"run":[146],"on":[147,247],"dynamically":[149],"changing":[150],"following":[152],"updates.":[154],"Naturally,":[155],"executing":[156],"offline":[158,265],"this":[161,179],"online":[162],"setting":[163],"inadequate,":[165],"as":[166],"time":[168,299],"required":[169],"process":[171],"single":[173],"update":[174,302],"prohibitively":[176],"large.":[177],"work":[180],"we":[181],"develop":[182],"novel":[184],"bidirected":[188],"that":[191,277],"has":[192],"worst-case":[210],"performance":[211,246],"per":[212],"update,":[213],"thus":[214],"beating":[215],"bound,":[230],"also":[233,239],"optimal":[234,264],"certain":[236],"settings.":[237],"We":[238],"implement":[240],"our":[241,278],"evaluate":[244],"its":[245],"on-the-fly":[248,316],"data-dependence":[249],"analyses,":[252],"compare":[254],"it":[255,312],"two":[257],"known":[259],"alternatives,":[260],"namely":[261],"(i)":[262],"algorithm,":[266,289],"(ii)":[268],"fully":[270],"Datalog":[272],"solver.":[273],"Our":[274],"experiments":[275],"show":[276],"consistently,":[282],"by":[284],"far,":[285],"top":[287],"performing":[288],"exhibiting":[290],"speedups":[291],"order":[294],"1000X.":[296],"running":[298],"each":[301],"almost":[304],"always":[305],"unnoticeable":[306],"human":[309],"eye,":[310],"making":[311],"ideal":[313],"setting.":[318]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":4}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}