Papers
401 papers found
Maelstrom: Mitigating Datacenter-level Disasters by Draining Interdependent Traffic Safely and Efficiently
Kaushik Veeraraghavan, Justin Meza, Scott Michelson et al.
Neural Adaptive Content-aware Internet Video Delivery
Hyunho Yeo, Youngmok Jung, Jaehong Kim et al.
Nickel: A Framework for Design and Verification of Information Flow Control Systems
Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney et al.
Noria: dynamic, partially-stateful data-flow for high-performance web applications
Jon Gjengset, Malte Schwarzkopf, Jonathan Behrens et al.
Obladi: Oblivious Serializable Transactions in the Cloud
Natacha Crooks, Matthew Burke, Ethan Cecchetti et al.
Orca: Differential Bug Localization in Large-Scale Services
Ranjita Bhagwan, Rahul Kumar, Chandra Sekhar Maddila et al.
Pocket: Elastic Ephemeral Storage for Serverless Analytics
Ana Klimovic, Yawen Wang, Patrick Stuedi et al.
PRETZEL: Opening the Black Box of Machine Learning Prediction Serving Systems
Yunseong Lee, Alberto Scolari, Byung-Gon Chun et al.
Principled Schedulability Analysis for Distributed Storage Systems using Thread Architecture Models
Suli Yang, Jing Liu, Andrea C. Arpaci-Dusseau et al.
Proving confidentiality in a file system using DiskSec
Atalay Ileri, Tej Chajed, Adam Chlipala et al.
Proving the correct execution of concurrent services in zero-knowledge
Srinath Setty, Sebastian Angel, Trinabh Gupta et al.
Ray: A Distributed Framework for Emerging AI Applications
Philipp Moritz, Robert Nishihara, Stephanie Wang et al.
REPT: Reverse Debugging of Failures in Deployed Software
Weidong Cui, Xinyang Ge, Baris Kasikci et al.
RobinHood: Tail Latency Aware Caching -- Dynamic Reallocation from Cache-Rich to Cache-Poor
Daniel S. Berger, Benjamin Berg, Timothy Zhu et al.
RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine
Kai Wang, Zhiqiang Zuo, John Thorpe et al.
Sharding the Shards: Managing Datastore Locality at Scale with Akkio
Muthukaruppan Annamalai, Kaushik Ravichandran, Harish Srinivas et al.
Sharing, Protection, and Compatibility for Reconfigurable Fabric with AmorphOS
Ahmed Khawaja, Joshua Landgraf, Rohith Prakash et al.
Sledgehammer: Cluster-Fueled Debugging
Andrew Quinn, Jason Flinn, Michael Cafarella
Splinter: Bare-Metal Extensions for Multi-Tenant Low-Latency Storage
Chinmay Kulkarni, Sara Moore, Mazhar Naqvi et al.
Taming Performance Variability
Aleksander Maricq, Dmitry Duplyakin, Ivo Jimenez et al.
The benefits and costs of writing a POSIX kernel in a high-level language
Cody Cutler, M. Frans Kaashoek, Robert T. Morris
The FuzzyLog: A Partially Ordered Shared Log
Joshua Lockerman, Jose M. Faleiro, Juno Kim et al.
Three steps is all you need: fast, accurate, automatic scaling decisions for distributed streaming dataflows
Vasiliki Kalavri, John Liagouris, Moritz Hoffmann et al.
TVM: An Automated End-to-End Optimizing Compiler for Deep Learning
Tianqi Chen, Thierry Moreau, Ziheng Jiang et al.
Verifying concurrent software using movers in CSPEC
Tej Chajed, Frans Kaashoek, Butler Lampson et al.