Please report broken links via e-mail to the web-chair.
Open access to the proceedings is available via: SigOps
Time Protection: the Missing OS Abstraction
Qian Ge (UNSW Australia, Data61 CSIRO Australia); Yuval Yarom (The University of Adelaide, Data61 CSIRO Australia); Tom Chothia (University of Birmingham); Gernot Heiser (UNSW Australia, Data61 CSIRO Australia)
Paper – Video – Audio
Why Joanie Can Encrypt: Easy Email Encryption with Easy Key Management
John S. Koh, Steven M. Bellovin, and Jason Nieh (Columbia University)
Paper – Video – Audio
Conclave: Secure Multi-Party Computation on Big Data
Nikolaj Volgushev (Alexandra Institute); Malte Schwarzkopf (MIT CSAIL); Ben Getchell, Mayank Varia, Andrei Lapets, and Azer Bestavros (Boston University)
Paper – Video – Audio
CONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code
Ajay Brahmakshatriya (MIT, USA); Piyus Kedia (IIIT Delhi, India); Hamed Nemati (CISPA, Saarland University, Germany); Derrick McKee (Purdue University); Deepak Garg (MPI SWS); Akash Lal, Aseem Rastogi, and Anmol Panda (Microsoft Research India); Pratik Bhatu (AMD India)
Paper – Video – Audio
Per Application Power Delivery
Akhil Guliani and Michael Swift (University of Wisconsin-Madison)
Paper – Video – Audio
AnDrone: Virtual Drone Computing in the Cloud
Alexander Van’t Hof and Jason Nieh (Columbia University)
Paper – Video – Audio
When eXtended Para-Virtualization (XPV) Meets NUMA
Bao Bui (Toulouse University); Djob Mvondo (Grenoble Alpes University); Boris Teabe, Kevin Jiokeng, Lavoisier Wapet, and Alain Tchana (Toulouse University); Gael Thomas (TeleCom Sud Paris); Daniel Hagimont (Toulouse University); Gilles Muller (LIP6/INRIA); Noel DePalma (Grenoble Alpes University)
Paper – Video – Audio
Make the Most out of Last Level Cache in Intel Processors
Alireza Farshin (KTH Royal Institute of Technology); Amir Roozbeh (KTH Royal Institute of Technology / Ericsson Research); Gerald Q. Maguire Jr. and Dejan Kostic (KTH Royal Institute of Technology)
Paper – Video – Audio
SkyBridge: Fast and Secure Inter-Process Communication for Microkernels
Zeyu Mi, Dingji Li, Zihan Yang, Xinran Wang, and Haibo Chen (Shanghai Jiao Tong University)
Paper – Video – Audio
CoPart: Coordinated Partitioning of Last-Level Cache and Memory Bandwidth for Fairness-Aware Workload Consolidation on Commodity Servers
Jinsu Park, Seongbeom Park, and Woongki Baek (UNIST)
Paper – Video – Audio
LockDoc: Trace-Based Analysis of Locking in the Linux Kernel
Alexander Lochmann, Horst Schirmeier, and Hendrik Borghorst (TU Dortmund); Olaf Spinczyk (Osnabrück University)
Paper – Video – Audio
Compact NUMA-aware Locks
Dave Dice and Alex Kogan (Oracle Labs)
Paper – Video – Audio
Project Almanac: A Time-Traveling Solid-State Drive
Xiaohao Wang, Yifan Yuan, You Zhou, Chance Coats, and Jian Huang (UIUC)
Paper – Video – Audio
ShieldStore: Shielded In-memory Key-value Storage with SGX
Taehoon Kim, Joongun Park, Jaewook Woo, Seungheun Jeon, and Jaehyuk Huh (KAIST)
Paper – Video – Audio
URSA: Hybrid Block Storage for Cloud-Scale Virtual Disks
Huiba Li, Yiming Zhang, Zhiming Zhang, Shengyun Liu, Peng Huang, Dongsheng Li, Zheng Qin, Kai Chen, and Yongqiang Xiong
Paper – Video – Audio
VStore: A Data Store for Analytics on Large Videos
Tiantu Xu, Luis Materon Botelho, and Felix Xiaozhu Lin (Purdue ECE)
Paper – Video – Audio
Managing Tail Latency in Datacenter-Scale File Systems Under Production Constraints
Pulkit A Misra (Duke University); Maria F. Borge (University of Sydney); Íñigo Goiri (Microsoft Research); Alvin R. Lebeck (Duke University); Willy Zwaenepoel (EPFL and University of Sydney); Ricardo Bianchini (Microsoft Research)
Paper – Video – Audio
Wormhole: A Fast Ordered Index for In-memory Data Management
Xingbo Wu (University of Illinois at Chicago); Fan Ni and Song Jiang (University of Texas at Arlington)
Paper – Video – Audio
Scalable RDMA RPC on Reliable Connection with Efficient Resource Sharing
Youmin Chen, Youyou Lu, and Jiwu Shu (Tsinghua University)
Paper – Video – Audio
FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems
Jeffrey F. Lukman, Huan Ke, Cesar A. Stuardo, Riza O. Suminto, and Daniar H. Kurniawan (University of Chicago); Dikaimin Simon (Surya University); Satria Priambada (Bandung Institute of Technology); Chen Tian and Feng Ye (Huawei US R&D Center); Tanakorn Leesatapornwongsa (Samsung Research America); Aarti Gupta (Princeton University); Shan Lu and Haryadi S. Gunawi (University of Chicago)
Paper – Video – Audio
The Case For In-Network Computing On Demand
Yuta Tokusashi (Keio University); Huynh Tu Dang, Fernando Pedone, and Robert Soulé (Università della Svizzera italiana); Noa Zilberman (University of Cambridge)
Paper – Video – Audio
I Sent It: Where Does Slow Data Go to Wait?
Youngbin Im, Parisa Rahimzadeh, and Brett Shouse (University of Colorado Boulder); Shinik Park (Ulsan National Institute of Science and Technology); Carlee Joe-Wong (Carnegie Mellon University); Kyunghan Lee (Ulsan National Institute of Science and Technology); Sangtae Ha (University of Colorado Boulder)
Paper – Video – Audio
Efficient and Safe Network Updates with Suffix Causal Consistency
Sheng Liu (University of North Carolina at Chapel Hill); Theophilus A. Benson (Brown University); Michael K. Reiter (University of North Carolina at Chapel Hill)
Paper – Video – Audio
TAS: TCP Acceleration as an OS Service
Antoine Kaufmann (MPI-SWS); Tim Stamler and Simon Peter (The University of Texas at Austin); Naveen Kr. Sharma, Thomas Anderson, and Arvind Krishnamurthy (University of Washington)
Paper – Video – Audio
GraphBolt: Dependency-Driven Synchronous Processing of Streaming Graphs
Mugilan Mariappan and Keval Vora (Simon Fraser University)
Paper – Video – Audio
Supporting Very Large Models using Dataflow Graph Partitioning
Minjie Wang, Chien-chin Huang, and Jinyang Li (NYU)
Paper – Video – Audio
Matrix Algebra Framework for Portable, Scalable and Efficient Query Engines for RDF Graphs
Fuad Jamour (KAUST); Ibrahim Abdelaziz (IBM Research); Yuanzhao Chen and Panos Kalnis (KAUST)
Paper – Video – Audio
Runtime Object Lifetime Profiler for Latency Sensitive Big Data Applications
Rodrigo Bruno and Duarte Patrício (INESC-ID / Instituto Superior Técnico, University of Lisbon); José Simão (ISEL / INESC-ID); Luís Veiga and Paulo Ferreira (INESC-ID / Instituto Superior Técnico, University of Lisbon)
Paper – Video – Audio
Keeping Master Green at Scale
Sundaram Ananthanarayanan, Masoud Saeida Ardekani, Denis Haenikel, Balaji Varadarajan, Simon Soriano, Dhaval Patel, and Ali-Reza Adl-Tabatabai (Uber Technologies Inc.)
Paper – Video – Audio
Serving Mobile Apps – A Slice at a Time
Ketan Bhardwaj, Matt Saunders, Nikita Juneja, and Ada Gavrilovska (Georgia Institute of Technology)
Paper – Video – Audio
A Lightweight Framework for Fine-Grained Lifecycle Control of Android Applications
Yuru Shao (University of Michigan); Ruowen Wang, Xun Chen, and Ahmed M. Azab (Samsung Research America); Z. Morley Mao (University of Michigan)
Paper – Video – Audio
Teaching Rigorous Distributed Systems With Efficient Model Checking
Ellis Michael, Doug Woos, Thomas Anderson, Michael D. Ernst, and Zachary Tatlock (University of Washington)
Paper – Video – Audio
Resource Deflation: A New Approach For Transient Resource Reclamation
Prateek Sharma (Indiana University); Ahmed Ali-Eldin and Prashant Shenoy (University of Massachusetts Amherst)
Paper – Video – Audio
GrandSLAm: Guaranteeing SLAs for Jobs in Microservices Execution Frameworks
Ram Srivatsa Kannan (University of Michigan); Lavanya Subramanian (Facebook); Ashwin Raju (University of Texas at Arlington); Jeongseob Ahn (Ajou University); Jason Mars and Lingjia Tang (University of Michigan)
Paper – Video – Audio
Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud
Pedro Joaquim (INESC-ID); Manuel Bravo (IMDEA Software Institute); Luís Rodrigues and Miguel Matos (INESC-ID)
Paper – Video – Audio
Efficient, Consistent Distributed Computation with Predictive Treaties
Tom Magrino (Cornell University); Jed Liu (Barefoot Networks); Johannes Gehrke (Microsoft); Nate Foster and Andrew C. Myers (Cornell University)
Paper – Video – Audio
Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software
Florian Rommel, Christian Dietrich, Michael Rodin, and Daniel Lohmann (Leibniz Universität Hannover)
Paper – Video – Audio
Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code
Zhiqiang Zuo (Nanjing University, China); John Thorpe (UCLA); Yifei Wang, Qiuhong Pan, and Shenming Lu (Nanjing University, China); Kai Wang and Guoqing Harry Xu (UCLA); Linzhang Wang and Xuandong Li (Nanjing University, China)
Paper – Video – Audio
Replayable Execution Optimized for Page Sharing for a Managed Runtime Environment
Kai-Ting Amy Wang, Rayson Ho, and Peng Wu (Huawei Technology)
Paper – Video – Audio
Deferred Runtime Pipelining for contentious multicore software transactions
Shuai Mu (Stony Brook University); Sebastian Angel (University of Pennsylvania); Dennis Shasha (New York University)
Paper – Video – Audio
GRNN: Low-Latency and Scalable RNN Inference on GPUs
Connor Holmes and Daniel Mawhirter (Colorado School of Mines); Yuxiong He (Microsoft Business AI and Research); Feng Yan (University of Nevada, Reno); Bo Wu (Colorado School of Mines)
Paper – Video – Audio
Automating Dependence-Aware Parallelization of Machine Learning Training on Distributed Shared Memory
Jinliang Wei (Carnegie Mellon University); Garth Gibson (Vector Institute, Carnegie Mellon University, University of Toronto); Philip Gibbons (Carnegie Mellon University); Eric Xing (Petuum, Carnegie Mellon University)
Paper – Video – Audio
Parallax: Sparsity-aware Data Parallel Training of Deep Neural Networks
Soojeong Kim, Gyeong-In Yu, Hojin Park, Sungwoo Cho, Eunji Jeong, Hyeonmin Ha, Sanha Lee, Joo Seong Jeong, and Byung-Gon Chun (Seoul National University)
Paper – Video – Audio
Fast Distributed Deep Learning over RDMA
Jilong Xue, Youshan Miao, Cheng Chen, Ming Wu, Lintao Zhang, and Lidong Zhou (Microsoft Research)
Paper – Video – Audio
μLayer: Low Latency On-Device Inference Using Cooperative Single-Layer Acceleration and Processor-Friendly Quantization
Youngsok Kim and Joonsung Kim (Seoul National University); Dongju Chae (POSTECH); Daehyun Kim (Samsung Research); Jangwoo Kim (Seoul National University)
Paper – Video – Audio
You can also download the proceedings at: SigOps and at: the ACM digital library (click on Table of Contents).