{"id":"https://openalex.org/W4414978668","doi":"https://doi.org/10.1145/3763129","title":"Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)","display_name":"Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)","publication_year":2025,"publication_date":"2025-10-09","ids":{"openalex":"https://openalex.org/W4414978668","doi":"https://doi.org/10.1145/3763129"},"language":"en","primary_location":{"id":"doi:10.1145/3763129","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763129","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/3763129","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Anastasios Antoniadis","orcid":"https://orcid.org/0009-0004-1605-967X"},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":true,"raw_author_name":"Anastasios Antoniadis","raw_affiliation_strings":["University of Athens, Athens, Greece"],"raw_orcid":"https://orcid.org/0009-0004-1605-967X","affiliations":[{"raw_affiliation_string":"University of Athens, Athens, Greece","institution_ids":["https://openalex.org/I200777214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073224366","display_name":"Ilias Tsatiris","orcid":"https://orcid.org/0000-0002-1788-053X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ilias Tsatiris","raw_affiliation_strings":["Dedaub, Athens, Greece"],"raw_orcid":"https://orcid.org/0000-0002-1788-053X","affiliations":[{"raw_affiliation_string":"Dedaub, Athens, Greece","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068595267","display_name":"Neville Grech","orcid":"https://orcid.org/0000-0002-6790-2872"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]}],"countries":["MT"],"is_corresponding":false,"raw_author_name":"Neville Grech","raw_affiliation_strings":["Dedaub, San Gwann, Malta","University of Malta, Msida, Malta"],"raw_orcid":"https://orcid.org/0000-0002-6790-2872","affiliations":[{"raw_affiliation_string":"Dedaub, San Gwann, Malta","institution_ids":["https://openalex.org/I197854408"]},{"raw_affiliation_string":"University of Malta, Msida, Malta","institution_ids":["https://openalex.org/I197854408"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043949214","display_name":"Yannis Smaragdakis","orcid":"https://orcid.org/0000-0002-0499-0182"},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Yannis Smaragdakis","raw_affiliation_strings":["Dedaub, Athens, Greece","University of Athens, Athens, Greece"],"raw_orcid":"https://orcid.org/0000-0002-0499-0182","affiliations":[{"raw_affiliation_string":"Dedaub, Athens, Greece","institution_ids":[]},{"raw_affiliation_string":"University of Athens, Athens, Greece","institution_ids":["https://openalex.org/I200777214"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I200777214"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14076032,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"OOPSLA2","first_page":"2199","last_page":"2226"},"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.9998000264167786,"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.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9962000250816345,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.9570000171661377},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.7781000137329102},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6226000189781189},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5960000157356262},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5806000232696533},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5625},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5073000192642212},{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.4399000108242035},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4065999984741211}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.9570000171661377},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8554999828338623},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.7781000137329102},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7128000259399414},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6226000189781189},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5960000157356262},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5806000232696533},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5625},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5073000192642212},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.4399000108242035},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4065999984741211},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.4059000015258789},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39410001039505005},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.39259999990463257},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.37880000472068787},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.3458999991416931},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.3393000066280365},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.33869999647140503},{"id":"https://openalex.org/C195701839","wikidata":"https://www.wikidata.org/wiki/Q4008398","display_name":"Partial evaluation","level":2,"score":0.3001999855041504},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.295199990272522},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.2935999929904938},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.28139999508857727},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.2782000005245209},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.2761000096797943},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.2696000039577484},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.26589998602867126},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.2655999958515167},{"id":"https://openalex.org/C2776834041","wikidata":"https://www.wikidata.org/wiki/Q25346349","display_name":"Execution model","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.2513999938964844}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3763129","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763129","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"}],"best_oa_location":{"id":"doi:10.1145/3763129","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3763129","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W1582599909","https://openalex.org/W1650097949","https://openalex.org/W1671718115","https://openalex.org/W1971782746","https://openalex.org/W1971859150","https://openalex.org/W2017842497","https://openalex.org/W2027603021","https://openalex.org/W2050680750","https://openalex.org/W2051527230","https://openalex.org/W2084875723","https://openalex.org/W2110833886","https://openalex.org/W2112936713","https://openalex.org/W2122745100","https://openalex.org/W2133824159","https://openalex.org/W2134457214","https://openalex.org/W2140021378","https://openalex.org/W2158047578","https://openalex.org/W2162544703","https://openalex.org/W2163521620","https://openalex.org/W2166091242","https://openalex.org/W2169304846","https://openalex.org/W2417567569","https://openalex.org/W2547862110","https://openalex.org/W2553375745","https://openalex.org/W2604520577","https://openalex.org/W2761799536","https://openalex.org/W2763994238","https://openalex.org/W2867457158","https://openalex.org/W2884025007","https://openalex.org/W2898152370","https://openalex.org/W2898232260","https://openalex.org/W2899357780","https://openalex.org/W2955447707","https://openalex.org/W3030148664","https://openalex.org/W3033653001","https://openalex.org/W3117677213","https://openalex.org/W3174779340","https://openalex.org/W3207304130","https://openalex.org/W3207476902","https://openalex.org/W4206047963","https://openalex.org/W4230287091","https://openalex.org/W4247889999","https://openalex.org/W4251478049","https://openalex.org/W4284682646","https://openalex.org/W4300810260","https://openalex.org/W4379533994","https://openalex.org/W4399872366","https://openalex.org/W4410041842","https://openalex.org/W4412218017","https://openalex.org/W6893454219"],"related_works":[],"abstract_inverted_index":{"Datalog":[0,18,51,84,146,225],"engines":[1,147],"for":[2,87,169,270],"fixpoint":[3],"evaluation":[4,52,186,203],"have":[5,105],"brought":[6],"great":[7,124],"benefits":[8,43],"to":[9,38,91,120,129,183,193,220,249],"static":[10],"program":[11,80],"analysis":[12,22,81,196,226,253],"over":[13,268],"the":[14,74,92,121,139,154,167,180,218,222,235,240,251,260,271],"past":[15,168],"decades.":[16],"A":[17],"specification":[19],"of":[20,49,62,73,95,137,156,187,209,262],"an":[21],"allows":[23,153,179],"a":[24,46,60,101,114,160,175,206,210,213],"declarative,":[25],"easy-to-maintain":[26],"specification,":[27],"without":[28],"sacrificing":[29],"performance,":[30],"and":[31,67,117,127,162,234,255],"indeed":[32],"often":[33],"achieving":[34],"significant":[35],"speedups":[36],"compared":[37],"hand-coded":[39],"algorithms.":[40,172],"However,":[41],"these":[42],"come":[44],"with":[45,123,256,274],"certain":[47],"loss":[48],"control.":[50],"is":[53,191],"bottom-up,":[54],"meaning":[55],"that":[56,178],"all":[57,68,97],"inferences":[58],"(from":[59],"set":[61],"initial":[63],"facts)":[64],"are":[65,71],"performed":[66],"their":[69],"conclusions":[70],"outputs":[72],"computation.":[75],"In":[76,109],"practice,":[77],"virtually":[78,130],"every":[79],"expressed":[82],"in":[83,144,159,166,228,277],"becomes":[85],"unscalable":[86],"some":[88],"inputs,":[89,273],"due":[90],"worst-case":[93],"blowup":[94],"computing":[96],"results,":[98],"even":[99],"when":[100,205],"partial":[102],"answer":[103],"would":[104],"been":[106,164],"perfectly":[107],"satisfactory.":[108],"this":[110],"work,":[111],"we":[112],"present":[113],"simple,":[115],"uniform,":[116],"elegant":[118],"solution":[119],"problem,":[122],"practical":[125],"effectiveness":[126],"application":[128],"any":[131,195],"Datalog-based":[132],"analysis.":[133],"The":[134,150,189],"approach":[135],"consists":[136],"leveraging":[138],"choice":[140,151,181],"construct,":[141],"supported":[142],"natively":[143],"modern":[145],"like":[148],"Souffle.":[149],"construct":[152,182],"definition":[155],"functional":[157],"dependencies":[158],"relation":[161,211],"has":[163],"used":[165],"expressing":[170],"worklist":[171],"We":[173,216],"show":[174],"near-universal":[176],"construction":[177],"flexibly":[184],"limit":[185],"predicates.":[188],"technique":[190,219],"applicable":[192],"practically":[194],"architecture":[197],"imaginable,":[198],"since":[199],"it":[200],"adaptively":[201],"prunes":[202],"results":[204],"(programmer-controlled)":[207],"projection":[208],"exceeds":[212],"desired":[214],"cardinality.":[215],"apply":[217],"probably":[221],"largest,":[223],"pre-existing":[224],"frameworks":[227],"existence:":[229],"Doop":[230],"(for":[231,243],"Java":[232],"bytecode)":[233],"main":[236],"client":[237],"analyses":[238],"from":[239],"Gigahorse":[241],"framework":[242,264],"Ethereum":[244],"smart":[245],"contracts).":[246],"Without":[247],"needing":[248],"understand":[250],"existing":[252],"logic":[254],"minimal,":[257],"local-only":[258],"changes,":[259],"performance":[261],"each":[263],"increases":[265],"dramatically,":[266],"by":[267],"20x":[269],"hardest":[272],"near-negligible":[275],"sacrifice":[276],"completeness.":[278]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}