@inproceedings{vila2020cachequery,
author = {Vila, Pepe and Ganty, Pierre and Guarnieri, Marco and Köpf, Boris},
title = {CacheQuery: learning replacement policies from hardware caches},
booktitle = {2020 Programming Language Design and Implementation},
year = {2020},
month = {June},
abstract = {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.},
publisher = {ACM},
url = {http://approjects.co.za/?big=en-us/research/publication/cachequery-learning-replacement-policies-from-hardware-caches/},
pages = {519-532},
}