Synthesizing benchmarks for predictive modeling
No abstract available.
Related papers
- Synthesizing Trajectory Queries from Examples CAV 2023
- Modeling black-box components with probabilistic synthesis GPCE 2020
- ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction CGO 2021
- Local refinement typing ICFP 2017
- Bayesian synthesis of probabilistic programs for automatic data modeling POPL 2019
- Accelerating Syntax-Guided Invariant Synthesis TACAS 2018
- Predicting Unroll Factors Using Supervised Classification CGO 2005
- Modeling and analyzing evaluation cost of CUDA kernels POPL 2021