Conditionally Accepted Papers

This is a preliminary list, papers are conditionally accepted and subject to shepherding:


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

SkyBridge: Fast and Secure Inter-Process Communication for Microkernels
Zeyu Mi , Shanghai Jiao Tong University
Dingji Li , Shanghai Jiao Tong University
Zihan Yang , Shanghai Jiao Tong University
Xinran Wang , Shanghai Jiao Tong University
Haibo Chen , Shanghai Jiao Tong University
Zeyu Mi , Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University

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

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

GRNN: Low-Latency and Scalable RNN Inference on GPUs
Connor Holmes , Colorado School of Mines
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

μLayer: Low Latency On-Device Inference Using Cooperative Single-Layer Acceleration and Processor-Friendly Quantization
Youngsok Kim , Seoul National University
Joonsung Kim , Seoul National University
Dongju Chae , POSTECH
Daehyun Kim , Samsung Research
Jangwoo Kim , Seoul National University

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

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 , Microsoft Research India
Aseem Rastogi , Microsoft Research India
Anmol Panda , Microsoft Research India
Pratik Bhatu , AMD India

Support Very Large Models using Dataflow Graph Partitioning
Minjie Wang , NYU
Chien-chin Huang , NYU
Jinyang Li , NYU

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

Wormhole: A Fast Ordered Index for In-memory Data Management
Xingbo Wu , University of Illinois at Chicago
Fan Ni , University of Texas at Arlington
Song Jiang , University of Texas at Arlington

A Lightweight Framework for Fine-Grained Lifecycle Control of Android Applications
Yuru Shao , University of Michigan
Ruowen Wang , Samsung Research America
Xun Chen , Samsung Research America
Ahmed Azab , Samsung Research America
Z. Morley Mao , University of Michigan

Halo: Sparsity-aware Data Parallel Training of Deep Neural Networks
Soojeong Kim , Seoul National University
Gyeong-In Yu , Seoul National University
Hojin Park , Seoul National University
Sungwoo Cho , Seoul National University
Eunji Jeong , Seoul National University
Hyeonmin Ha , Seoul National University
Sanha Lee , Seoul National University
Joo Seong Jeong , Seoul National University
Byung-Gon Chun , Seoul National University

GrandSLAm: Guaranteeing SLAs for Jobs at Microservices Execution Framework
Ram Srivatsa Kannan , University of Michigan
Lavanya Subramanian , Facebook
Ashwin Raju , University of Texas at Arlington
Jeongseob Ahn , Ajou University
Jason Mars , University of Michigan
Lingjia Tang , University of Michigan

Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software
Florian Rommel , Leibniz Universität Hannover
Christian Dietrich , Leibniz Universität Hannover
Michael Rodin , Leibniz Universität Hannover
Daniel Lohmann , Leibniz Universität Hannover

When eXtended Para-Virtualization (XPV) Meets NUMA
Bao Bui , Toulouse Univrsity
Djob Mvondo , Grenoble Alpes University
Boris Teabe , Toulouse Univrsity
Kevin Jiokeng , Toulouse Univrsity
Lavoisier Wapet , Toulouse Univrsity
Alain Tchana , Toulouse Univrsity
Gael Thomas , TeleCom Sud Paris
Daniel Hagimont , Toulouse Univrsity
Gilles Muller , LIP6/INRIA
Noel DePalma , Grenoble Alpes University

I Sent It: Where Does Slow Data Go to Wait?
Youngbin Im , University of Colorado Boulder
Parisa Rahimzadeh , University of Colorado Boulder
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

Matrix Algebra Framework for Portable, Scalable and Efficient Query Engines for RDF Graphs
Fuad Jamour , KAUST
Ibrahim Abdelaziz , IBM Research
Yuanzhao Chen , KAUST
Panos Kalnis , KAUST

CoPart: Coordinated Partitioning of Last-Level Cache and Memory Bandwidth for Fairness-Aware Workload Consolidation on Commodity Servers
Jinsu Park , UNIST
Seongbeom Park , UNIST
Woongki Baek , UNIST

Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud
Pedro Joaquim , INESC-ID
Manuel Bravo , IMDEA Software Institute
Luís Rodrigues , INESC-ID
Miguel Matos , INESC-ID

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
Theophilus Benson , Brown University

Software transactions with pipelined locks and lazy evaluation
Shuai Mu , Stony Brook University
Sebastian Angel , University of Pennsylvania
Dennis Shasha , New York University

URSA: Hybrid Block Storage for Cloud-Scale Virtual Disks
Huiba Li ,
Zhiming Zhang ,
Shengyun Liu ,
Peng (Ryan) Huang ,
Dongsheng Li ,
Zheng Qin ,
Kai Chen ,
Yiming Zhang , NUDT

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

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

