The Sketching Approach to Program Synthesis
Abstract elided by the publisher.
Related papers
- Program Sketching by Automatically Generating Mocks from Tests CAV 2021
- Modular Synthesis of Sketches Using Models VMCAI 2014
- Multi-modal Sketch-Based Behavior Tree Synthesis OOPSLA 2025
- Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving CGO 2025
- Component-based synthesis of table consolidation and transformation tasks from examples PLDI 2017
- Sketching concurrent data structures PLDI 2008
- Program sketching with live bidirectional evaluation ICFP 2020
- Efficient synthesis of probabilistic programs PLDI 2015