Systems

On the Discrepancy between the Theoretical Analysis and Practical Implementations of Compressed Communication for Distributed Deep Learning AAAI 2020 On the Expressivity of ASK Queries in SPARQL AAAI 2020 Overload Control for µs-scale RPCs with Breakwater OSDI 2020 PACEMAKER: Avoiding HeART attacks in storage clusters with disk-adaptive redundancy OSDI 2020 PANIC: A High-Performance Programmable NIC for Multi-tenant Networks OSDI 2020 Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories OSDI 2020 Performance-Optimal Read-Only Transactions OSDI 2020 Persistent State Machines for Recoverable In-memory Storage Systems with NVRam OSDI 2020 PipeSwitch: Fast Pipelined Context Switching for Deep Learning Applications OSDI 2020 Plankton: Scalable network configuration verification through model checking NSDI 2020 Providing SLOs for Resource-Harvesting VMs in Cloud Platforms OSDI 2020 Query Answering for Existential Rules via Efficient Datalog Rewriting IJCAI 2020 Query Rewriting for Ontology-Mediated Conditional Answers AAAI 2020 RedLeaf: Isolation and Communication in a Safe Operating System OSDI 2020 Resilient Distributed Diffusion for Multi-Robot Systems Using Centerpoint RSS 2020 SafetyPin: Encrypted Backups with Human-Memorable Secrets OSDI 2020 Scalog: Seamless Reconfiguration and Total Order in a Scalable Shared Log NSDI 2020 Semeru: A Memory-Disaggregated Managed Runtime OSDI 2020 SlowMo: Improving Communication-Efficient Distributed SGD with Slow Momentum ICLR 2020 Sol: Fast Distributed Computation Over Slow Networks NSDI 2020 SP-PIFO: Approximating Push-In First-Out Behaviors using Strict-Priority Queues NSDI 2020 Storage Systems are Distributed Systems (So Verify Them That Way!) OSDI 2020 Symbolic Querying of Vector Spaces: Probabilistic Databases Meets Relational Embeddings UAI 2020 Theseus: an Experiment in Operating System Structure and State Management OSDI 2020 Thunderbolt: Throughput-Optimized, Quality-of-Service-Aware Power Capping at Scale OSDI 2020