论文与出版物
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
视频
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…
工具
Core Tabular Source Code
This is the source code for the Core Tabular command-line compiler, tc.exe.