Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
プロジェクト
Concurrent Revisions
The Revisions project introduces a novel programming model for concurrent, parallel, and distributed applications. It provides programmers with a simple, yet powerful and efficient mechanism (based on mutable snapshots and deterministic conflict resolution) to execute…
動画
Andrew Herbert Discusses the Evolution of Computing
Watch Andrew Herbert, managing director of Microsoft Research Cambridge, talk about the latest trends in computing and take the pulse of computer science.
