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