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.