{"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":"book-chapter","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":true,"raw_author_name":"Krishnendu Chatterjee","raw_affiliation_strings":["IST Austria, Klosterneuburg, Austria","IST Austria; Klosterneuburg Austria"],"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"],"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"],"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,"],"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":4,"corresponding_author_ids":["https://openalex.org/A5052607806"],"corresponding_institution_ids":["https://openalex.org/I157556583"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.02347835,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"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":"Chatterjee, K, Goharshady, A K, Ibsen-Jensen, R & Pavlogiannis, A 2020, Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. in P M\u00fcller (ed.), Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Springer, Lecture Notes in Computer Science, vol. 12075, pp. 112-140, 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, 25/04/2020. https://doi.org/10.1007/978-3-030-44914-8_5","raw_type":"info:eu-repo/semantics/publishedVersion"},{"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":"Conference papers"},{"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":false,"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":"article"}],"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":null,"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/G5139609884","display_name":null,"funder_award_id":"NFN S11407-N23 (RiSE/SHiNE)","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science 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"},{"id":"https://openalex.org/G8184292771","display_name":null,"funder_award_id":"Project","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8199818660","display_name":null,"funder_award_id":"S11407-N23 (RiSE/SHiNE)","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":{"grobid_xml":true,"pdf":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-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}