Combinatorial sketching for finite programs

  title={Combinatorial sketching for finite programs},
  author={Armando Solar-Lezama and Liviu Tancau and Rastislav Bod{\'i}k and Sanjit A. Seshia and Vijay A. Saraswat},
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… CONTINUE READING
Highly Influential
This paper has highly influenced 55 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 508 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 335 extracted citations

Neuro-Symbolic Program Corrector for Introductory Programming Assignments

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) • 2018
View 14 Excerpts
Highly Influenced

Safety-Aware Apprenticeship Learning

View 5 Excerpts
Highly Influenced

DSSynth: An automated digital controller synthesis tool for physical plants

2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) • 2017
View 10 Excerpts
Highly Influenced

Advancing declarative programming

View 9 Excerpts
Highly Influenced

Computer Aided Verification

Lecture Notes in Computer Science • 2015
View 20 Excerpts
Highly Influenced

Automated error localization and correction for imperative programs

2011 Formal Methods in Computer-Aided Design (FMCAD) • 2011
View 14 Excerpts
Highly Influenced

Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters

2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) • 2018
View 10 Excerpts
Highly Influenced

Program Splicing

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) • 2018
View 7 Excerpts
Highly Influenced

509 Citations

Citations per Year
Semantic Scholar estimates that this publication has 509 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-5 of 5 references

Similar Papers

Loading similar papers…