Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Video
Reducing Faulty Executions of Distributed Systems, MSR Redmond Job Talk
When a bug is found in a long-running distributed system, developers typically start by identifying (i) which events in the execution caused their system to arrive at the unsafe state, and (ii) which events are…
Video
Characterization of OLTP Workloads: from Micro-architecture to Power/Performance
Traditional online transaction processing (OLTP) systems severely under-utilize the micro-architectural resources; more than half of the CPU cycles go to stalls, and the number of instructions retired per cycle barely reaches one on machines that…
Project
PerfOrator
This project is focused on optimizing the resource usage of bigData jobs. Standard database query optimization focuses on finding the best query execution plan, given fixed hardware resources. In BigData settings, both pay-as-you-go clouds and on-prem shared clusters,…
Project
Sneakernet: Facilitating Ubiquitous Device-to-Device File Transfers
Device-to-device file transfers are pervasive in many emerging markets, but users typically only share content with close friends or informal media vendors. We seek to facilitate ubiquitous device-to-device file transfers beyond one’s immediate social network.…
Tool
pfnum: LaTeX Proof-Step Renumbering
This program is for use with the LaTeX pf and pf2 packages. It makes the symbolic labels of proof steps the same as the printed step numbers.
Tool
Optical Data
This dataset is based on 14 months of optical data, from February 2015 to April 2016, taken from Microsoft’s optical backbone in North America. This backbone has O(50) optical cross-connects, O(100) WAN segments, and O(1000)…