PROSE Program Synthesis Hackathon

Prose Homepage with installation instructions

Pre-Hackathon Talk

PROSE: Inductive Program Synthesis for the Mass Markets (PPTX) by Oleksandr Polozov, Sumit Gulwani, and the rest of the PROSE team

Hackathon Tutorial Slides

Programming by Examples with PROSE SDK: A Tutorial (PPTX) by Oleksandr Polozov, Sumit Gulwani, and the rest of the PROSE team

Additional, Highlighted Resources

• Standard PROSE concepts lists built-in PROSE operators that can be used in your DSL (e.g. Pair, Map, Filter, …) along with usage instructions.
• Step-by-step tutorial for creating domain-specific languages (DSLs) with PROSE