Programming languages and software engineering
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,…
Project
VeriSol: A formal verifier for Solidity based smart contracts
Ensuring correctness of smart contracts is paramount to ensuring trust in blockchain-based systems. VeriSol (Verifier for Solidity) is a project for advancing the state-of-the-art in formal specification and verification of blockchain smart contracts, with the…
Video
Models as Code: Differentiable Programming with Zygote
Scientific computing is increasingly incorporating the advancements in machine learning and the ability to work with large amounts of data. At the same time, machine learning models are becoming increasingly sophisticated and exhibit many features…
Video
EzPC (Easy Secure Multi-party Computation)
Secure Multi-Party Computation (MPC) is a powerful cryptographic tool that allows multiple entities to execute protocols in order to compute functions on their private data without sharing their data in the clear with each other.…
