Program

Please report broken links via e-mail to the web-chair.
Time in your local timezone is shown at the righmost column.
CEST (GMT+2) Monday, 27 April
13:30 – 17:00 14th EuroSys Doctoral Workshop
EuroDW
13:30 – 17:00
09:00 – 16:15 13th European Workshop on Systems Security
EuroSec
09:00 – 16:15
09:00 – 17:00 3rd International Workshop on Edge Systems, Analytics and Networking
EdgeSys
09:00 – 17:00
09:30 – 18:30 7th Workshop on Principles and Practice of Consistency for Distributed Data
PaPoC
09:30 – 18:30
16:00 – 20:30 10th Workshop on Systems for Post-Moore Architectures
SPMA
16:00 – 20:30
Tuesday, 28 April
17:30 – 18:00
Opening Session (warmup and Zoom troubleshooting)
17:30 – 18:00
18:00 – 18:20
Welcome
18:00 – 18:20
18:20 – 20:00
Session 1: Kernel – Efficient data structures – Security – Programming Languages and Verification
Sponsored by VMWare
Slack Channel

Session Chair: Margo Seltzer


Don’t shoot down TLB shootdowns!
Nadav Amit, Amy Tai, Michael Wei (VMware Research Group)
Paper – Video (short,long) – Slides (pdf)

Mousse: A System for Selective Symbolic Execution of Programs with Untamed Environments
Yingtong Liu, Hsin-Wei Hung, Ardalan Amiri Sani (UC Irvine)
Paper – Video (short,long) – Slides (pdf)

BinRec: Dynamic Binary Lifting and Recompilation
Anil Altinay, Joseph Nash (University of California, Irvine), Taddeus Kroes (Vrije Universiteit Amsterdam), Prabhu Rajasekaran, Dixin Zhou, Adrian Dabrowski, David Gens, Yeoul Na (University of California, Irvine), Stijn Volckaert (imec-DistriNet, KU Leuven), Cristiano Giuffrida, Herbert Bos (Vrije Universiteit Amsterdam), Michael Franz (University of California, Irvine)
Paper – Video (short,long) – Slides (pdf)

An HTM-Based Update-side Synchronization for RCU on NUMA systems
SeongJae Park (Amazon), Paul E. McKenney (Facebook), Laurent Dufour (IBM Linux Technology Center), Heon Y. Yeom (Seoul National University)
Paper – Video (short,long) – Slides (pdf)

Keystone: An Open Framework for Architecting Trusted Execution Environments
Dayeol Lee, David Kohlbrenner, Shweta Shinde, Krste Asanovic, Dawn Song (UC Berkeley)
Paper – Video (short,long) – Slides (pdf)

Oblivious Coopetitive Analytics Using Hardware Enclaves
Ankur Dave, Chester Leung, Raluca Ada Popa, Joseph Gonzalez, Ion Stoica (University of California, Berkeley)
Paper – Video (short,long) – Slides (pdf)
18:20 – 20:00
20:00 – 21:00

Hallway Track via Discord (Getting started guide)
20:00 – 21:00
Wednesday, 29 April
09:00 – 09:30
Opening Session (warmup and Zoom troubleshooting)
09:00 – 09:30
09:30 – 10:45
Session 2: Kernel – Efficient data structures – Programming Languages and Verification
Sponsored by Microsoft
Slack Channel

Session Chair: Marc Shapiro


Provable Multicore Schedulers with Ipanema: Application to Work Conservation
Baptiste Lepers (University of Sydney), Redha Gouicem (Sorbonne University/LIP6/Inria), Damien Carver (Sorbonne University/Inria/LIP6), Jean-Pierre Lozi (Oracle Labs), Nicolas Palix (Université Grenoble Alpes), Virginia Aponte (CNAM), Willy Zwaenepoel (University of Sydney and EPFL), Julien Sopena (LIP6 (UPMC/CNRS) – Inria), Julia Lawall (Inria/LIP6), Gilles Muller (INRIA), Jean-Pierre Lozi (Oracle Labs / Université Nice Sophia Antipolis)
Paper – Video (short,long) – Slides (pdf)

Delegation Sketch: a Parallel Design with Support for Fast and Accurate Concurrent Operations
Charalampos Stylianopoulos, Ivan Walulya, Magnus Almgren (Chalmers University of Technology), Olaf Landsiedel (Kiel University), Marina Papatriantafilou (Chalmers University of Technology)
Paper – Video (short,long) – Slides (pdf)

Persistent Memory and the Rise of Universal Constructions
Andreia Correia, Pascal Felber (University of Neuchatel, Switzerland), Pedro Ramalhete (Cisco Systems)
Paper – Video (short,long) – Slides (pdf)

