Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Microsoft Research Blog
Microsoft Makes Its Presence Felt at GHC
This week, technology-minded women from the across the United States have descend on Atlanta for the annual Grace Hopper Celebration (GHC) of Women in Computing, an annual conference that spotlights women’s contributions in computer science,…
Microsoft Research Blog
New Redmond Lab Head Seeks Elegance
By Rob Knies, Senior Editor, Microsoft Research Peter Lee is a bit of a daredevil, having pursued race-car driving in his youth. He’s also a fervent believer in the importance of finding beautiful solutions to…
Publication
Semantic Subtyping with an SMT Solver
Project
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…
Publication
Static Verification for Code Contracts
Publication