Systems

Tiramisu: Fast Multilayer Network Verification NSDI 2020 Tolerating Slowdowns in Replicated State Machines using Copilots OSDI 2020 Toward a Generic Fault Tolerance Technique for Partial Network Partitioning OSDI 2020 Towards Logically Centralized Interdomain Routing NSDI 2020 tpprof: A Network Traffic Pattern Profiler NSDI 2020 Understanding, Detecting and Localizing Partial Failures in Large System Software NSDI 2020 VMscatter: A Versatile MIMO Backscatter 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 Cleaning Noisy and Heterogeneous Metadata for Record Linking across Scholarly Big Datasets AAAI 2019 CommNets: Communicating Neural Network Architectures for Resource Constrained Systems AAAI 2019 Communication-Optimal Distributed Dynamic Graph Clustering AAAI 2019 Correctness and Performance for Stateful Chained Network Functions NSDI 2019 Cross-channel Communication Networks NeurIPS 2019 Datacenter RPCs can be General and Fast NSDI 2019 DETER: Deterministic TCP Replay for Performance Diagnosis 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 dShark: A General, Easy to Program and Scalable Framework for Analyzing In-network Packet Traces NSDI 2019 Dual Entangled Polynomial Code: Three-Dimensional Coding for Distributed Matrix Multiplication ICML 2019 Eiffel: Efficient and Flexible Software Packet Scheduling NSDI 2019 Enriching Ontology-based Data Access with Provenance IJCAI 2019 Fault Tolerance in Iterative-Convergent Machine Learning ICML 2019