{"id":"https://openalex.org/W3004072022","doi":"https://doi.org/10.1007/978-3-030-44914-8_5","title":"Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis","display_name":"Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3004072022","doi":"https://doi.org/10.1007/978-3-030-44914-8_5","mag":"3004072022"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-44914-8_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-44914-8_5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-44914-8_5.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-44914-8_5.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052607806","display_name":"Krishnendu Chatterjee","orcid":"https://orcid.org/0000-0002-4561-241X"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Krishnendu Chatterjee","raw_affiliation_strings":["IST Austria, Klosterneuburg, Austria","IST Austria; Klosterneuburg Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]},{"raw_affiliation_string":"IST Austria; Klosterneuburg Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005241421","display_name":"Amir Kafshdar Goharshady","orcid":"https://orcid.org/0000-0003-1702-6584"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Amir Kafshdar Goharshady","raw_affiliation_strings":["IST Austria, Klosterneuburg, Austria","IST Austria; Klosterneuburg Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]},{"raw_affiliation_string":"IST Austria; Klosterneuburg Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072999400","display_name":"Rasmus Ibsen-Jensen","orcid":"https://orcid.org/0000-0003-4783-0389"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rasmus Ibsen-Jensen","raw_affiliation_strings":["University of Liverpool, Liverpool, United Kingdom","University of Liverpool. Liverpool, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Liverpool, Liverpool, United Kingdom","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"University of Liverpool. Liverpool, UK","institution_ids":["https://openalex.org/I146655781"]}]},{"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","Aarhus University, Aarhus, DENMARK,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]},{"raw_affiliation_string":"Aarhus University, Aarhus, DENMARK,","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"112","last_page":"140"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.4406000077724457,"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/T10126","display_name":"Logic, programming, and type systems","score":0.4406000077724457,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.23909999430179596,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.06840000301599503,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.8469308018684387},{"id":"https://openalex.org/keywords/preprocessor","display_name":"Preprocessor","score":0.6108402609825134},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.47648900747299194},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.46717745065689087},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46096014976501465},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.44882163405418396},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.44019216299057007},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3899545967578888},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.32797515392303467},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.2907349765300751},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2717647850513458},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.23205241560935974}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8469308018684387},{"id":"https://openalex.org/C34736171","wikidata":"https://www.wikidata.org/wiki/Q918333","display_name":"Preprocessor","level":2,"score":0.6108402609825134},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.47648900747299194},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.46717745065689087},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46096014976501465},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.44882163405418396},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.44019216299057007},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3899545967578888},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.32797515392303467},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.2907349765300751},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2717647850513458},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.23205241560935974}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1007/978-3-030-44914-8_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-44914-8_5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-44914-8_5.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire/9d741972-b6ca-43e6-901f-0326d23cd610","is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/9d741972-b6ca-43e6-901f-0326d23cd610","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:arXiv.org:2001.11070","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2001.11070","pdf_url":"https://arxiv.org/pdf/2001.11070","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"pmh:oai:HAL:hal-02460191v1","is_oa":true,"landing_page_url":"https://hal.science/hal-02460191","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"29th European Symposium on Programming (ESOP), Apr 2020, Dublin, Ireland","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pubmedcentral.nih.gov:7702249","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/7702249","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Programming Languages and Systems","raw_type":"Text"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-107093","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-107093","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":"Conference paper"},{"id":"pmh:oai:repository.ust.hk:1783.1-107093","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=0302-9743&rft.volume=v. 12075 LNCS&rft.issue=&rft.date=2020&rft.spage=112&rft.aulast=Chatterjee&rft.aufirst=K.&rft.atitle=Optimal+and+Perfectly+Parallel+Algorithms+for+On-demand+Data-Flow+Analysis&rft.title=Lecture+Notes+in+Computer+Science","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":"","raw_type":"Conference paper"},{"id":"doi:10.48550/arxiv.2001.11070","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2001.11070","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-44914-8_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-44914-8_5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-44914-8_5.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2554063606","display_name":"Efficient Algorithms for Computer Aided Verification","funder_award_id":"ICT15-003","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"id":"https://openalex.org/G2655136877","display_name":null,"funder_award_id":"S11407","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G3272840696","display_name":null,"funder_award_id":"J-4220","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G4360933436","display_name":null,"funder_award_id":"Project ICT15-003","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"id":"https://openalex.org/G683671635","display_name":null,"funder_award_id":"S11407-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321004","display_name":"\u00d6sterreichischen Akademie der Wissenschaften","ror":"https://ror.org/03anc3s24"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3004072022.pdf","grobid_xml":"https://content.openalex.org/works/W3004072022.grobid-xml"},"referenced_works_count":79,"referenced_works":["https://openalex.org/W104370704","https://openalex.org/W170123544","https://openalex.org/W1550371161","https://openalex.org/W1576925855","https://openalex.org/W1584814208","https://openalex.org/W1585404558","https://openalex.org/W1593165330","https://openalex.org/W1605034451","https://openalex.org/W1607605746","https://openalex.org/W1618316727","https://openalex.org/W1818617877","https://openalex.org/W1843198456","https://openalex.org/W1846157972","https://openalex.org/W1873658816","https://openalex.org/W1969599528","https://openalex.org/W1986453394","https://openalex.org/W1989556004","https://openalex.org/W1995362766","https://openalex.org/W1997981086","https://openalex.org/W2002722727","https://openalex.org/W2011999472","https://openalex.org/W2017492235","https://openalex.org/W2022363576","https://openalex.org/W2024779397","https://openalex.org/W2034579607","https://openalex.org/W2036157748","https://openalex.org/W2059372025","https://openalex.org/W2065596062","https://openalex.org/W2069283169","https://openalex.org/W2071362870","https://openalex.org/W2080573945","https://openalex.org/W2080696000","https://openalex.org/W2084845478","https://openalex.org/W2087527532","https://openalex.org/W2091302783","https://openalex.org/W2094596738","https://openalex.org/W2098645109","https://openalex.org/W2100437891","https://openalex.org/W2105285801","https://openalex.org/W2110833886","https://openalex.org/W2112936713","https://openalex.org/W2114067856","https://openalex.org/W2116973377","https://openalex.org/W2119137801","https://openalex.org/W2133497528","https://openalex.org/W2140506847","https://openalex.org/W2143659699","https://openalex.org/W2150830048","https://openalex.org/W2150874411","https://openalex.org/W2155735696","https://openalex.org/W2166091242","https://openalex.org/W2166743230","https://openalex.org/W2169304846","https://openalex.org/W2528431921","https://openalex.org/W2757822510","https://openalex.org/W2767234833","https://openalex.org/W2777662281","https://openalex.org/W2796472165","https://openalex.org/W2880875791","https://openalex.org/W2896898580","https://openalex.org/W2899120827","https://openalex.org/W2899166628","https://openalex.org/W2900044545","https://openalex.org/W2914414140","https://openalex.org/W2918527871","https://openalex.org/W2920157079","https://openalex.org/W2930019028","https://openalex.org/W2989189770","https://openalex.org/W2997088857","https://openalex.org/W3005566493","https://openalex.org/W3013983845","https://openalex.org/W3021254799","https://openalex.org/W3093315698","https://openalex.org/W4229799736","https://openalex.org/W4235417919","https://openalex.org/W4242680074","https://openalex.org/W4244726870","https://openalex.org/W4249620867","https://openalex.org/W4251718220"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1837558792","https://openalex.org/W1554151238","https://openalex.org/W3161430837","https://openalex.org/W2474333826","https://openalex.org/W1510522826","https://openalex.org/W1604898313","https://openalex.org/W2034393996","https://openalex.org/W3047022145","https://openalex.org/W1491899005"],"abstract_inverted_index":{"Abstract":[0],"Interprocedural":[1],"data-flow":[2,32,40,47,157],"analyses":[3,48,118],"form":[4],"an":[5,70,89],"expressive":[6],"and":[7,22,59,82,87,101,151,163,216],"useful":[8],"paradigm":[9],"of":[10,52,125,139,193,204,220,234],"numerous":[11],"static":[12,210],"analysis":[13,21,33,54,83,96,222],"applications,":[14],"such":[15,195],"as":[16],"live":[17],"variables":[18],"analysis,":[19],"alias":[20],"null":[23],"pointers":[24],"analysis.":[25],"The":[26],"most":[27],"widely-used":[28],"framework":[29],"for":[30,154,184],"interprocedural":[31],"is":[34,79,188],"IFDS":[35,117],",":[36,75,94,179],"which":[37,243],"encompasses":[38],"distributive":[39],"functions":[41],"over":[42],"a":[43,65,191,201,209,218,231,239],"finite":[44],"domain.":[45],"On-demand":[46],"restrict":[49],"the":[50,53,77,102,120,126,134,161,164,181,235],"focus":[51],"on":[55,99,213,224],"specific":[56],"program":[57,78,123],"locations":[58,124],"data":[60],"facts.":[61],"This":[62],"setting":[63],"provides":[64],"natural":[66],"split":[67,189],"between":[68],"(i)":[69],"offline":[71],"(or":[72,91],"preprocessing)":[73],"phase":[74,93],"where":[76,95,119],"partially":[80],"analyzed":[81],"summaries":[84,103],"are":[85,104,149,176],"created,":[86],"(ii)":[88],"online":[90],"query)":[92],"queries":[97,121,236],"arrive":[98],"demand":[100],"used":[105],"to":[106,144,171,190],"speed":[107],"up":[108],"answering":[109,185],"queries.":[110],"In":[111],"this":[112],"work,":[113],"we":[114,207],"consider":[115],"on-demand":[116,221],"concern":[122],"same":[127],"procedure":[128],"(aka":[129],"same-context":[130],"queries).":[131],"We":[132,167],"exploit":[133],"fact":[135],"that":[136,148,175,196],"flow":[137],"graphs":[138],"programs":[140],"have":[141],"low":[142],"treewidth":[143,170],"develop":[145,172],"faster":[146],"algorithms":[147],"space":[150],"time":[152],"optimal":[153],"many":[155],"common":[156],"analyses,":[158],"in":[159],"both":[160],"preprocessing":[162,241],"query":[165,173,187],"phase.":[166],"also":[168],"use":[169],"solutions":[174],"embarrassingly":[177],"parallelizable":[178],"i.e.":[180],"total":[182],"work":[183],"each":[186,197],"number":[192],"threads":[194],"thread":[198],"performs":[199],"only":[200,238],"constant":[202],"amount":[203],"work.":[205],"Finally,":[206],"implement":[208],"analyzer":[211],"based":[212],"our":[214],"algorithms,":[215],"perform":[217],"series":[219],"experiments":[223],"standard":[225],"benchmarks.":[226],"Our":[227],"experimental":[228],"results":[229],"show":[230],"drastic":[232],"speed-up":[233],"after":[237],"lightweight":[240],"phase,":[242],"significantly":[244],"outperforms":[245],"existing":[246],"techniques.":[247]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-19T07:52:34.831488","created_date":"2025-10-10T00:00:00"}