Program Synthesis with Equivalence Reduction
Abstract elided by the publisher.
Related papers
- Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation TACAS 2017
- Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits OOPSLA 2025
- Bottom-Up Synthesis of Memory Mutations with Separation Logic ECOOP 2025
- Efficient Bottom-Up Synthesis for Programs with Local Variables POPL 2024
- Oriented Metrics for Bottom-Up Enumerative Synthesis POPL 2026
- Reductions for Synthesis Procedures VMCAI 2013
- A Uniform Reduction Equivalence for Process Calculi APLAS 2004
- On Program Equivalence with Reductions SAS 2014