그룹
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.”
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
동영상
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