A Case for Redundant Arrays of Inexpensive Links in Data Center Networks.

TopoOpt is a novel DNN training system that co-optimizes the distributed training process across computation, communication, and network topology.

FSCQ is the first file system with machine-checkable proof that its implementation meets its specification and whose specification includes crashes.

A Protected Dataplane Operating System for High Throughput and Low Latency

Shinjuku is a single-address space operating system that uses hardware support for virtualization to make preemption practical at the microsecond scale.

Shenango is a system that enables servers in datacenters to simultaneously provide low tail latency and high CPU efficiency, by rapidly reallocating cores across applications, at timescales as small as every 5 microseconds.