CacheQuery: Learning Replacement Policies from Hardware Caches

Pepe Vila, Pierre Ganty, Marco Guarnieri +1

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 abstracti…