Inductive Synthesis of Recursive Functional Programs

Hofmann, Martin; Hirschberger, Andreas; Kitzelmannn, Emanuel; Schmid, Ute

doi:10.1007/978-3-540-74565-5_42

Cited by 1 publication

(2 citation statements)

References 4 publications

(2 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A targeted genetic programming effort previously synthesized binary search (Wolfson and Sipper 2009). ADATE uses evolutionary methods and synthesized a slow sort without problem-specific knowledge (Hofmann et al 2007). But fast sorts have not been produced by pure inductive synthesis.…”

Section: Benchmark Descriptionsmentioning

confidence: 99%

See 1 more Smart Citation

Stepping Stones to Inductive Synthesis of Low-Level Looping Programs

Rosin¹

2019

AAAI

View full text Add to dashboard Cite

Inductive program synthesis, from input/output examples, can provide an opportunity to automatically create programs from scratch without presupposing the algorithmic form of the solution. For induction of general programs with loops (as opposed to loop-free programs, or synthesis for domain-specific languages), the state of the art is at the level of introductory programming assignments. Most problems that require algorithmic subtlety, such as fast sorting, have remained out of reach without the benefit of significant problem-specific background knowledge. A key challenge is to identify cues that are available to guide search towards correct looping programs. We present MAKESPEARE, a simple delayed-acceptance hillclimbing method that synthesizes low-level looping programs from input/output examples. During search, delayed acceptance bypasses small gains to identify significantly-improved stepping stone programs that tend to generalize and enable further progress. The method performs well on a set of established benchmarks, and succeeds on the previously unsolved "Collatz Numbers" program synthesis problem. Additional benchmarks include the problem of rapidly sorting integer arrays, in which we observe the emergence of comb sort (a Shell sort variant that is empirically fast). MAKESPEARE has also synthesized a record-setting program on one of the puzzles from the TIS-100 assembly language programming game.

show abstract

Section: Benchmark Descriptionsmentioning

confidence: 99%

“…ADATE uses evolutionary methods and synthesized a slow sort without problem-specific knowledge (Hofmann et al 2007). But fast sorts have not been produced by pure inductive synthesis.…”

Section: Benchmark Descriptionsmentioning

confidence: 99%

Stepping Stones to Inductive Synthesis of Low-Level Looping Programs

Rosin¹

2019

AAAI

View full text Add to dashboard Cite

show abstract

Inductive Synthesis of Recursive Functional Programs

Cited by 1 publication

References 4 publications

Stepping Stones to Inductive Synthesis of Low-Level Looping Programs

Stepping Stones to Inductive Synthesis of Low-Level Looping Programs

Contact Info

Product

Resources

About