机译:Precise, efficient, and context-sensitive cache analysis
Inst Polytech Paris, Telecom Paris, LTCI, Paris, France;
Lab Cogitamus, Paris, France;
Cache analysis; Cache persistence; Conflict sets; Cache summaries; LRU cache replacement; Worst-case execution time;