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