76 citations · 157 across the 11 of their papers we have counts for
4 papers · 1 filter
Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis
Valentin Touzeau, Jan Reineke
While instruction cache analysis is essentially a solved problem, data cache analysis is more challenging. In contrast to instruction fetches, the data accesses generated by a memo…
Warping Cache Simulation of Polyhedral Programs
Canberk Morelli, Jan Reineke
Techniques to evaluate a program's cache performance fall into two camps: 1. Traditional trace-based cache simulators precisely account for sophisticated real-world cache models an…
Cache Persistence Analysis: Finally Exact
Gregory Stock, Sebastian Hahn, Jan Reineke
Cache persistence analysis is an important part of worst-case execution time (WCET) analysis. It has been extensively studied in the past twenty years. Despite these efforts, all e…
Fast and exact analysis for LRU caches
Claire Maïza, Valentin Touzeau, David Monniaux +1
For applications in worst-case execution time analysis and in security, it is desirable to statically classify memory accesses into those that result in cache hits, and those that…