Papers
Graviton: Trusted Execution Environments on GPUs
Stavros Volos, Kapil Vaswani, Rodrigo Bruno
Floem: A Programming System for NIC-Accelerated Network Applications
Phitchaya Mangpo Phothilimthana, Ming Liu, Antoine Kaufmann et al.
Neural Adaptive Content-aware Internet Video Delivery
Hyunho Yeo, Youngmok Jung, Jaehong Kim et al.
Splinter: Bare-Metal Extensions for Multi-Tenant Low-Latency Storage
Chinmay Kulkarni, Sara Moore, Mazhar Naqvi et al.
PRETZEL: Opening the Black Box of Machine Learning Prediction Serving Systems
Yunseong Lee, Alberto Scolari, Byung-Gon Chun et al.
Gandiva: Introspective Cluster Scheduling for Deep Learning
Wencong Xiao, Romil Bhardwaj, Ramachandran Ramjee et al.
TVM: An Automated End-to-End Optimizing Compiler for Deep Learning
Tianqi Chen, Thierry Moreau, Ziheng Jiang et al.
Ray: A Distributed Framework for Emerging AI Applications
Philipp Moritz, Robert Nishihara, Stephanie Wang et al.
Sledgehammer: Cluster-Fueled Debugging
Andrew Quinn, Jason Flinn, Michael Cafarella
wPerf: Generic Off-CPU Analysis to Identify Bottleneck Waiting Events
Fang Zhou, Yifan Gan, Sixiang Ma et al.
Differential Energy Profiling: Energy Optimization via Diffing Similar Apps
Abhilash Jindal, Y. Charlie Hu
Orca: Differential Bug Localization in Large-Scale Services
Ranjita Bhagwan, Rahul Kumar, Chandra Sekhar Maddila et al.
FlashShare: Punching Through Server Storage Stack from Kernel to Firmware for Ultra-Low Latency SSDs
Jie Zhang, Miryeong Kwon, Donghyun Gouk et al.
Write-Optimized and High-Performance Hashing Index Scheme for Persistent Memory
Pengfei Zuo, Yu Hua, Jie Wu
Sharding the Shards: Managing Datastore Locality at Scale with Akkio
Muthukaruppan Annamalai, Kaushik Ravichandran, Harish Srinivas et al.
Pocket: Elastic Ephemeral Storage for Serverless Analytics
Ana Klimovic, Yawen Wang, Patrick Stuedi et al.
Taming Performance Variability
Aleksander Maricq, Dmitry Duplyakin, Ivo Jimenez et al.
Fault-Tolerance, Fast and Slow: Exploiting Failure Asynchrony in Distributed Systems
Ramnatthan Alagappan, Aishwarya Ganesan, Jing Liu et al.
Maelstrom: Mitigating Datacenter-level Disasters by Draining Interdependent Traffic Safely and Efficiently
Kaushik Veeraraghavan, Justin Meza, Scott Michelson et al.
The FuzzyLog: A Partially Ordered Shared Log
Joshua Lockerman, Jose M. Faleiro, Juno Kim et al.
Proving the correct execution of concurrent services in zero-knowledge
Srinath Setty, Sebastian Angel, Trinabh Gupta et al.
Proving confidentiality in a file system using DiskSec
Atalay Ileri, Tej Chajed, Adam Chlipala et al.
Verifying concurrent software using movers in CSPEC
Tej Chajed, Frans Kaashoek, Butler Lampson et al.
Nickel: A Framework for Design and Verification of Information Flow Control Systems
Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney et al.
Focus: Querying Large Video Datasets with Low Latency and Low Cost
Kevin Hsieh, Ganesh Ananthanarayanan, Peter Bodik et al.