Systems & networking
Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.
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…
Publication