9:00am–9:10am: Welcome

9:10am–10:30am: Session 1: Security and Privacy (Group A)

• Route-based authorization and discovery for personal data [slides]
  by Yousef Amar (Queen Mary University of London)
• Implementing Secure Isolated Containers in an Operating System Kernel [slides]
  by Aleksandar Andrejevic (University of Novi Sad)
• Towards Security in Distributed Home System [slides]
  by Jianxin Zhao (University of Cambridge)
• Towards Privacy-Preserving IoT Data Publishing [slides]
  by Mohammad Malekzadeh (Queen Mary University of London)
• HomePad: Guardian of a Smart Home Galaxy [slides]
  by Igor Zavalyshyn (IST, U. de Lisboa)

10:30am–11:00am: Break

11:00am–12:30pm: Session 2: Verification, Testing and Monitoring (Group A)

• Effectiveness of Driver Isolation and Testing in User Space [slides]
  by Oliver Schwahn (TU Damstadt)
• Formalizing Interrupt Routing [slides]
  by Lukas Humbel (ETH Zurich)
• Profiling for Asymmetric NUMA Systems [slides]
  by David Daharewa Gureya (IST, U. de Lisboa)
• Towards meticulous data plane monitoring [slides]
  by Apoorv Shukla (TU Berlin)
• Let’s Build Provable Multicore Schedulers! [slides]
  by Redha Gouicem (Sorbonne Universités, INRIA, LIP6)
• Provable Correct Memory Management [slides]
  by Reto Achermann (ETH Zurich)

12:30pm–2:00pm: Lunch Break

2:00pm–3:30pm: Session 3: Scalability (Group A)

• Improving Cloud Application Performance with Simulation-Guided CPU State Management [slides]
  by Mathias Gottschlag (Karlsruhe Institute of Technology)
• Scalable indexing for large-scale distributed storage systems [slides]
  by Dimitrios Vasilas (Scality / Sorbonne Universités-UPMC-LIP6 & INRIA)
• SDN Traffic Analytics in a WAN distributed setting [slides]
  by Mitalee Sarker (Ulm University)
• Dynamic Consistency [slides]
  by João Neto (Polytechnic University of Catalonia)
• Challenging Anti-fragile Blockchain Applications [slides]
  by Miguel González (INRIA)
• Dynamic Acyclicity of Concurrent Graph Objects
  by Muktikanta Sa (Indian Institute of Technology Hyderabad) (Canceled due to denied visa for the author)

3:30pm–4:00pm: Break

4:00pm–4:40pm: John Wilkes (Google): Persuasive elevator pitches and posters

4:40pm–5:30pm: Session 4: Group B Presentations

• Online Reconstruction of Structural Information from Datacenter Logs [slides]
  by Zaheer Chothia (ETH Zurich)
• Proving Linearizability Using Forward Simulations [slides]
  by Suha Orhun Mutluergil (Koc University)

6:00pm–8:00pm: Posters and Welcome Reception