Blue-Pencil: modeless program synthesis

The PROSE research and engineering team, led by Sumit Gulwani, develops APIs for program synthesis (programming by examples and natural language) and incorporates them into real products.