A Framework for Exploring Optimization Properties
No abstract available.
Related papers
- An Approach for Exploring Code-Improving Transformations TOPLAS 1997
- EXPLORER : query- and demand-driven exploration of interprocedural control flow properties OOPSLA 2015
- Optimal Stateless Model Checking for Causal Consistency TACAS 2023
- Geo: A Query Rewrite Framework for Graph Pattern Mining OOPSLA 2026
- Optimal stateless model checking under the release-acquire semantics OOPSLA 2018
- HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical Space Decomposition OOPSLA 2025
- YFlows: Systematic Dataflow Exploration and Code Generation for Efficient Neural Network Inference using SIMD Architectures on CPUs CC 2024
- Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned Models CAV 2024