Combinatorial sketching for finite programs

  title={Combinatorial sketching for finite programs},
  author={Armando Solar-Lezama and Liviu Tancau and R. Bod{\'i}k and S. Seshia and V. Saraswat},
  booktitle={ASPLOS XII},
Sketching is a software synthesis approach where the programmer develops a partial implementation - a sketch - and a separate specification of the desired functionality. The synthesizer then completes the sketch to behave like the specification. The correctness of the synthesized implementation is guaranteed by the compiler, which allows, among other benefits, rapid development of highly tuned implementations without the fear of introducing bugs.We develop SKETCH, a language for finite programs… Expand
Sketching concurrent data structures
EdSketch: execution-driven sketching for Java
Program sketching
  • Armando Solar-Lezama
  • Computer Science
  • International Journal on Software Tools for Technology Transfer
  • 2012
Approximate Program Synthesis
EdSketch: execution-driven sketching for Java
Program synthesis from polymorphic refinement types
Program Sketching via CTL* Model Checking
Program synthesis: challenges and opportunities
  • C. David, D. Kroening
  • Mathematics, Medicine
  • Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
  • 2017
Sketching stencils