Combinatorial sketching for finite programs

@inproceedings{SolarLezama2006CombinatorialSF,
  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},
  year={2006}
}
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
625 Citations
Sketching concurrent data structures
  • 162
  • PDF
EdSketch: execution-driven sketching for Java
  • 13
Program sketching
  • Armando Solar-Lezama
  • Computer Science
  • International Journal on Software Tools for Technology Transfer
  • 2012
  • 125
  • PDF
EdSketch: execution-driven sketching for Java
  • 4
Approximate Program Synthesis
  • 1
  • PDF
Program synthesis from polymorphic refinement types
  • 146
  • PDF
Program Sketching via CTL* Model Checking
  • 6
  • PDF
Program synthesis: challenges and opportunities
  • C. David, D. Kroening
  • Mathematics, Medicine
  • Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
  • 2017
  • 10
  • PDF
Sketching stencils
  • 146
  • PDF
...
1
2
3
4
5
...