Systems

The FuzzyLog: A Partially Ordered Shared Log OSDI 2018 Three steps is all you need: fast, accurate, automatic scaling decisions for distributed streaming dataflows OSDI 2018 ZebRAM: Comprehensive and Compatible Software Protection Against Rowhammer Attacks OSDI 2018 APUNet: Revitalizing GPU as Packet Processing Accelerator NSDI 2017 Correct by Construction Networks Using Stepwise Refinement NSDI 2017 Dataset for a Neural Natural Language Interface for Databases (NNLIDB) IJCNLP 2017 Distributed Mean Estimation with Limited Communication ICML 2017 Efficient Memory Disaggregation with Infiniswap NSDI 2017 FlexCore: Massively Parallel and Flexible Processing for Large MIMO Access Points NSDI 2017 FM Backscatter: Enabling Connected Cities and Smart Fabrics NSDI 2017 Most Probable Explanations for Probabilistic Database Queries IJCAI 2017 Mylly — The Mill: A New Platform for Processing Speech and Text Corpora Easily and Efficiently Interspeech 2017 On Querying Incomplete Information in Databases under Bag Semantics IJCAI 2017 On-the-fly Operation Batching in Dynamic Computation Graphs NeurIPS 2017 Passive Realtime Datacenter Fault Detection and Localization NSDI 2017 Polynomial Codes: an Optimal Design for High-Dimensional Coded Matrix Multiplication NeurIPS 2017 Query Rewriting for DL-Lite with n-ary Concrete Domains IJCAI 2017 RAIL: A Case for Redundant Arrays of Inexpensive Links in Data Center Networks NSDI 2017 Robust Validation of Network Designs under Uncertain Demands and Failures NSDI 2017 Search Strategies as Synchronous Processes (Extended Abstract) IJCAI 2017 SnapVX: A Network-Based Convex Optimization Solver JMLR 2017 Softpressure: A Schedule-Driven Backpressure Algorithm for Coping with Network Congestion IJCAI 2017 Straggler Mitigation in Distributed Optimization Through Data Encoding NeurIPS 2017 ViewMap: Sharing Private In-Vehicle Dashcam Videos NSDI 2017 A Communication-Efficient Parallel Algorithm for Decision Tree NeurIPS 2016