{"id":"https://openalex.org/W4399872366","doi":"https://doi.org/10.1145/3656417","title":"Scaling Type-Based Points-to Analysis with Saturation","display_name":"Scaling Type-Based Points-to Analysis with Saturation","publication_year":2024,"publication_date":"2024-06-20","ids":{"openalex":"https://openalex.org/W4399872366","doi":"https://doi.org/10.1145/3656417"},"language":"en","primary_location":{"id":"doi:10.1145/3656417","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656417","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/3656417","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5099309884","display_name":"Christian Wimmer","orcid":"https://orcid.org/0009-0003-3213-9306"},"institutions":[{"id":"https://openalex.org/I1342911587","display_name":"Oracle (United States)","ror":"https://ror.org/006c77m33","country_code":"US","type":"company","lineage":["https://openalex.org/I1342911587"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christian Wimmer","raw_affiliation_strings":["Oracle Labs, Redwood Shores, USA"],"raw_orcid":"https://orcid.org/0009-0003-3213-9306","affiliations":[{"raw_affiliation_string":"Oracle Labs, Redwood Shores, USA","institution_ids":["https://openalex.org/I1342911587"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056353290","display_name":"Codru\u0163 Stancu","orcid":"https://orcid.org/0009-0007-3646-3663"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Codrut Stancu","raw_affiliation_strings":["Oracle Labs, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0009-0007-3646-3663","affiliations":[{"raw_affiliation_string":"Oracle Labs, Zurich, Switzerland","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103050117","display_name":"David Koz\u00e1k","orcid":"https://orcid.org/0000-0002-8846-922X"},"institutions":[{"id":"https://openalex.org/I1342911587","display_name":"Oracle (United States)","ror":"https://ror.org/006c77m33","country_code":"US","type":"company","lineage":["https://openalex.org/I1342911587"]},{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ","US"],"is_corresponding":false,"raw_author_name":"David Kozak","raw_affiliation_strings":["Brno University of Technology, Brno, Czechia","Oracle Labs, Brno, Czechia","Brno University of Technology, Brno, Czechia / Oracle Labs, Brno, Czechia"],"raw_orcid":"https://orcid.org/0000-0002-8846-922X","affiliations":[{"raw_affiliation_string":"Brno University of Technology, Brno, Czechia","institution_ids":["https://openalex.org/I60587646"]},{"raw_affiliation_string":"Oracle Labs, Brno, Czechia","institution_ids":["https://openalex.org/I1342911587"]},{"raw_affiliation_string":"Brno University of Technology, Brno, Czechia / Oracle Labs, Brno, Czechia","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078436726","display_name":"Thomas W\u00fcrthinger","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thomas W\u00fcrthinger","raw_affiliation_strings":["Oracle Labs, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0009-0007-0441-5173","affiliations":[{"raw_affiliation_string":"Oracle Labs, Zurich, Switzerland","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.0364,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.8716823,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"8","issue":"PLDI","first_page":"990","last_page":"1013"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9901000261306763,"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.9901000261306763,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9842000007629395,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9577999711036682,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/scaling","display_name":"Scaling","score":0.6609565019607544},{"id":"https://openalex.org/keywords/saturation","display_name":"Saturation (graph theory)","score":0.5468246340751648},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5270559787750244},{"id":"https://openalex.org/keywords/statistical-physics","display_name":"Statistical physics","score":0.3953438997268677},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.32568055391311646},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.1937566101551056},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.18467757105827332},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.12395304441452026},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.09880554676055908}],"concepts":[{"id":"https://openalex.org/C99844830","wikidata":"https://www.wikidata.org/wiki/Q102441924","display_name":"Scaling","level":2,"score":0.6609565019607544},{"id":"https://openalex.org/C9930424","wikidata":"https://www.wikidata.org/wiki/Q7426587","display_name":"Saturation (graph theory)","level":2,"score":0.5468246340751648},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5270559787750244},{"id":"https://openalex.org/C121864883","wikidata":"https://www.wikidata.org/wiki/Q677916","display_name":"Statistical physics","level":1,"score":0.3953438997268677},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32568055391311646},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.1937566101551056},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.18467757105827332},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.12395304441452026},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.09880554676055908},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3656417","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656417","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:dspace.vut.cz:11012/252836","is_oa":true,"landing_page_url":"http://hdl.handle.net/11012/252836","pdf_url":"https://dspace.vut.cz/bitstreams/eb0c9dec-8563-4323-a332-e1c9373747aa/download","source":{"id":"https://openalex.org/S4306400317","display_name":"Brno University of Technology Digital Library (Brno University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I60587646","host_organization_name":"Brno University of Technology","host_organization_lineage":["https://openalex.org/I60587646"],"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":null,"raw_type":"article"},{"id":"pmh:oai:https://dspace.vut.cz:11012/252836","is_oa":true,"landing_page_url":"https://hdl.handle.net/11012/252836","pdf_url":null,"source":{"id":"https://openalex.org/S4306400317","display_name":"Brno University of Technology Digital Library (Brno University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I60587646","host_organization_name":"Brno University of Technology","host_organization_lineage":["https://openalex.org/I60587646"],"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":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1145/3656417","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656417","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":[{"score":0.49000000953674316,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[{"id":"https://openalex.org/G182591475","display_name":"Advanced Analysis and Verification for Advanced Software","funder_award_id":"GA23-06506S","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G6728435477","display_name":null,"funder_award_id":"FIT-S-23-8151","funder_id":"https://openalex.org/F4320336543","funder_display_name":"Fakulta Informa\u010dn\u00edch Technologi\u00ed, Vysok\u00e9 U\u010den\u00ed Technick\u00e9 v Brn\u011b"}],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"},{"id":"https://openalex.org/F4320336543","display_name":"Fakulta Informa\u010dn\u00edch Technologi\u00ed, Vysok\u00e9 U\u010den\u00ed Technick\u00e9 v Brn\u011b","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W148396834","https://openalex.org/W1536098516","https://openalex.org/W1650097949","https://openalex.org/W1959797194","https://openalex.org/W1971859150","https://openalex.org/W1974608873","https://openalex.org/W1982205631","https://openalex.org/W1987035533","https://openalex.org/W2013570118","https://openalex.org/W2019373956","https://openalex.org/W2029674270","https://openalex.org/W2046699259","https://openalex.org/W2051527230","https://openalex.org/W2051600169","https://openalex.org/W2064556673","https://openalex.org/W2065088439","https://openalex.org/W2080205938","https://openalex.org/W2131135493","https://openalex.org/W2140021378","https://openalex.org/W2153578567","https://openalex.org/W2166743230","https://openalex.org/W2167363133","https://openalex.org/W2546558533","https://openalex.org/W2556634892","https://openalex.org/W2617348763","https://openalex.org/W2798710664","https://openalex.org/W2850983117","https://openalex.org/W2898502769","https://openalex.org/W2955855305","https://openalex.org/W2979463730","https://openalex.org/W2980018082","https://openalex.org/W3008974726","https://openalex.org/W3009007914","https://openalex.org/W3033653001","https://openalex.org/W3183979683","https://openalex.org/W3185057029","https://openalex.org/W3205875080","https://openalex.org/W3206466725","https://openalex.org/W3207496574","https://openalex.org/W4206770190","https://openalex.org/W4235278598","https://openalex.org/W4247889999","https://openalex.org/W4251478049","https://openalex.org/W4313828767","https://openalex.org/W4379533994","https://openalex.org/W4384155580","https://openalex.org/W4387667069","https://openalex.org/W4387773561","https://openalex.org/W6911263682","https://openalex.org/W6967079071"],"related_works":["https://openalex.org/W3100245096","https://openalex.org/W2519545954","https://openalex.org/W2056843536","https://openalex.org/W1995826969","https://openalex.org/W3217323610","https://openalex.org/W1990001655","https://openalex.org/W2083192414","https://openalex.org/W3102781811","https://openalex.org/W1979444024","https://openalex.org/W3105329589"],"abstract_inverted_index":{"Designing":[0],"a":[1,12,19,52,63,90,97,123],"whole-program":[2],"static":[3],"analysis":[4,15,42,56,81,118],"requires":[5],"trade-offs":[6],"between":[7],"precision":[8,72],"and":[9,102,109],"scalability.":[10],"While":[11],"context-insensitive":[13,53],"points-to":[14,55,75,80,85,117],"is":[16],"often":[17],"considered":[18,107],"good":[20],"compromise,":[21],"it":[22,59],"still":[23],"has":[24],"non-linear":[25],"complexity":[26],"that":[27,134],"leads":[28],"to":[29,57,126,140],"scalability":[30],"problems":[31],"when":[32],"analyzing":[33],"large":[34,142],"applications.":[35],"On":[36],"the":[37,71,74,79,100,116],"other":[38],"hand,":[39],"rapid":[40,64],"type":[41,65],"scales":[43],"well":[44],"but":[45],"lacks":[46],"precision.":[47],"We":[48],"use":[49],"saturation":[50,135],"in":[51,115,151],"type-based":[54],"make":[58],"as":[60,62],"scalable":[61],"analysis,":[66],"while":[67],"preserving":[68],"most":[69],"of":[70,73,119,147,149],"analysis.":[76],"With":[77],"saturation,":[78],"only":[82],"propagates":[83],"small":[84],"sets":[86],"for":[87,130],"variables.":[88],"If":[89],"variable":[91,101],"can":[92],"have":[93],"more":[94],"values":[95],"than":[96,153],"certain":[98],"threshold,":[99],"all":[103],"its":[104],"usages":[105],"are":[106],"saturated":[108],"no":[110],"longer":[111],"analyzed.":[112],"Our":[113],"implementation":[114],"GraalVM":[120,137],"Native":[121,138],"Image,":[122],"closed-world":[124],"approach":[125],"build":[127],"standalone":[128],"binaries":[129],"Java":[131,143],"applications,":[132],"shows":[133],"allows":[136],"Image":[139],"analyze":[141],"applications":[144],"with":[145],"hundreds":[146],"thousands":[148],"methods":[150],"less":[152],"two":[154],"minutes.":[155]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":1}],"updated_date":"2026-08-22T07:34:49.880490","created_date":"2025-10-10T00:00:00"}