Distributed Systems

Storage Systems are Distributed Systems (So Verify Them That Way!) OSDI 2020 Thunderbolt: Throughput-Optimized, Quality-of-Service-Aware Power Capping at Scale OSDI 2020 Tolerating Slowdowns in Replicated State Machines using Copilots OSDI 2020 Toward a Generic Fault Tolerance Technique for Partial Network Partitioning OSDI 2020 Understanding, Detecting and Localizing Partial Failures in Large System Software NSDI 2020 Write Dependency Disentanglement with HORAE OSDI 2020 AiD-EM: Adaptive Decision Support for Electricity Markets Negotiations IJCAI 2019 Alembic: Automated Model Inference for Stateful Network Functions NSDI 2019 Communication-Optimal Distributed Dynamic Graph Clustering AAAI 2019 Correctness and Performance for Stateful Chained Network Functions NSDI 2019 Datacenter RPCs can be General and Fast NSDI 2019 DETOX: A Redundancy-based Framework for Faster and More Robust Gradient Aggregation NeurIPS 2019 Direct Universal Access: Making Data Center Resources Available to FPGA NSDI 2019 Distributed PageRank Computation: An Improved Theoretical Study AAAI 2019 Dual Entangled Polynomial Code: Three-Dimensional Coding for Distributed Matrix Multiplication ICML 2019 Fault Tolerance in Iterative-Convergent Machine Learning ICML 2019 Hydra: a federated resource manager for data-center scale analytics NSDI 2019 Network Offloading Policies for Cloud Robotics: A Learning-Based Approach RSS 2019 Optimal Sparsity-Sensitive Bounds for Distributed Mean Estimation NeurIPS 2019 Scalable Distributed DL Training: Batching Communication and Computation AAAI 2019 Shoal: A Network Architecture for Disaggregated Racks NSDI 2019 Slim: OS Kernel Support for a Low-Overhead Container Overlay Network NSDI 2019 Stardust: Divide and Conquer in the Data Center Network NSDI 2019 SySCD: A System-Aware Parallel Coordinate Descent Algorithm NeurIPS 2019 Understanding Lifecycle Management Complexity of Datacenter Topologies NSDI 2019