Eric: Created page with "Type system support for template based synthesis - Armando Solar-Lezama Recent work has proposed a promising approach to improving scalability of program synthesis by allowi..."

2017-07-02T20:46:43Z

Created page with "Type system support for template based synthesis - Armando Solar-Lezama Recent work has proposed a promising approach to improving scalability of program synthesis by allowi..."

New page

Type system support for template based synthesis

- Armando Solar-Lezama

Recent work has proposed a promising approach to improving scalability of program synthesis by allowing the user to supply a syntactic template that constrains the space of potential programs. Unfortunately, creating templates often requires nontrivial effort from the user, which impedes the usability of the synthesizer. In the talk I will present a new approach that relies on polymorphic synthesis constructs: a small but powerful extension to the language of syntactic templates, which makes it possible to define a program space in a concise and highly reusable manner, while at the same time retains the scalability benefits of conventional templates.

WG211/M17SolarLezama - Revision history

Eric: Created page with "Type system support for template based synthesis - Armando Solar-Lezama Recent work has proposed a promising approach to improving scalability of program synthesis by allowi..."