Conference Program

Please report broken links via e-mail to the web-chair.
Open access to the proceedings is available via: SigOps
Jump to conference program

Monday, 25 March
08:00 - 09:00
09:00 - 11:00
Workshop Session 1

A framework to secure applications with ISA heterogeneity
Xiaoguang Wang, Sengming Yeoh, Robert Lyerly, Sang-Hoon Kim and Binoy Ravindran
The Multihype: Virtualizing Heterogeneous-ISA Architectures
Pierre Olivier, Binoy Ravindran and Antonio Barbalace 

Something New Under The Sun: Thoughts on Optimizing the Performance of Blockchains
Zsolt Istvan


Keynote: How to not only do great systems research, but also convince others
Gernot Heiser

Associating Performance Degradation with Memory System on Tiled Many-core Processors

Study Of Intel PML Effectiveness For Virtual Machine Working Set Size Estimation

Towards Scaleable Decentralized Applications


Keynote : Firecracker microVMs - How to Securely Run Thousands of Workloads on a Single Host

Checkpointing and Migration of IoT Edge Functions
Pekka Karhula (VTT Technical Research Centre of Finland Ltd), Jan Janak (Columbia University), Henning Schulzrinne (Columbia University)

ExEC: Elastic Extensible Edge Cloud
Aleksandr Zavodovski (University of Helsinki), Nitinder Mohan (University of Helsinki), Suzan Bayhan (Technische Universität Berlin), Walter Wong (University of Helsinki), Jussi Kangasharju (University of Helsinki)

Snape: The Dark Art of Handling Heterogeneous Enclaves
Zahra Tarkhani (University of Cambridge), Anil Madhavapeddy (University of Cambridge), Richard Mortier (University of Cambridge) 


Keynote: How the Hardware undermines Software Security
Daniel Gruss, Graz University of Technology

Configuration-Driven Software Debloating
Hyungjoon Koo, Seyedhamed Ghavamnia, and Michalis Polychronakis (Stony Brook University)

Pythia: Identifying Dangerous Data-flows in Django-based Applications
Linos Giannopoulos, Eirini Degkleri (Greek Research and Technology Network), Panayiotis Tsanakas (National Technical University of Athens), and Dimitris Mitropoulos (Greek Research and Technology Network)

Static Analysis of ROP Code.
Daniele Cono D'Elia, Emilio Coppa, Andrea Salvati, and Camil Demetrescu (Sapienza University of Rome)


Keynote I

In Search of a Scalable Raft-based Replication Architecture
Christian Deyerl and Tobias Distler.

Support of Strong Consistency on Fog Applications
Diogo Lima, Hugo Miranda and Francois Taiani.
11:00 - 11:30
Coffee Break
11:30 - 13:00
Workshop Session 2

Reducing AVX-Induced Frequency Variation With Core Specialization
Mathias Gottschlag and Frank Bellosa

Keynote : Building Enzian: a research computer
Timothy Roscoe, ETH Zurich


Caching Automation for In-memory Data Analytics Framework

Percipience: Associative File Systems for Unstructured Data Relationships

Application-Level Service Chaining for General In-Network Computation

Efficient and Private Federated Learning using TEE

Privacy-Preserving Online Services using Intel SGX


Energy-Aware Speculative Execution in Vehicular Edge Computing Systems
Tayebeh Bahreini (Wayne State University), Marco Brocanelli (Wayne State University), Daniel Grosu (Wayne State University)

Optimized Assignment of Computational Tasks in Vehicular Micro Clouds
Ghaith Hattab (University of California, Los Angeles), Seyhan Ucar (Toyota InfoTechnology Center), Takamasa Higuchi (Toyota InfoTechnology Center), Onur Altintas (Toyota InfoTechnology Center), Falko Dressler (Paderborn University), Danijela Cabric (University of California, Los Angeles)

Edge Chaining Framework for Black Ice Road Fingerprinting
Vittorio Cozzolino (Technical University of Munich), Aaron Yi Ding (Delft University of Technology), Jörg Ott (Technical University of Munich) 


Security Analysis of Devolo HomePlug Devices
Rouven Scholz and Christian Wressnegger (TU Braunschweig)

Pitfalls of open architecture: How friends can exploit your cryptocurrency wallet
Thanh Bui, Siddharth Prakash Rao (Aalto University), Markku Antikainen (University of Helsinki), and Tuomas Aura (Aalto University)

Stock Exchange Hacking: Market Abuse as a Security Problem
Vasilios Mavroudis (University College London)


Proving Invariant Safety for Distributed Applications
Sreeja S Nair, Gustavo Petri and Marc Shapiro.

Higher-Order Patterns in Replicated Data Types
Adriaan Leijnse, Paulo Sérgio Almeida and Carlos Baquero
13:00 - 14:00
Lunch Break + Poster
14:00 - 16:00
Workshop Session 3

Implementation and Evaluation of IO Concentration-aware Automated Tiered Storage over RAM and SSD
Kazuichi Oe, Mitsuru Sato and Takeshi Nanri

One Interface to Rule them All: A Hardware/Software Co-Design for Disaggregated Computing
Lluis Vilanova, Mark Silberstein and Yoav Etsion

MxKernel: Rethinking Operating System Architecture for Many-core Hardware
Michael Müller and Olaf Spinczyk

Keynote: M3 : Specialized Compute Units as First-Class Citizens
Hermann Haertig, TU Dresden


The Hard Path to Excellence or … why excellence is about details
Paulo Esteves-Veríssimo

