Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Group
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.”
Publication
Reference count analysis with shallow aliasing
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…
