Systems & networking
Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.
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…
Publication
Bill Gates features FarmBeats on GatesNotes
Podcast
Storing digital data in synthetic DNA with Dr. Karin Strauss
Episode 48, October 31, 2018 – Dr. Strauss talks about life at the intersection of computer science and biology which, for many, is more like the intersection of science fiction and science, and explains how…
Microsoft Research Blog
Peeking into the future of mobile systems
Mobile computing and communications have transformed the world over the past decade in ways scarcely imaginable. What exciting advances does the future hold in store? The aptly named MobiCom conference, the flagship conference of Association…
