Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Farmer’s Theorem revisited
Publication
Physically Based Real-time Animation of Curtains
Group
Database
The charter of the Database Group at Microsoft Research Redmond is to increase the usefulness of database system technology to users by creating, extending, and applying database technology. To that end, we consult with product…
Publication
Statistical Learning and Kernel Methods
Publication