PLDI 2020 (series) / PLDI Research Papers /
CacheQuery: Learning Replacement Policies from Hardware Caches
Thu 18 Jun 2020 16:40 - 17:00 at PLDI Research Papers live stream - Synthesis II Chair(s): Phitchaya Mangpo Phothilimthana
We show how to infer deterministic cache replacement policies using off-the-shelf automata learning and program synthesis techniques. For this, we construct and chain two abstractions that expose the cache replacement policy of any set in the cache hierarchy as a membership oracle to the learning algorithm, based on timing measurements on a silicon CPU. Our experiments demonstrate an advantage in scope and scalability over prior art and uncover two previously undocumented cache replacement policies.
Thu 18 JunDisplayed time zone: Pacific Time (US & Canada) change
Thu 18 Jun
Displayed time zone: Pacific Time (US & Canada) change
16:00 - 17:00 | Synthesis IIPLDI Research Papers at PLDI Research Papers live stream Chair(s): Phitchaya Mangpo Phothilimthana Google | ||
16:00 20mTalk | Multi-modal Synthesis of Regular Expressions PLDI Research Papers Qiaochu Chen University of Texas at Austin, USA, Xinyu Wang University of Michigan at Ann Arbor, USA, Xi Ye University of Texas at Austin, USA, Greg Durrett University of Texas at Austin, USA, Işil Dillig University of Texas at Austin, USA | ||
16:20 20mTalk | Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting PLDI Research Papers DongKwon Lee Seoul National University, South Korea, Woosuk Lee Hanyang University, South Korea, Hakjoo Oh Korea University, South Korea, Kwangkeun Yi Seoul National University, South Korea | ||
16:40 20mTalk | CacheQuery: Learning Replacement Policies from Hardware Caches PLDI Research Papers Pepe Vila IMDEA Software Institute, Spain, Pierre Ganty IMDEA Software Institute, Spain, Marco Guarnieri IMDEA Software Institute, Spain, Boris Köpf Microsoft Research, n.n. | ||