Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Facet Key visual
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,…
Dr. TLA+ Series – Byzantine Paxos
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…
44th ACM SIGPLAN Symposium on Principles of Programming Languages
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…
Reducing Faulty Executions of Distributed Systems, MSR Redmond Job Talk
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…