Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Programming by Examples
Publication
Deciding Bit-Vector Formulas with mcSAT
Video
Why I work at Microsoft Research Cambridge – Jasmin Fisher, Senior Researcher
Why I work at Microsoft Research – Jasmin Fisher, Senior Researcher, Programming Principles and Tools.
Video
Why I work at Microsoft Research Cambridge – Simon Peyton Jones, Principal Researcher
Why I work at Microsoft Research – Simon Peyton Jones, Principal Researcher, Programming Principles and Tools.
Microsoft Research Blog
Convex optimization highlights ICCV program session
By John Kaiser, Research News Convex optimization, prized for its efficiency and utility in solving small and medium-size problems across multiple disciplines, could soon be extended to handle much larger problems and tasks, such as…
Microsoft Research Blog
IEEE Fellow Sengupta transformed cloud computing, data storage, network routing
By George Thomas Jr., Writer, Microsoft For Sudipta Sengupta, Microsoft Research is a magical place. “At Microsoft and the places I was at previously, my work has often been in collaboration with researchers and engineers,…
Tool
TurkServer
TurkServer is a package for building interactive web-based user experiments on the Meteor (opens in new tab) web app framework. It uses Meteor’s powerful publish/subscribe data model and reactivity to make building real-time user interfaces less error-prone,…