Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Microsoft Research Blog
Hyperscale cloud reliability and the art of organic collaboration
What does it take to build one of the most reliable hyperscale clouds on the planet? It clearly requires astronomical investments and a vast organization that operates at global scale in near seamless coordination. Yet…
Publication
Rethinking Networking for “Five Computers”
Project
SeeDot: compiler for low-precision machine learning
Note: This research project has reached its conclusion. These pages are maintained for reference and archival purposes. The emergence of IoT and Machine Learning (ML) has seen an increase in systems that deploy sensors to…
Video
TLA+ Specifications of the Consistency Guarantees Provided by Cosmos DB
Microsoft Azure Cosmos DB provides 5 well defined operation consistency properties to the clients: strong consistency, bounded staleness, session consistency, consistent prefix, and eventual consistency. Here we provide client-centric TLA+ specifications of these properties to…