Design of a Symbolically Executable Embedded Hypervisor
Jan Nordholz (TU Berlin / PTB)
Paper – Video (short,long) – Slides (pdf)

Autarky: Closing controlled channels with self-paging enclaves
Meni Orenbach (Technion), Andrew Baumann (Microsoft Research), Mark Silberstein (Technion)
Paper – Video (short,long) – Slides (pdf)
09:30 – 10:45
10:45 – 11:30

Break – Hallway Track via Discord (Getting started guide)

Please check #schedule on Discord for hosted conversations
10:45 – 11:30
11:30 – 13:00
Session 3: Networking – Distributed Systems – Storage Systems – NVM
Sponsored by RedHat
Slack Channel

Session Chair: Neeraj Suri


Kollaps: Decentralized and Dynamic Topology Emulation
Paulo Gouveia, João Neves (U. Lisboa & INESC-ID), Carlos Segarra, Luca Liechti (University of Neuchâtel, Switzerland), Shady Issa (U. Lisboa & INESC-ID), Valerio Schiavoni (University of Neuchâtel, Switzerland), Miguel Matos (U. Lisboa & INESC-ID)
Paper – Video (short,long) – Slides (pdf)

State-Machine Replication for Planet-Scale Systems
Vitor Enes, Carlos Baquero (INESC TEC and University of Minho), Tuanir Franca Rezende (Telecom SudParis), Alexey Gotsman (IMDEA Software Institute), Matthieu Perrin (University of Nantes), Pierre Sutra (Telecom SudParis)
Paper – Video (short,long) – Slides (pdf)

HovercRaft: Achieving Scalability and Fault-tolerance for microsecond-scale Datacenter Services
Marios Kogias, Edouard Bugnion (EPFL)
Paper – Video (short,long) – Slides (pdf)

RAIDP: ReplicAtion with Intra-Disk Parity for Cost-Effective Storage of Warm Data
Eitan Rosenfeld, Aviad Zuck (Technion — Israel Institute of Technology), Nadav Amit (VMware Research), Michael Factor (IBM Research), Dan Tsafrir (Technion & VMware Research)
Paper – Video (short,long) – Slides (pdf)

EvenDB: Optimizing Key-Value Storage for Spatial Locality
Eran Gilad, Edward Bortnikov, Anastasia Braginsky, Yonatan Gottesman, Eshcar Hillel (Yahoo Research), Idit Keidar (Technion), Nurit Moscovici (Outbrain), Rana Shahout (Technion)
Paper – Video (short,long) – Slides (pdf)

Accessible Near-Storage Computing with FPGAs
Robert Schmid, Max Plauth, Lukas Wenzel, Felix Eberhardt, Andreas Polze (Hasso Plattner Institute, University of Potsdam)
Paper – Video (short,long) – Slides (pdf)

StRoM: Smart Remote Memory
David Sidler (Microsoft, USA & ETH Zurich), Zeke Wang (Zhejiang University, China & ETH Zurich), Monica Chiosa, Amit Kulkarni, Gustavo Alonso (ETH Zurich)
Paper – Video (short,long) – Slides (pdf)
11:30 – 13:00
13:00 – 13:30

Break – Hallway Track via Discord (Getting started guide)

Please check #schedule on Discord for hosted conversations
13:00 – 13:30
13:30 – 14:30
Session 4: Cloud Computing – Systems for ML – ML for Systems
Sponsored by Facebook
Slack Channel

Session Chair: Gala Yadgar


Borg: the Next Generation
Muhammad Tirmazi (Harvard University), Adam Barker (Google and University of St Andrews), Nan Deng, Md Ehtesam Haque, Zhijing Gene Qin, Steven Hand (Google), Mor Harchol-Balter (Carnegie Mellon University), John Wilkes (Google)
Paper – Video (short,long) – Slides (pdf )

AlloX: Compute Allocation in Hybrid Clusters
Tan N. Le (SUNY Korea, Stony Brook University), Xiao Sun (Stony Brook University), Mosharaf Chowdhury (University of Michigan), Zhenhua Liu (Stony Brook University)
Paper – Video (short,long) – Slides (pdf )

SEUSS: Skip Redundant Paths to Make Serverless Fast
James Cadden, Thomas Unger, Yara Awad, Han Dong, Orran Krieger, Jonathan Appavoo (Boston University)
Paper – Video (short,long) – Slides (pdf )

CSI: Inferring Mobile ABR Video Adaptation Behavior under HTTPS and QUIC
Shichang Xu (University of Michigan), Subhabrata Sen (AT&T Labs Research), Z. Morley Mao (University of Michigan)
Paper – Video (short, long) – Slides (pdf)
13:30 – 14:30
14:30 – 15:30