Edge-driven Recommendations: Towards a Distributed Approach

Anomaly Detection in Wireless Sensor Networks

Robust and Fair Distributed Learning System

Active Learning from Unreliable Data


Keynote: On the Edge of Human-Data Interaction with the Databox

The Web Browser as Distributed Application Server: Towards Decentralized Web Applications in the Edge
Kristof Jannes (KU Leuven), Bert Lagaisse (KU Leuven), Wouter Joosen (KU Leuven)

A Reality Check on Inference at Mobile Networks Edge
Alejandro Cartas (University of Barcelona, Spain), Martin Kocour (Brno University of Technology, Czech Republic), Aravindh Raman (King’s College London, UK), Ilias Leontiadis (Telefonica I+D, Research, Spain), Jordi Luque (Telefonica I+D, Research, Spain), Nishanth Sastry (King’s College London, UK), Jose Nuñez-Martinez (Telefonica I+D, Research, Spain), Diego Perino (Telefonica I+D, Research, Spain), Carlos Segura (Telefonica I+D, Research, Spain)

Transparent AR Processing Acceleration at the Edge
Marco Trinelli (Nokia Bell Labs), Massimo Gallo (Nokia Bell Labs), Myriana Rifai (Nokia Bell Labs), Fabio Pianese (Nokia Bell Labs) 


Keynote: Detecting Integrity Violations in Online Services Using Trusted Hardware
Peter Pietzuch, Imperial College London


Keynote II
16:00 - 16:30
Coffee Break
16:30 - 18:00
Workshop Session 4

Mobile Edge Clouds
Florian Brandherm (TU Darmstadt), Lin Wang (VU Amsterdam and TU Darmstadt), Max Mühlhäuser (TU Darmstadt)

Enabling Wireless Network Support for Gain Scheduled Control
Sebastian Gallenmüller (Technical University of Munich), René Glebke (RWTH Aachen University), Stephan Günther (Technical University of Munich), Eric Hauser (Technical University of Munich), Maurice Leclaire (Technical University of Munich), Stefan Reif (Friedrich-Alexander University Erlangen-Nürnberg), Jan Rüth (RWTH Aachen University), Andreas Schmidt (Saarland Informatics Campus), Georg Carle (Technical University of Munich), Thorsten Herfet (Saarland Informatics Campus), Wolfgang Schröder-Preikschat (Friedrich-Alexander University Erlangen-Nürnberg), Klaus Wehrle (RWTH Aachen University) 

Panel Session
Panelists: Andreea Florescu(Amazon), Volker Hilt (Nokia Bell Labs), Ilias Leontiadis (Samsung AI), Richard Mortier (Cambridge), Diego Perino (Telefónica)

Best paper award and closing


Is Privacy possible without Anonymity? The case for microblogging services
Panagiotis Papadopoulos (FORTH-ICS), Antonis Papadogiannakis (ProtectWise), Michalis Polychronakis (Stony Brook University), and Evangelos P. Markatos (FORTH-ICS)

Forward and Backward Private Searchable Encryption with Intel SGX
Ghous Amjad, Seny Kamara, and Tarik Moataz (Brown University)

T-IBE-T: Identity-Based Encryption for Inter-Tile Communication
Alexander Würstlein and Wolfgang Schröder-Preikschat (Friedrich-Alexander-Universität Erlangen-Nürnberg)


Interleaving anomalies in collaborative text editors
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan and Alastair R. Beresford

Data Replication on the Cloud/Edge
David Mealha, Nuno Preguiça, Maria Cecília Gomes and João Leitão

Secure causal delivery with client-side replication
Albert van der Linde, João Leitão and Nuno Preguiça

A generic Replicated Data Type for Strong Eventual Consistency
Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter and Elisa Gonzalez Boix
18:00 - 21:00
Welcome Reception (with Dinner)
Tuesday, 26 March
07:30 - 08:30
08:30 - 09:00
Opening Session
09:00 - 10:30

Session Chair: Costin Raiciu

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)
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)
10:30 - 11:00
Coffee Break
11:00 - 12:30
Exploiting CPU Architecture

Session Chair: Steve Hand

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)
12:30 - 13:30
Lunch Break
13:30 - 15:00
OS Kernel

Session Chair: Chair: Peter Druschel

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)
15:00 - 15:45
Coffee Break
15:45 - 17:15
Storage Systems

Session Chair: Pramod Bhatotia

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)
17:15 - 19:15
Poster Session
Wednesday, 27 March
08:30 - 09:00
09:00 - 10:30
Datacenter Systems

Session Chair: Peter Pietzuch

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)
10:30 - 11:00
Coffee Break
11:00 - 12:30

Session Chair: Marc Shapiro

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)
12:30 - 13:30
Lunch Break
13:30 - 15:00
Big Data

Session Chair: Rodrigo Rodrigues

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)
15:00 - 15:45
Coffee Break
15:45 - 17:15
Distributed Systems
Session Chair: Michael Swift

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)
17:15 - 17:30
Short Break
17:30 - 18:30
General Assembly
19:00 - 23:30
Conference Dinner
Thursday, 28 March
08:30 - 10:00
Cloud Computing

Session Chair: Pascal Felber

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)
10:00 - 10:30
Coffee Break
10:30 - 12:00
Programming Languages and Verification

Session Chair: Bjørn Brandenburg

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)
12:00 - 12:30
Small Lunch
12:30 - 14:30
Systems for Machine Learning

Session Chair: Petros Maniatis

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)
14:30 - 14:45
Closing Session