@article{MT9,
title = {On the Complexity of Cache Analysis for Different Replacement Policies },
author = {Monniaux, David and Touzeau, Valentin},
month = {nov},
year = {2019},
address = {New York, NY, USA},
eprint = {1811.01740},
journal = {Journal of the ACM},
number = {6},
pages = {41:1--41:22},
publisher = {ACM},
volume = {66},
team = {PACSS},
shortjournal = {J. ACM},
issue_date = {November 2019},
articleno = {41},
numpages = {22},
zurl = {http://doi.acm.org.ins2i.bib.cnrs.fr/10.1145/3366018},
acmid = {3366018},
eprinttype = {arXiv},
}
