Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Revocation for Delegatable Anonymous Credentials
Video
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.
Video
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…
Video
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
Tool
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,…
Video
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
Publication