Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Project
CloudBrain for Automatic Troubleshooting for the Cloud
Service availability, which is arguably the single most import KPI for cloud computing, can be brought down by various incidents. The state-of-the-art of incident troubleshooting, however, is still an (exhausting) effort of human experts. Our…
Project
RDMA for Cloud Computing
In this project, we have introduced a series of technologies, including DCQCN congestion control and DSCP-based PFC, and addressed a set of challenges including PFC deadlock, RDMA transport livelock, PFC pause frame storm, slow-receiver symptom,…
Event
SoCal NEGT Symposium 2016
Microsoft was a sponsor and proud to have R. Preston McAfee deliver one of the keynotes at the 2016 SoCal NEGT in Los Angeles, California. Our presenters chatted with attendees about both the application of…
Publication
Errata and Proofs for Quickr
Microsoft Research Blog
Sriram Rajamani squashed bugs on road to leadership role in Microsoft’s India research lab
By John Roach, Writer, Microsoft Research After a handful of years writing code for the telecommunications and design automation industries, computer bugs got the best of Sriram Rajamani. He witnessed firsthand how poorly constructed code…