Program synthesis

Program synthesis is a special form of automatic programming that is most often paired with a technique for formal verification. The goal is to… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
Recent years have seen the proposal of a number of neural architectures for the problem of Program Induction. Given a set of… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 3
Is this relevant?
Highly Cited
2015
Highly Cited
2015
This paper presents an algorithm for synthesizing recursive functions that process algebraic datatypes. It is founded on proof… (More)
  • figure 2
  • figure 3
  • figure 6
  • figure 5
  • figure 8
Is this relevant?
Highly Cited
2013
Highly Cited
2013
Input-output examples are a simple and accessible way of describing program behaviour. Program synthesis from input-output… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2011
Highly Cited
2011
We consider the problem of synthesizing loop-free programs that implement a desired functionality using components from a given… (More)
  • figure 1
  • figure 4
  • figure 3
  • table 1
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We present a novel approach to automatic synthesis of loop-free programs. The approach is based on a combination of oracle-guided… (More)
  • figure 5
  • figure 6
  • figure 8
  • figure 9
  • table 1
Is this relevant?
Highly Cited
2010
Highly Cited
2010
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Program Synthesis by Sketching by Armando Solar-Lezama Doctor in Philosophy in Engineering-Electrical Engineering and Computer… (More)
  • figure 3.2
  • figure 4.1
  • figure 4.2
  • figure 4.3
  • figure 4.4
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Abs t r ac t . This paper presents algorithms for the automatic synthesis of real-time controllers by finding a winning strategy… (More)
Is this relevant?
Highly Cited
1971
Highly Cited
1971
An elementary outline of the theorem-proving approach to automatic program synthesis is given, without dwelling on technical… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 8
Is this relevant?