Systems

Blockene: A High-throughput Blockchain Over Mobile Devices OSDI 2020 Building An Elastic Query Engine on Disaggregated Storage NSDI 2020 Building Scalable and Flexible Cluster Managers Using Declarative Programming OSDI 2020 Byzantine Ordered Consensus without Byzantine Oligarchy OSDI 2020 Caladan: Mitigating Interference at Microsecond Timescales OSDI 2020 Clouseau: Generating Communication Protocols from Commitments AAAI 2020 Cobra: Making Transactional Key-Value Stores Verifiably Serializable OSDI 2020 Comb Decoding towards Collision-Free WiFi NSDI 2020 Communication-Efficient Asynchronous Stochastic Frank-Wolfe over Nuclear-norm Balls AISTATS 2020 Config2Spec: Mining Network Specifications from Network Configurations NSDI 2020 Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs (Student Abstract) AAAI 2020 Contra: A Programmable System for Performance-aware Routing NSDI 2020 Decentralized gradient methods: does topology matter? AISTATS 2020 Diamond-Miner: Comprehensive Discovery of the Internet's Topology Diamonds NSDI 2020 Distributed Machine Learning through Heterogeneous Edge Systems AAAI 2020 Distributed Signal Detection under Communication Constraints COLT 2020 Distributed Stochastic Gradient Descent with Event-Triggered Communication AAAI 2020 Domain Compression and its Application to Randomness-Optimal Distributed Goodness-of-Fit COLT 2020 Efficient Algorithms for Device Placement of DNN Graph Operators NeurIPS 2020 Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract OSDI 2020 Eingerprint: Robust Energy-related Fingerprinting for Passive RFID Tags NSDI 2020 Epistemic Integrity Constraints for Ontology-Based Data Management AAAI 2020 Expanding across time to deliver bandwidth efficiency and low latency NSDI 2020 Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache OSDI 2020 Fast Uniform Dispersion of a Crash-prone Swarm RSS 2020