Break – Hallway Track via Discord (Getting started guide)

Please check #schedule on Discord for hosted conversations
14:30 – 15:30
15:30 – 16:30
Poster Session
Slack Channel
Session Chair: Valerio Schiavoni
Posters
15:30 – 16:30
16:30 – 17:30

Break – Hallway Track via Discord (Getting started guide)

Please check #schedule on Discord for hosted conversations
16:30 – 17:30
17:30 – 19:00
Session 5: Cloud Computing – Systems for ML – ML for Systems
Sponsored by Oracle
Slack Channel
Session Chair: Rodrigo Rodrigues


Subway: Minimizing Data Transfer during Out-of-GPU-Memory Graph Processing
Amir Hossein Nodehi Sabet, Zhijia Zhao, Rajiv Gupta (University of California, Riverside)
Paper – Video (short,long) – Slides (pdf)

Peregrine: A Pattern-Aware Graph Mining System
Kasra Jamshidi, Rakesh Mahadasa, Keval Vora (Simon Fraser University)
Paper – Video (short,long) – Slides (pdf)

Can Far Memory Improve Job Throughput?
Emmanuel Amaro, Christopher Branner-Augmon, Zhihong Luo, Amy Ousterhout (UC Berkeley), Marcos K. Aguilera (VMware Research), Aurojit Panda (NYU), Sylvia Ratnasamy, Scott Shenker (UC Berkeley)
Paper – Video (short,long) – Slides (pdf)

A Fault-Tolerance Shim for Serverless Computing
Vikram Sreekanti, Chenggang Wu, Saurav Chhatrapati, Joseph Gonzalez, Joseph M. Hellerstein (UC Berkeley), Jose M. Faleiro (UC Berkeley, Microsoft Research)
Paper – Video (short,long) – Slides (pdf)

Autopilot: workload autoscaling at Google
Krzysztof Rzadca (Google, University of Warsaw), Pawel Findeisen, Jacek Swiderski, Przemyslaw Zych, Przemyslaw Broniek, Jarek Kusmierek, Pawel Nowak, Beata Strack, Piotr Witusowski, Steven Hand, John Wilkes (Google)
Paper – Video (short,long) – Slides (pdf)

Meerkat: Multicore-Scalable Replicated Transactions Following the Zero-Coordination Principle
Adriana Szekeres (University of Washington), Michael Whittaker (UC Berkeley), Naveen Kr. Sharma (University of Washington / Google), Jialin Li (University of Washington / National University of Singapore), Arvind Krishnamurthy (University of Washington), Dan R. K. Ports, Irene Zhang (Microsoft Research)
Paper – Video (short,long) – Slides (pdf)
17:30 – 19:00
19:00 – 19:30

End – Hallway Track via Discord (Getting started guide)

Please check #schedule on Discord for hosted conversations
19:00 – 19:30
Thursday, 30 April
09:00 – 09:30
Opening Session (warmup and Zoom troubleshooting)
09:00 – 09:30
09:30 – 10:00
Session 6: Cloud Computing – Systems for ML – ML for Systems
Sponsored by Google
Slack Channel

Session Chair: Marco Canini


Balancing Efficiency and Fairness in Heterogeneous GPU Clusters for Deep Learning
Shubham Chaudhary, Ramachandran Ramjee, Muthian Sivathanu, Nipun Kwatra, Srinidhi Viswanatha (Microsoft Research India)
Paper – Video (short,long) – Slides (pdf)

Experiences of Landing Machine Learning onto Market-Scale Mobile Malware Detection
Liangyi Gong, Zhenhua Li (Tsinghua University), Feng Qian (University of Minnesota, Twin Cities), Zifan Zhang (Tsinghua University & Tencent Co. LTD), Qi Alfred Chen, Zhiyun Qian (University of California, Riverside), Hao Lin (Tsinghua University), Yunhao Liu (Tsinghua University & Michigan State University)
Paper – Video (short,long) – Slides (pdf)
09:30 – 10:00
10:00 – 11:00

Break – Hallway Track via Discord (Getting started guide)

Please check #schedule on Discord for hosted conversations
10:00 – 11:00
11:00 – 12:15
Session 7: Scheduling – resilience – security in the Cloud
Sponsored by VMWare
Slack Channel

Session Chair: Dejan Kostic


MPTEE: Bringing Flexible and Efficient Memory Protection to Intel SGX
Wenjia Zhao (Xi’an Jiaotong University), Kangjie Lu (University of Minnesota), Yong Qi (Xi’an Jiaotong University), Saiyu Qi (Xidian University)
Paper – Video (short,long) – Slides (pdf)

