Efficient Search as a Means of Executing Specifications
No abstract available.
Related papers
- Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis CGO 2026
- Parallel Parsing Processes JFP 2004
- Towards Efficient Compiler Auto-tuning: Leveraging Synergistic Search Spaces CGO 2025
- Moldable, context-aware searching with Spotter Onward! 2016
- Synthesis from LTL Specifications with Mean-Payoff Objectives TACAS 2013
- Fast searches for effective optimization phase sequences PLDI 2004
- Efficient software model checking of soundness of type systems OOPSLA 2008
- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) TACAS 2021