Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Our programming by example work (POPL 2011), also recognized as CACM Research Highlights (CACM 2012), ships as part of the Flash Fill feature in Excel in Office 2013. Here’s a small video illustrating this feature.…
By Thomas Ball, Research Manager, Research in Software Engineering (RiSE) group, Microsoft Research The industrial research cycle Here is what I have told new hires of Microsoft Research (MSR) since I became a manager some…
Bugs in programs remain a pernicious problem. Research techniques in automated program improvement and repair are typically classified as either heuristic—searching over a set of syntactic changes, often drawn from an existing body of code—or…
Facet Key shows the most frequent entities of various types across an entire document collection. Selecting an entity of interest filters and highlights linked visuals in ways that enable document collections to be analyzed systematically,…
In this lecture we will discuss how to tolerate Byzantine faults in achieving consensus. We illustrate through refining Paxos step by step. This should be most fun to those who have become familiar with Paxos-based…
