@article{TMM+9,
title = { Fast and Exact Analysis for LRU Caches },
author = {Touzeau, Valentin and Maiza, Claire and Monniaux, David and Reineke, Jan},
month = {jan},
year = {2019},
address = {New York, NY, USA},
journal = {Proc. ACM Program. Lang.},
pages = {54:1--54:29},
publisher = {ACM},
volume = {3},
team = {PACSS, SYNC, axe_SharedResources},
}