IMDEA Software

Iniciativa IMDEA

Inicio > Eventos > Software Seminar Series (S3)

Software Seminar Series (S3)

Pepe Vila

Tuesday, January 28, 2020

10:45am Meeting room 302 (Mountain View), level 3

Pepe Vila, PhD Student, Instituto IMDEA Software

CacheQuery: Learning Replacement Policies from Hardware Caches


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 2 previously undocumented cache replacement policies.

Time and place:
10:45am Meeting room 302 (Mountain View), level 3
IMDEA Software Institute, Campus de Montegancedo
28223-Pozuelo de Alarcón, Madrid, Spain

Software Seminar Series (S3) - Otoño 2019