Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Video
Programmability at Cloud Scale
Building interactive services that are scalable and reliable is hard. Interactivity imposes strict constraints on availability and latency, as that directly impacts end-user experience. To support a large number of concurrent user sessions, high throughput…
Tool
Core Tabular Source Code
This is the source code for the Core Tabular command-line compiler, tc.exe.
Publication
Toward a Just-in-Time Static Analysis
Publication