{"id":"https://openalex.org/W4399872413","doi":"https://doi.org/10.1145/3656452","title":"Falcon: A Scalable Analytical Cache Model","display_name":"Falcon: A Scalable Analytical Cache Model","publication_year":2024,"publication_date":"2024-06-20","ids":{"openalex":"https://openalex.org/W4399872413","doi":"https://doi.org/10.1145/3656452"},"language":"en","primary_location":{"id":"doi:10.1145/3656452","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656452","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656452","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/3656452","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076926812","display_name":"Arjun Pitchanathan","orcid":"https://orcid.org/0000-0002-7301-2307"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Arjun Pitchanathan","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-7301-2307","affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087613738","display_name":"Kunwar Shaanjeet Singh Grover","orcid":"https://orcid.org/0009-0001-9915-2885"},"institutions":[{"id":"https://openalex.org/I4210099188","display_name":"Advanced Micro Devices (United Kingdom)","ror":"https://ror.org/00xb05e36","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210099188","https://openalex.org/I4210137977"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Kunwar Grover","raw_affiliation_strings":["Advanced Micro Devices, Edinburgh, United Kingdom"],"raw_orcid":"https://orcid.org/0009-0001-9915-2885","affiliations":[{"raw_affiliation_string":"Advanced Micro Devices, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I4210099188"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055618037","display_name":"Tobias Grosser","orcid":"https://orcid.org/0000-0003-3874-6003"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tobias Grosser","raw_affiliation_strings":["University of Cambridge, Cambridge, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-3874-6003","affiliations":[{"raw_affiliation_string":"University of Cambridge, Cambridge, United Kingdom","institution_ids":["https://openalex.org/I241749"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7719,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.84898162,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"8","issue":"PLDI","first_page":"1854","last_page":"1878"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9976000189781189,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9976000189781189,"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"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9968000054359436,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9758999943733215,"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/cache","display_name":"Cache","score":0.7056687474250793},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6336469650268555},{"id":"https://openalex.org/keywords/falcon","display_name":"Falcon","score":0.5719143748283386},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5578121542930603},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3698570430278778},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2836376130580902},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15323856472969055}],"concepts":[{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.7056687474250793},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6336469650268555},{"id":"https://openalex.org/C2775845381","wikidata":"https://www.wikidata.org/wiki/Q43489","display_name":"Falcon","level":2,"score":0.5719143748283386},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5578121542930603},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3698570430278778},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2836376130580902},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15323856472969055}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3656452","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656452","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656452","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/3656452","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656452","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656452","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/G3818379281","display_name":"Seamless design of smart edge processors","funder_award_id":"101070374","funder_id":"https://openalex.org/F4320338444","funder_display_name":"HORIZON EUROPE Digital, Industry and Space"}],"funders":[{"id":"https://openalex.org/F4320338444","display_name":"HORIZON EUROPE Digital, Industry and Space","ror":null}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399872413.pdf"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W1556844982","https://openalex.org/W1558370006","https://openalex.org/W1686810756","https://openalex.org/W1984300700","https://openalex.org/W2036055954","https://openalex.org/W2097117768","https://openalex.org/W2099000978","https://openalex.org/W2099001231","https://openalex.org/W2102738679","https://openalex.org/W2111742517","https://openalex.org/W2129740858","https://openalex.org/W2131771876","https://openalex.org/W2147543317","https://openalex.org/W2169987756","https://openalex.org/W2183341477","https://openalex.org/W2194775991","https://openalex.org/W2340604309","https://openalex.org/W2612445135","https://openalex.org/W2769265599","https://openalex.org/W2779253217","https://openalex.org/W2798541891","https://openalex.org/W2888796762","https://openalex.org/W2914304175","https://openalex.org/W2954478959","https://openalex.org/W2961619211","https://openalex.org/W2969388332","https://openalex.org/W3037699692","https://openalex.org/W3047049572","https://openalex.org/W3100704941","https://openalex.org/W3122286897","https://openalex.org/W3205717712","https://openalex.org/W3206129030","https://openalex.org/W4212774754","https://openalex.org/W4245394119","https://openalex.org/W4281692018","https://openalex.org/W4292738089","https://openalex.org/W4312443924","https://openalex.org/W6930016220"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2559910745","https://openalex.org/W1996171346","https://openalex.org/W3012004699","https://openalex.org/W2316698445","https://openalex.org/W73822458","https://openalex.org/W4392842317","https://openalex.org/W3029030103","https://openalex.org/W2478859663"],"abstract_inverted_index":{"Compilers":[0,330],"often":[1,13],"use":[2,85],"performance":[3,18,48,70],"models":[4],"to":[5,8,89,112,119,142,204,272,296],"decide":[6],"how":[7],"optimize":[9,120],"code.":[10,133],"This":[11],"is":[12,217,257],"preferred":[14],"over":[15,205,269],"using":[16],"hardware":[17,21,28],"measurements,":[19],"since":[20],"measurements":[22],"can":[23,63,124],"be":[24,125],"expensive,":[25],"limited":[26],"by":[27,130,244],"availability,":[29],"and":[30,46,68,81,146,214,238,288,326],"makes":[31],"the":[32,40,91,105,113,139,152,167,176,209,215,221,225,236,265,277,297,305,316],"output":[33],"of":[34,94,127,132,180,200,235,276],"compilation":[35],"non-deterministic.":[36],"Analytical":[37],"models,":[38],"on":[39,54,98,151,187,233,254,310],"other":[41,83],"hand,":[42],"serve":[43,64],"as":[44,65,102],"efficient":[45],"noise-free":[47,69],"indicators.":[49],"Since":[50],"many":[51,82],"optimizations":[52],"focus":[53],"improving":[55],"memory":[56,58],"performance,":[57],"cache":[59,92,160,212,320],"miss":[60],"rate":[61],"estimations":[62],"an":[66],"effective":[67],"indicator":[71],"for":[72,162,208],"superoptimizers,":[73],"worst-case":[74,177],"execution":[75],"time":[76,231],"analyses,":[77],"manual":[78],"program":[79,141,298],"optimization,":[80],"performance-focused":[84],"cases.":[86],"Existing":[87],"methods":[88],"model":[90,161,195,227,248,267,302],"behavior":[93,179],"affine":[95,163],"programs":[96,100,115,164],"work":[97],"small":[99],"such":[101],"those":[103],"in":[104,121,283,307],"Polybench":[106],"benchmark":[107,278],"but":[108],"do":[109,173],"not":[110,174],"scale":[111],"larger":[114],"we":[116,314],"would":[117],"like":[118],"production,":[122],"which":[123],"orders":[126],"magnitude":[128],"bigger":[129],"lines":[131],"These":[134],"analytical":[135,319],"approaches":[136],"hand":[137],"off":[138],"whole":[140],"a":[143,158,197,274,293],"Presburger":[144],"solver":[145],"perform":[147],"expensive":[148],"mathematical":[149],"operations":[150],"huge":[153],"resulting":[154],"formulas.":[155],"We":[156,183],"develop":[157],"scalable":[159,318],"that":[165,172,193],"splits":[166],"computation":[168],"into":[169],"smaller":[170,219],"pieces":[171],"trigger":[175],"asymptotic":[178],"these":[181],"solvers.":[182],"evaluate":[184],"our":[185,194,229,245,301],"approach":[186],"46":[188],"TorchVision":[189],"neural":[190],"networks,":[191,237],"finding":[192],"has":[196],"geomean":[198],"runtime":[199],"44.9":[201],"seconds":[202],"compared":[203],"32":[206],"minutes":[207,287],"state-of-the-art":[210,266],"prior":[211,226],"model,":[213],"latter":[216],"actually":[218],"than":[220,260],"true":[222],"value":[223],"because":[224],"reached":[228,243],"four-hour":[230],"limit":[232,240],"54%":[234],"this":[239],"was":[241],"never":[242],"tool.":[246],"Our":[247],"exploits":[249],"parallelism":[250],"effectively:":[251],"running":[252,261],"it":[253,262],"sixteen":[255],"cores":[256],"8.2x":[258],"faster":[259],"single-threaded.":[263],"While":[264],"takes":[268],"four":[270],"hours":[271],"analyze":[273],"majority":[275],"programs,":[279],"Falcon":[280],"produces":[281],"results":[282],"at":[284],"most":[285],"3":[286,289],"seconds;":[290],"moreover,":[291],"after":[292],"local":[294],"modification":[295],"being":[299],"analyzed,":[300],"efficiently":[303],"updates":[304],"predictions":[306],"513":[308],"ms":[309],"average":[311],"(geomean).":[312],"Thus,":[313],"provide":[315],"first":[317],"model.":[321],"CCS":[322],"Concepts:":[323],"\u2022":[324],"Software":[325],"its":[327],"engineering":[328],"\u2192":[329],".":[331]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}