Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Video
A Calculus of Atomic Actions
Concurrency-related bugs are notoriously difficult to discover by code review and testing. By doing a formal proof on the program text, one can statically verify that no execution of the program leads to an error.…
Video
Behind the Code with Eric Horvitz
Microsoft is well known for Windows, Office, .NET, Xbox, Zune and a long list of other products and technologies. Less discussed however, is a group at Microsoft that isn’t necessarily focused on ship dates, packaging,…
Publication
Secure Compilation of a Multi-Tier Web Language
Publication
Gate Synthesis for C Programs with Heap
Project
Kodu
Kodu is a visual programming language made specifically for creating games. It is designed to be accessible for children and enjoyable for anyone. The programming environment runs on the Xbox, allowing rapid design iteration using…
Publication