Programming languages and software engineering
Publication
Fast BGP Simulation of Large Datacenters
Microsoft Research Blog
Microsoft Research 2018: 10 memorable blogs topping a year of open source and innovation
The year’s end is an opportunity to reflect on what was achieved and to resolve to aspire to even greater heights in the one that’s about to begin. Looking back on what was accomplished at…
Tool
AMBROSIA
Ambrosia is a programming language independent approach for authoring and deploying highly robust distributed applications. Ambrosia dramatically lowers development and deployment costs and time to market by automatically providing recovery and high availability.
Tool
Reactive Machine 1.0
The reactive machine is a programming model for microservices that provides virtual resiliency and elasticity: programmers can focus on the application logic, while the runtime transparently handles machine failures, connection failures, and distribution over a…
Video
Discover[i]: Component-based Parameterized Reasoning for Distributed Applications
Distributed systems are hard to get right. There have been many notable efforts in formal reasoning for distributed systems: these efforts have focused on language design, automated or semi-automated verification, and, more recently, on automated…
![Video: Discover[i]: Component-based Parameterized Reasoning for Distributed Applications](https://www.microsoft.com/en-us/research/wp-content/uploads/2018/11/42373_Discoveri-Component-based-Parameterized-Reasoning_video_10_2019_1280x720-1024x576.jpg)
Video
Automated Reasoning of Database Queries
From booking air tickets to analyzing astronomy datasets, database queries are pervasive in people’s work and life. However, reasoning database queries automatically is not easy. It is shown to be undecidable in general. And there…
