Talks and presentations

Digging for Fold: Synthesis-Aided API Discovery for Haskell

November 15, 2020

Talk, OOPSLA 2020, Online

We present Hoogle+, a web-based API discovery tool for Haskell. A Hoogle+ user can specify a programming task using either a type, a set of input-output tests, or both. Given a specification, the tool returns a list of matching programs ... Read more

Interaction Modalities in Program Synthesis

July 23, 2020

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

Program synthesis searches from a high level specification to find a program that matches a user’s intent. Interactive program synthesis considers the human an essential part of that search process. Providing interactions comes in largel... Read more

Synthesis from Partial Refinements

January 22, 2020

Talk, POPL 2020 Student Research Competition, New Orleans, LA

While program synthesis with refinement types as a specification is rather precise, it is not expressive enough for even some simple programs. However, synthesis with examples as a specification can be fatiguingly verbose, with some prog... Read more

Component-based Type-driven Synthesis

January 18, 2019

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

I discussed Hoogle+, one of my research projects. It is a component-based type-driven synthesis technique for Haskell. Relying on a library of everyday functions and an input type query, the... Read more