Research Expertise and Interest
program analysis, program synthesis, database application performance, big systems
My research interests include program analysis, program synthesis, improving database application performance, and building big systems in general. Some current research themes:
- Verified lifting is a new technique for inferring properties of programs. We have applied this to database applications (QBS), stencil computations (STNG), programmable switches (Domino), parallel data processing frameworks (Casper), and the SandCat project.
- Leveraging programming languages techniques to build and optimize data management systems:Cosette, Hyperloop, and LightDB.
- Improving end user programming across different domains: CodeNN, Concode, and Scythe.
In the News
July 8, 2019
Nine young faculty members have been awarded the Presidential Early Career Award for Scientists and Engineers (PECASE), the highest honor bestowed by the U.S. government on scientists and engineers in the early stages of their careers.