Posts by Collection




Component-based Type-driven Synthesis


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.


Undergraduate Teaching Assistant

COMP 105 - Programming Languages, Tufts University, 2015

Teaching Assistant for Kathleen Fisher’s programming languages course. I led a weekly recitation for students to better understand the semantic differences between imperative and functional programming languages. I helped to grade student homework assignments and tests.