Rhythm: Component-distinguishable Workload Deployment in Datacenters
Laiping Zhao, Yanan Yang, Kaixuan Zhang, Xiaobo Zhou, Tie Qiu, Keqiu Li (Tianjin University), Yungang Bao (ICT, CAS)
Paper – Video (short,long) – Slides (pdf)

Improving Resource Utilization by Timely Fine-Grained Scheduling
Tatiana Jin, Zhenkun Cai, Boyang Li, Chenguang Zheng, Guanxian Jiang, James Cheng (The Chinese University of Hong Kong)
Paper – Video (short,long) – Slides (pdf)

AniFilter: Parallel and Failure-Atomic Cuckoo Filter for Non-Volatile Memories
Hyungjun Oh, Bongki Cho (Hanyang University), Changdae Kim (ETRI), Heejin Park, Jiwon Seo (Hanyang University)
Paper – Video (short,long) – Slides (pdf)

Balancing Storage Efficiency and Data Confidentiality with Tunable Encrypted Deduplication
Jingwei Li (University of Electronic Science and Technology of China), Zuoru Yang (The Chinese University of Hong Kong), Yanjing Ren (University of Electronic Science and Technology of China), Patrick P. C. Lee (The Chinese University of Hong Kong), Xiaosong Zhang (University of Electronic Science and Technology of China)
Paper – Video (short,long) – Slides (pdf)
11:00 – 12:15
12:15 – 13:00

Break – Hallway Track via Discord (Getting started guide)

Please check #schedule on Discord for hosted conversations
12:15 – 13:00
13:00 – 14:00
Session 8: Cloud Computing – Systems for ML – ML for Systems
Sponsored by Microsoft
Slack Channel

Session Chair: James Cheney


Accelerating Winograd Convolutions using Symbolic Computation and Meta-programming
Arya Mazaheri, Tim Beringer (TU Darmstadt), Matthew Moskewicz (Tesla Inc.), Felix Wolf (TU Darmstadt), Ali Jannesari (Iowa State University)
Paper – Video (short,long) – Slides (pdf)

Env2Vec: Accelerating VNF Testing with Deep Learning
Guangyuan Piao, Patrick K. Nicholson, Diego Lugones (Nokia Bell Labs)
Paper – Video (short,long) – Slides (pdf)

PLASMA: Programmable Elasticity for Stateful Cloud Computing Applications
Bo Sang (Purdue University, Ant Financial Services Group USA), Pierre-Louis Roman (Università della Svizzera italiana), Patrick Eugster (Università della Svizzera italiana, Purdue University, TU Darmstadt), Hui Lu (Binghamton University), Srivatsan Ravi (University of Southern California), Gustavo Petri (ARM Research)
Paper – Video (short,long) – Slides (pdf)

Analyzing System Performance with Probabilistic Performance Annotations
Daniele Rogora, Antonio Carzaniga (Università della Svizzera italiana), Amer Diwan (Google), Matthias Hauswirth (Università della Svizzera italiana), Robert Soulé (Yale University)
Paper – Video (short,long) – Slides (pdf)
13:00 – 14:00
14:00 – 15:00

Break – Hallway Track via Discord (Getting started guide)

Please check #schedule on Discord for hosted conversations
14:00 – 15:00
15:00 – 16:00
Session 9: Kernel – Efficient data structures – Programming Languages and Verification
Sponsored by RedHat
Slack Channel

Session Chair: Thomas Pasquier


Scalable Range Locks for Scalable Address Spaces and Beyond
Alex Kogan, Dave Dice (Oracle Labs), Shady Issa (INESC-ID, Instituto Superior Técnico, Universidade de Lisboa)
Paper – Video (short,long) – Slides (pdf)

Avoiding Scheduler Subversion using Scheduler-Cooperative Locks
Yuvraj Patel, Leon Yang, Leo Prasath Arulraj, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau, Michael Swift (University of Wisconsin-Madison)
Paper – Video (short,long) – Slides (pdf)

Statically Inferring Performance Properties of Software Configurations
Chi Li, Shu Wang, Henry Hoffmann, Shan Lu (University of Chicago)
Paper – Video (short,long) – Slides (pdf)

A Linux in Unikernel Clothing
Hsuan-Chi Kuo (University of Illinois at Urbana-Champaign), Dan Williams, Ricardo Koller (IBM T.J. Watson Research Center), Sibin Mohan (University of Illinois at Urbana-Champaign)
Paper – Video (short,long) – Slides (pdf)
15:00 – 16:00
16:00 – 16:30
Closing Session
16:00 – 16:30
16:30 – 17:30
EuroSys Βusiness Μeeting
16:30 – 17:30