Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Video
007: Democratically Finding the Cause of Packet Drops
Network failures continue to plague datacenter operators as their symptoms may not have direct correlation with where or why they occur. We introduce 007, a lightweight, always-on diagnosis application that can find problematic links and…
Video
The Four Big Bets (Illustrated via a Journey in Program Synthesis)
Sumit Gulwani will talk about the four bets that he made in the second half of his research career, which yielded greater personal satisfaction. He will illustrate this in the context of his research agenda…
Microsoft Research Blog
RAVEN: Reducing Power Consumption of Mobile Games without Compromising User Experience
In the last decade, mobile gaming has grown into a huge industry. According to Newzoo, the global mobile games market will reach $46.1 billion in 2017, a 19.4% increase from the year before. Players can…
Publication
Advancements in YARN Resource Manager
Project
Optimal Distributed Routing Protocols in Wireless mesh networks
We investigate the feasibility and benefits of a routing protocol explicitly aimed at making wireless mesh networks more predictable while preserving their efficiency and flexibility.
Project
A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering
FixRoute and RouteShepherd Abstract The performance of networks that use the Internet Protocol stack is sensitive to precise configuration of many low level parameters on each network device. These settings govern the action of dynamic…