Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
This project is focused on optimizing the resource usage of bigData jobs. Standard database query optimization focuses on finding the best query execution plan, given fixed hardware resources. In BigData settings, both pay-as-you-go clouds and on-prem shared clusters,…
The goal of the WEye program is to improve communication between pair programmers using shared gaze awareness.
My group develops systems to help people manage information and share it with others. We consider both text (online discussion tools) and structured data (information visualization and management applications). A guiding principle is that humans…
Pex (Program EXploration) is a white-box test generation tool. Given a hand-written parameterized unit test, Pex analyzes the code to determine relevant test inputs fully automatically. The result is a traditional unit test suite with…
