We present a system called Smyth for program sketching in a typed functional language
whereby the concrete evaluation of ordinary assertions gives rise to input-output examples …

We explore an approach to type-directed program synthesis rooted in constraint-based type
inference techniques. By doing this, we aim to more efficiently synthesize polymorphic code …

A language-agnostic approach for type-based component-oriented software synthesis is
developed from the fundamental principles of abstract algebra and Combinatory Logic. It …

We present preliminary research on Deuce+, a set of tools integrating plain text editing with
structural manipulation that brings the power of expressive and extensible type-directed …

Distributed protocols, typically expressed as stateful agents communicating asynchronously
over buffered communication channels, are difficult to design correctly. This difficulty has …

This thesis is a companion document to the publication Program Sketching with Live
Bidirectional Evaluation appearing in The International Conference on Functional …

We implement our approach in a prototype system, called SM, and develop several
examples that demonstrate how live bidirectional evaluation enables a novel workflow for …