Programming languages and software engineering
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…
Video
Installing Microsoft SEAL on Linux & macOS
A tutorial on how to install Microsoft SEAL on Linux and macOS.
Microsoft Research Blog
Researchers work to secure Azure Blockchain smart contracts with formal verification
In its young existence, the tamperproof and distributed ledger technology blockchain has already generated a lot of buzz and is being seen as disruptive, influencing approaches in such diverse areas as financial services, supply chains,…
