Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Microsoft Research Blog
The Code That No One in the Cloud Can Live Without
Posted by Rob Knies A couple of years ago, a few Microsoft researchers published a couple of interesting papers on storage efficiencies. Now, with breathtaking speed, the concepts in those papers have been embraced across…
Microsoft Research Blog
Gulwani Wins 2014 Robin Milner Young Researcher Award
Sumit Gulwani is a kind and accomplished person, the type who doesn’t simply display concern when he sees something amiss, but actually rolls up his sleeves and begins to fix it. While his day job…
Publication
Approximations for Model Construction
Publication
CTL+FO Verification as Constraint Solving
Publication