[talks] Jonathan Frankle will present his Masters talk on Friday, July 17, 2015 at 10am in rm 401.

[Nicki Gotsis]

Jonathan Frankle will present his Masters talk on Friday, July 17, 2015 at 10am in rm 401.

The members of his committee are David Walker and Aarti Gupta.   Everyone is invited to attend his talk.  Title and abstract are below.

Example-Directed Synthesis: A Type-Theoretic Interpretation

Input-output examples have emerged as a practical and user-friendly specification mechanism for program synthesis in many environments. While example-driven tools have demonstrated tangible impact that has inspired adoption in industry, their underlying semantics are less well understood: what are "examples" and how do they relate to other kinds of specifications? I describe examples as "refinement types." Seen in this light, program synthesis is the task of finding an inhabitant of such a type. This insight provides an immediate semantic interpretation for examples. Moreover, in makes it possible to exploit decades of research in type theory as well as its correspondence with intuitionistic logic rather than designing ad hoc synthesis systems from scratch.