Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Reactive Caching for Composed Services
Microsoft @ SPLASH 2018 OOPSLA
Microsoft is excited to be a part of SPLASH 2018 OOPSLA in Boston, Massachusetts November 4 – 9. Microsoft is a gold sponsor and many of our researchers in programming, languages, and software engineering have…
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…
CHET
CHET is a compiler and runtime that automates many parts of this process for neural network inference tasks. The compiler applies transformations based on a framework of symbolic analysis passes.
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…