Keeping Master Green at Scale
Sundaram Ananthanarayanan , Uber Technologies Inc.
Masoud Saeida Ardekani , Uber Technologies Inc.
Denis Haenikel , Uber Technologies Inc.
Balaji Varadarajan , Uber Technologies Inc.
Simon Soriano , Uber Technologies Inc.
Dhaval Patel , Uber Technologies Inc.
Ali-Reza Adl-Tabatabai , Uber Technologies Inc.

VStore: A Video Store for Retrospective Video Analytics
Tiantu Xu , Purdue ECE
Luis Materon Botelho , Purdue ECE
Felix Xiaozhu Lin , Purdue ECE

Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale System Code
Zhiqiang Zuo , Nanjing University, China
John Thorpe , UCLA
Yifei Wang , Nanjing University, China
Qiuhong Pan , Nanjing University, China
Shenming Lu , Nanjing University, China
Kai Wang , UCLA
Guoqing Harry Xu , UCLA
Linzhang Wang , Nanjing University, China
Xuandong Li , Nanjing University, China

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

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

Is RPC Appropriate? Distributed Deep Learning on RDMA Can Be Faster
Jilong Xue , Microsoft Research
Youshan Miao , Microsoft Research
Cheng Chen , Microsoft Research
Ming Wu , Microsoft Research
Lintao Zhang , Microsoft Research
Lidong Zhou , Microsoft Research

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

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 AB
Gerald Q. Maguire Jr. , KTH Royal Institute of Technology
Dejan Kostic , KTH Royal Institute of Technology

Replayable Execution Optimized for Page Sharing for a Managed Runtime Environment
Amy Wang , Huawei Technology
Rayson Ho , Huawei Technology
Peng Wu , Huawei Technology

The Case For In-Network Computing On Demand
Yuta Tokusashi , Keio University
Huynh Tu Dang , Università della Svizzera italiana
Fernando Pedone , Università della Svizzera italiana
Robert Soulé , Università della Svizzera italiana
Noa Zilberman , University of Cambridge

Easy Email Encryption with Easy Key Management
John S. Koh , Columbia University
Jason Nieh , Columbia University
Steven M. Bellovin , Columbia University

Per Application Power Delivery
Akhil Guliani , University of Wisconsin-Madison
Michael Swift , University of Wisconsin-Madison

Conclave: Secure Multi-Party Computation on Big Data
Nikolaj Volgushev , Boston University and Alexandra Institute
Malte Schwarzkopf , MIT CSAIL
Ben Getchell , Boston University
Andrei Lapets , Boston University
Mayank Varia , Boston University
Azer Bestavros , Boston University

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

Compact NUMA-aware Locks
Dave Dice , Oracle Labs
Alex Kogan , Oracle Labs

TAS: TCP Acceleration as a Service
Antoine Kaufmann , MPI-SWS
Tim Stamler , The University of Texas at Austin
Simon Peter , The University of Texas at Austin
Naveen Kr. Sharma , University of Washington
Thomas Anderson , University of Washington
Arvind Krishnamurthy , University of Washington

Highly Scalable Testing of Complex Interleavings in Cloud Systems
Jeffrey F. Lukman , University of Chicago
Huan Ke , University of Chicago
Cesar A. Stuardo , University of Chicago
Riza O. Suminto , University of Chicago
Dikaimin Simon , Surya University
Daniar H. Kurniawan , University of Chicago
Satria Priambada , Bandung Institute of Technology
Chen Tian , Huawei US R&D Center
Feng Ye , Huawei US R&D Center
Tanakorn Leesatapornwongsa , Samsung Research America
Aarti Gupta , Princeton University
Shan Lu , University of Chicago
Haryadi S. Gunawi , University of Chicago

Efficient, Consistent Distributed Computation with Predictive Treaties
Tom Magrino , Cornell University
Jed Liu , Barefoot Networks
Johannes Gehrke , Microsoft
Nate Foster , Cornell University
Andrew C. Myers , Cornell University

Runtime Object Lifetime Profiler for Latency Sensitive Big Data Applications
Rodrigo Bruno , INESC-ID / Instituto Superior Técnico, University of Lisbon
Duarte Patrício , INESC-ID / Instituto Superior Técnico, University of Lisbon
José Simão , ISEL / INESC-ID
Luís Veiga , INESC-ID / Instituto Superior Técnico, University of Lisbon
Paulo Ferreira , INESC-ID / Instituto Superior Técnico, University of Lisbon

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