Accepted Papers

Click on the icon next to the title to download the paper

Time Protection: the Missing OS Abstraction Download Document
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)

Why Joanie Can Encrypt: Easy Email Encryption with Easy Key Management
John S. Koh, Steven M. Bellovin, and Jason Nieh (Columbia University)

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)

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)

Per Application Power Delivery
Akhil Guliani and Michael Swift (University of Wisconsin-Madison)

AnDrone: Virtual Drone Computing in the Cloud
Alexander Van’t Hof and Jason Nieh (Columbia University)

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)

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)

SkyBridge: Fast and Secure Inter-Process Communication for Microkernels
Zeyu Mi, Dingji Li, Zihan Yang, Xinran Wang, and Haibo Chen (Shanghai Jiao Tong University)

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)

LockDoc: Trace-Based Analysis of Locking in the Linux Kernel
Alexander Lochmann, Horst Schirmeier, and Hendrik Borghorst (TU Dortmund); Olaf Spinczyk (Osnabrück University)

Compact NUMA-aware Locks
Dave Dice and Alex Kogan (Oracle Labs)

Project Almanac: A Time-Traveling Solid-State Drive
Xiaohao Wang, Yifan Yuan, You Zhou, Chance Coats, and Jian Huang (UIUC)

ShieldStore: Shielded In-memory Key-value Storage with SGX
Taehoon Kim, Joongun Park, Jaewook Woo, Seungheun Jeon, and Jaehyuk Huh (KAIST)

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

VStore: A Data Store for Analytics on Large Videos
Tiantu Xu, Luis Materon Botelho, and Felix Xiaozhu Lin (Purdue ECE)

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)

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)

Scalable RDMA RPC on Reliable Connection with Efficient Resource Sharing
Youmin Chen, Youyou Lu, and Jiwu Shu (Tsinghua University)

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)

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)

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)

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)

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)

GraphBolt: Dependency-Driven Synchronous Processing of Streaming Graphs
Mugilan Mariappan and Keval Vora (Simon Fraser University)

Supporting Very Large Models using Dataflow Graph Partitioning
Minjie Wang, Chien-chin Huang, and Jinyang Li (NYU)

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)

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)

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.)

Serving Mobile Apps – A Slice at a Time
Ketan Bhardwaj, Matt Saunders, Nikita Juneja, and Ada Gavrilovska (Georgia Institute of Technology)

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)

Teaching Rigorous Distributed Systems With Efficient Model Checking
Ellis Michael, Doug Woos, Thomas Anderson, Michael D. Ernst, and Zachary Tatlock (University of Washington)

Resource Deflation: A New Approach For Transient Resource Reclamation
Prateek Sharma (Indiana University); Ahmed Ali-Eldin and Prashant Shenoy (University of Massachusetts Amherst)

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)

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)

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)

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)

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)

Replayable Execution Optimized for Page Sharing for a Managed Runtime Environment
Kai-Ting Amy Wang, Rayson Ho, and Peng Wu (Huawei Technology)

Deferred Runtime Pipelining for contentious multicore software transactions
Shuai Mu (Stony Brook University); Sebastian Angel (University of Pennsylvania); Dennis Shasha (New York University)

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)

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)

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)

Fast Distributed Deep Learning over RDMA
Jilong Xue, Youshan Miao, Cheng Chen, Ming Wu, Lintao Zhang, and Lidong Zhou (Microsoft Research)

μ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)

 

You can also download the proceedings at: SigOps and at: the ACM digital library (click on Table of Contents).