Probabilistic Semantic Transformations in Excel to appear at POPL 2016
FlashProg disambiguating interface to be presented at UIST 2015
FlashFill’s Ranking system to be presented at CAV 2015
George M. Sprowls Award for Best Dissertation in CS, MIT, 2014
So proud of my PRIMES high-school students Amy Chou and Justin Kaashoek. MAA Poster (JMM 2014) and semi-finalist in Siemens Competition 2014 for their work on Automated Puzzle Generation.
Submitted my dissertation Accessible Programming using Program Synthesis.
Modular Synthesis work featured as the spotlight on MIT Homepage!
Co-organizing the 1st Syntax-Guided Synthesis competition at CAV 2014 (FLOC 2014)