Papers
401 papers found
Orchard: Differentially Private Analytics at Scale
Edo Roth, Hengchu Zhang, Andreas Haeberlen et al.
Overload Control for µs-scale RPCs with Breakwater
Inho Cho, Ahmed Saeed, Joshua Fried et al.
PACEMAKER: Avoiding HeART attacks in storage clusters with disk-adaptive redundancy
Saurabh Kadekodi, Francisco Maturana, Suhas Jayaram Subramanya et al.
PANIC: A High-Performance Programmable NIC for Multi-tenant Networks
Jiaxin Lin, Kiran Patel, Brent E. Stephens et al.
Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories
Jialin Li, Jacob Nelson, Ellis Michael et al.
Performance-Optimal Read-Only Transactions
Haonan Lu, Siddhartha Sen, Wyatt Lloyd
Persistent State Machines for Recoverable In-memory Storage Systems with NVRam
Wen Zhang, Scott Shenker, Irene Zhang
PipeSwitch: Fast Pipelined Context Switching for Deep Learning Applications
Zhihao Bai, Zhen Zhang, Yibo Zhu et al.
Predictive and Adaptive Failure Mitigation to Avert Production Cloud VM Interruptions
Sebastien Levy, Randolph Yao, Youjiang Wu et al.
Protean: VM Allocation Service at Scale
Ori Hadary, Luke Marshall, Ishai Menache et al.
Providing SLOs for Resource-Harvesting VMs in Cloud Platforms
Pradeep Ambati, Íñigo Goiri, Felipe Frujeri et al.
RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers
Hang Zhu, Kostis Kaffes, Zixu Chen et al.
Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks
Lingxiao Ma, Zhiqiang Xie, Zhi Yang et al.
RedLeaf: Isolation and Communication in a Safe Operating System
Vikram Narayanan, Tianjiao Huang, David Detweiler et al.
Retiarii: A Deep Learning Exploratory-Training Framework
Quanlu Zhang, Zhenhua Han, Fan Yang et al.
SafetyPin: Encrypted Backups with Human-Memorable Secrets
Emma Dauterman, Henry Corrigan-Gibbs, David Mazières
Semeru: A Memory-Disaggregated Managed Runtime
Chenxi Wang, Haoran Ma, Shi Liu et al.
Serving DNNs like Clockwork: Performance Predictability from the Bottom Up
Arpan Gujarati, Reza Karimi, Safya Alzayat et al.
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel
Luke Nelson, Jacob Van Geffen, Emina Torlak et al.
Storage Systems are Distributed Systems (So Verify Them That Way!)
Travis Hance, Andrea Lattuada, Chris Hawblitzel et al.
Sundial: Fault-tolerant Clock Synchronization for Datacenters
Yuliang Li, Gautam Kumar, Hema Hariharan et al.
Testing Configuration Changes in Context to Prevent Production Failures
Xudong Sun, Runxiang Cheng, Jianyan Chen et al.
Testing Database Engines via Pivoted Query Synthesis
Manuel Rigger, Zhendong Su, Distinguished Artifact Award Winner
The CacheLib Caching Engine: Design and Experiences at Scale
Benjamin Berg, Daniel S. Berger, Sara McAllister et al.
Theseus: an Experiment in Operating System Structure and State Management
Kevin Boos, Namitha Liyanage, Ramla Ijaz et al.