Ascertaining Uncertainty for Efficient Exact Cache Analysis
Abstract elided by the publisher.
Related papers
- Fast and exact analysis for LRU caches POPL 2019
- Exact Analysis of the Cache Behavior of Nested Loops PLDI 2001
- Compiling Discrete Probabilistic Programs for Vectorized Exact Inference CC 2023
- Scaling Optimization over Uncertainty via Compilation OOPSLA 2025
- Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes CC 2015
- Efficient and Exact Data Dependence Analysis PLDI 1991
- Sound compilation of reals POPL 2014
- Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation SAS 1994