Workshop Program

Schedule for Sunday, April 23

9:00am–9:10am: Welcome

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

10:30am–11:00am: Break

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

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

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

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