Cache Behavior Prediction by Abstract Interpretation
No abstract available.
DOI 10.1007/3-540-61739-6_33
Related papers
- Path-Sensitive Abstract Interpretation for WCET Estimation PLDI 2026
- Predicting Program Behavior Using Real or Estimated Profiles PLDI 1991
- Fast and exact analysis for LRU caches POPL 2019
- Accurate critical path prediction via random trace construction CGO 2008
- A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation VMCAI 2023
- WCET-aware static locking of instruction caches CGO 2012
- A Collecting Interpretation of Expressions (Without Powerdomains) POPL 1988
- Collecting Interpretations of Expressions TOPLAS 1991