Conference Program

SMFA:

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

EuroDW:   

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

EdgeSys:

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) 

EuroSec:

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)

PaPoc:

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.

SMFA:

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

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

EuroDW:

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

EdgeSys:

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) 

EuroSec:

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)

PaPoc:

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

SMFA:

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

EuroDW:

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

EdgeSys:

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) 

EuroSec:

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

PaPoc:

Keynote II

EdgeSys:

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

EuroSec:

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)

PaPoc:

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

https://goo.gl/maps/SJJYEMyNo4B2

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

Session Chair: Steve Hand

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

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

Session Chair: Pramod Bhatotia

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

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

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

Session Chair: Rodrigo Rodrigues

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

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

https://goo.gl/maps/1pJn3JgbWWS2

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

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

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