微软研究院
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on…
When a bug is found in a long-running distributed system, developers typically start by identifying (i) which events in the execution caused their system to arrive at the unsafe state, and (ii) which events are…
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…
