My research is in Programming Languages; I am particularly interested in the distribution of labor between the human programmer and their tools. I am currently co-advised by Ras Bodik and Björn Hartmann.
My current research project is a DSL for defining meaningful feedback for student solutions to deterministic finite automata homework problems.
A benchmarking toolkit for genomic variant calling algorithms; I contributed to the project while working at UC Berkeley's AMPlab. Our work was published in Bioinformatics; the website for the project is here.