Yun Liang Tulika Mitra Static analysis for fast and accurate design space exploration of caches. 103-108 2008 CODES+ISSS http://doi.acm.org/10.1145/1450135.1450159 conf/codes/2008 db/conf/codes/codes2008.html#LiangM08