Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Software Analysis and Intelligence in Engineering Systems (SAINTES) Group
The SAINTES groups goal is to “Enable people to measure and improve software products and processes everywhere.”
Reference count analysis with shallow aliasing
Revocation for Delegatable Anonymous Credentials
Yuan Yu – C# and LINQ
Yuan Yu explains the basics of LINQ and how LINQ statements can be embedded into C# code at the Scientific Computing workshop at Bangalore, India.
Microsoft Campus Tours – Microsoft Research Part 1 – The Anechoic Chamber
Larry Larsen and Microsoft Research General Manager Kevin Schofield take a tour of Building 99. In this, the first of three parts, we check out one of the anechoic chambers used to create the technology…
Growing Talent
Plenary session at day 1 of the 2010 Microsoft Research Asia Faculty Summit held in Shanghai, China. Presenters: Baining Guo, Assistant Managing Director, Microsoft Research Asia and John Hopcroft, Turing Award winner, Cornell University
Distributed Key-Manager Verification
This package contains the F# and F7 source files to aid in the verification of a distributed key-management system. This new component implements a data-protection API for groups of clients. To enable long-term data protection,…
RARE: Rethinking Architectural Research and Education
Plenary session at day 1 of the 2010 Microsoft Research Asia Faculty Summit held in Shanghai, China. Presenter: Chuck Thacker, Turing Award winner, Technical Fellow, Microsoft Research