Progsynth

Deduction — a complete formal spec
Inductive — I/O examples: Flash Fill
Sketching: ROSETTE, PROSE

Novel approaches to program space enumeration:

Stochastic techniques
Deductive top-down search

What we need is to aid human to write complex programs.

concurrency
precision

Future:

Versatility of DSLs
Human in the loop