About

You can browse my resume and CV for more info. Below is a partial list of projects I have done. For more information, visit the linked repositories or read the related papers.

Automating the Browser for End-Users

We built a tool to allow end-users to automate the browser, a simple form of macros for websites. End-users demonstrate the task they want performed and our tool, Ringer, synthesizes a program that can complete that task. My PhD thesis is on this work.