Systems & networking
Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.
Microsoft Research Blog
Preventing side-channels in the cloud
Sophisticated side-channel attacks present new security challenges for cloud providers. Learn how Microsoft is exploring defenses against emerging attacks with principled microarchitectural isolation:
Podcast
Abstracts: November 5, 2024
Researchers Chris Hawblitzel and Jay Lorch share how progress in programming languages and verification approaches are bringing bug-free software within reach. Their work on the Rust verification tool Verus won the Distinguished Artifact Award at…
Podcast
Abstracts: November 4, 2024
In their 2024 SOSP paper, researchers explore a common—though often undertested—software system issue: retry bugs. Research manager Shan Lu and PhD candidate Bogdan Stoica share how they’re combining traditional program analysis and LLMs to address the…
Microsoft Research Blog
Microsoft at SOSP 2024: Innovations in systems research
Building resilient systems, scaling deep learning computation, and reproducing failures in production are just some of the ways Microsoft researchers are advancing the state of the art in computer systems research at SOSP 2024.
Event
SOSP 2024
Microsoft is proud to be a sponsor of Symposium on Operating Systems Principles (SOSP) (opens in new tab), the world’s premier forum for researchers, developers, programmers, and teachers of computer systems technology. Academic and industrial…
