Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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…
A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.
Dafny is a verification-aware programming language.
GitHub Publication Publication Publication Publication Publication
This video presents our research improving remote pair programming using a eyetracking-enabled, shared gaze visualization employed in Visual Studio. This video supports our CHI 2017 paper of the same title.
