Polyhedral Analysis Using Parametric Objectives
No abstract available.
DOI 10.1007/978-3-642-33125-1_6
Related papers
- An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection SAS 2019
- PolyUFC: Polyhedral Compilation Meets Roofline Analysis for Uncore Frequency Capping CGO 2026
- Parametric prediction of heap memory requirements ISMM 2008
- Deriving parametric multi-way recursive divide-and-conquer dynamic programming algorithms using polyhedral compilers CGO 2020
- Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes CC 2015
- Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation PLDI 2026
- Exploiting Sparsity in Polyhedral Analysis SAS 2005
- Revisiting Polyhedral Analysis for Hybrid Systems SAS 2019