Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Microsoft Research Blog
Research Focus: Week of April 24, 2023
Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Yael Tauman Kalai, a senior principal researcher at…
Microsoft Research Blog
TLA+ Foundation aims to bring math-based software modeling to the mainstream
TLA+ is a high level, open-source, math-based language for modeling computer programs and systems–especially concurrent and distributed ones. It comes with tools to help eliminate fundamental design errors, which are hard to find and expensive to…
Microsoft Research Blog
Automatic post-deployment management of cloud applications
In the first two blog posts in this series, we presented our vision for Cloud Intelligence/AIOps (AIOps) research, and scenarios where innovations in AI technologies can help build and operate complex cloud platforms and services…
Microsoft Research Blog
Microsoft at NSDI 2023: A commitment to advancing networking and distributed systems
Microsoft has made significant contributions to the prestigious USENIX NSDI’23 (opens in new tab) conference, which brings together experts in computer networks and distributed systems. A silver sponsor (opens in new tab) for the conference,…
Publication
Empowering Azure Storage with RDMA
Publication