{"id":"https://openalex.org/W2995049436","doi":"https://doi.org/10.1145/3385412.3386008","title":"CacheQuery: learning replacement policies from hardware caches","display_name":"CacheQuery: learning replacement policies from hardware caches","publication_year":2020,"publication_date":"2020-06-07","ids":{"openalex":"https://openalex.org/W2995049436","doi":"https://doi.org/10.1145/3385412.3386008","mag":"2995049436"},"language":"en","primary_location":{"id":"doi:10.1145/3385412.3386008","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3385412.3386008","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1912.09770","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056388968","display_name":"Pepe Vila","orcid":null},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]},{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Pepe Vila","raw_affiliation_strings":["IMDEA Software Institute, Spain / Universidad Polit\u00e9cnica de Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Spain / Universidad Polit\u00e9cnica de Madrid, Spain","institution_ids":["https://openalex.org/I4210162154","https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030085363","display_name":"Pierre Ganty","orcid":"https://orcid.org/0000-0002-3625-6003"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Pierre Ganty","raw_affiliation_strings":["IMDEA Software Institute, Spain","IMDEA Software Institute, Spain#TAB#"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Spain","institution_ids":["https://openalex.org/I4210162154"]},{"raw_affiliation_string":"IMDEA Software Institute, Spain#TAB#","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069694679","display_name":"Marco Guarnieri","orcid":"https://orcid.org/0000-0001-5767-555X"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Marco Guarnieri","raw_affiliation_strings":["IMDEA Software Institute, Spain","IMDEA Software Institute, Spain#TAB#"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Spain","institution_ids":["https://openalex.org/I4210162154"]},{"raw_affiliation_string":"IMDEA Software Institute, Spain#TAB#","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085729110","display_name":"Boris K\u00f6pf","orcid":"https://orcid.org/0009-0005-8004-0743"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Boris K\u00f6pf","raw_affiliation_strings":["Microsoft Research, UK"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, UK","institution_ids":["https://openalex.org/I4210164937"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5056388968"],"corresponding_institution_ids":["https://openalex.org/I4210162154","https://openalex.org/I88060688"],"apc_list":null,"apc_paid":null,"fwci":0.5438,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.72330298,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"519","last_page":"532"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9987000226974487,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9987000226974487,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.996399998664856,"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/T12288","display_name":"Optimization and Search Problems","score":0.9962000250816345,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8309977650642395},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.7850267887115479},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.685642421245575},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5987223982810974},{"id":"https://openalex.org/keywords/cache-algorithms","display_name":"Cache algorithms","score":0.5939334034919739},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.5202568769454956},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.5092707872390747},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.49809789657592773},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.49225011467933655},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4873538911342621},{"id":"https://openalex.org/keywords/cache-invalidation","display_name":"Cache invalidation","score":0.45316803455352783},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.42669227719306946},{"id":"https://openalex.org/keywords/bus-sniffing","display_name":"Bus sniffing","score":0.422937273979187},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3466348350048065},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.200576514005661}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8309977650642395},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.7850267887115479},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.685642421245575},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5987223982810974},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.5939334034919739},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.5202568769454956},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.5092707872390747},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.49809789657592773},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49225011467933655},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4873538911342621},{"id":"https://openalex.org/C25536678","wikidata":"https://www.wikidata.org/wiki/Q5015977","display_name":"Cache invalidation","level":5,"score":0.45316803455352783},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.42669227719306946},{"id":"https://openalex.org/C51185590","wikidata":"https://www.wikidata.org/wiki/Q1017228","display_name":"Bus sniffing","level":5,"score":0.422937273979187},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3466348350048065},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.200576514005661},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3385412.3386008","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3385412.3386008","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1912.09770","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.09770","pdf_url":"https://arxiv.org/pdf/1912.09770","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":"","raw_type":"text"},{"id":"doi:10.48550/arxiv.1912.09770","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1912.09770","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"},{"id":"mag:2995049436","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1912.09770","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.09770","pdf_url":"https://arxiv.org/pdf/1912.09770","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":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5584389321","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320307102","funder_display_name":"Intel Corporation"}],"funders":[{"id":"https://openalex.org/F4320307102","display_name":"Intel Corporation","ror":"https://ror.org/01ek73717"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2995049436.pdf","grobid_xml":"https://content.openalex.org/works/W2995049436.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W186035943","https://openalex.org/W565790143","https://openalex.org/W941301462","https://openalex.org/W1499849351","https://openalex.org/W1590649805","https://openalex.org/W1954144304","https://openalex.org/W1989445634","https://openalex.org/W2029577083","https://openalex.org/W2036500156","https://openalex.org/W2050143636","https://openalex.org/W2076285066","https://openalex.org/W2103289002","https://openalex.org/W2105394284","https://openalex.org/W2120692212","https://openalex.org/W2124350608","https://openalex.org/W2138076011","https://openalex.org/W2147657366","https://openalex.org/W2163563130","https://openalex.org/W2206957158","https://openalex.org/W2293441536","https://openalex.org/W2296602564","https://openalex.org/W2583228413","https://openalex.org/W2751428564","https://openalex.org/W2810584084","https://openalex.org/W2884075952","https://openalex.org/W2897675008","https://openalex.org/W2925685215","https://openalex.org/W2954757119","https://openalex.org/W2962832225","https://openalex.org/W2963889620","https://openalex.org/W2964118667","https://openalex.org/W2985076257","https://openalex.org/W3036949411","https://openalex.org/W4233548175","https://openalex.org/W4243210229","https://openalex.org/W4253438286","https://openalex.org/W6602198206","https://openalex.org/W6949561609","https://openalex.org/W6968376882"],"related_works":["https://openalex.org/W2325818590","https://openalex.org/W3132673372","https://openalex.org/W2016808106","https://openalex.org/W2140041027","https://openalex.org/W2148040550","https://openalex.org/W2063389777","https://openalex.org/W2559561317","https://openalex.org/W2242288615","https://openalex.org/W3142152417","https://openalex.org/W2131702734","https://openalex.org/W3136493614","https://openalex.org/W2050143636","https://openalex.org/W2089031675","https://openalex.org/W2128245018","https://openalex.org/W3013708106","https://openalex.org/W2216074320","https://openalex.org/W2149710423","https://openalex.org/W2185733299","https://openalex.org/W1604120642","https://openalex.org/W2040152477"],"abstract_inverted_index":{"We":[0],"show":[1],"how":[2],"to":[3,42],"infer":[4],"deterministic":[5],"cache":[6,28,36,71],"replacement":[7,29,72],"policies":[8],"using":[9],"off-the-shelf":[10],"automata":[11],"learning":[12,44],"and":[13,21,61,66],"program":[14],"synthesis":[15],"techniques.":[16],"For":[17],"this,":[18],"we":[19],"construct":[20],"chain":[22],"two":[23,68],"abstractions":[24],"that":[25],"expose":[26],"the":[27,35,43],"policy":[30],"of":[31],"any":[32],"set":[33],"in":[34,59],"hierarchy":[37],"as":[38],"a":[39,51],"membership":[40],"oracle":[41],"algorithm,":[45],"based":[46],"on":[47,50],"timing":[48],"measurements":[49],"silicon":[52],"CPU.":[53],"Our":[54],"experiments":[55],"demonstrate":[56],"an":[57],"advantage":[58],"scope":[60],"scalability":[62],"over":[63],"prior":[64],"art":[65],"uncover":[67],"previously":[69],"undocumented":[70],"policies.":[73]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}