Talks and presentations

Component-based Type-driven Synthesis

January 18, 2019

Talk, UC San Diego, Department of Computer Science, San Diego, California

In this talk I presented Hoogle+, a component-based type-driven synthesis technique for Haskell. Relying on a library of everyday functions and an input type query, the system finds an inhabitant of the, potentially polymorphic, type using those provided component set. The search tames an explosion of infinite types through a novel type-guided abstraction refinement (TYGAR) approach.