Synthesis and Some of Its Challenges
Abstract elided by the publisher.
Related papers
- A Concurrent Approach to String Transformation Synthesis PLDI 2025
- Programmable Program Synthesis CAV 2021
- Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper) VMCAI 2021
- Reconciling enumerative and deductive program synthesis PLDI 2020
- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper) CAV 2021
- SyRust: automatic testing of Rust libraries with semantic-aware program synthesis PLDI 2021
- Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse OOPSLA 2026
- FlashMeta: a framework for inductive program synthesis OOPSLA 2015