Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Dijkstra Monads for All
Event
Microsoft at FCRC 2019
Microsoft is excited to be a sponsor of 5 different conferences at FCRC 2019. Over 30 of our researchers are at the conference. Stop by our booth to chat with our experts, see demos of…
Publication
Mimalloc: Free List Sharding in Action
Microsoft Research Blog
2019 Dissertation Grant recipients embarking on diverse paths to scientific and societal impact
I’m pleased to announce the winners of the 2019 Microsoft Research Dissertation Grants. Each dissertation grant provides up to $25,000 in funding to doctoral students at North American universities who are underrepresented in the field…
Video
From automatic differentiation to message passing
Automatic differentiation is an elegant technique for converting a computable function expressed as a program into a derivative-computing program with similar time complexity. It does not execute the original program as a black-box, nor does…
