Workshop on Dependable and Secure Software Systems

Oct 18-19, 2019
Alumni Pavillon, Rämistrasse 101, ETH Zürich

Workshop Information

Ensuring that our programs behave correctly and reliably is a fundamental challenge facing computing today. Recent years have seen an explosion of a diverse set of new techniques for ensuring program correctness ranging from verification and synthesis approaches to runtime systems to quantitative reasoning. The aim of the workshop is to provide insight into the latest research advances in the area. In a period of two days, the workshop will host a number of invited speakers who will present research talks related to software reliability and correctness.

Organizers

Peter Müller (ETH Zürich) , Martin Vechev (ETH Zürich) , Zhendong Su (ETH Zürich)
This is the seventh time the workshop is being held (formerly Workshop on Software Correctness and Reliability). Materials from the 2018, 2017, 2016, 2015, 2014 and 2013 workshops are also available.

Schedule

October 18 (Friday)

Time Speaker Institution Talk Title & Abstract Slides Video
9:00 - 9:15 Organizers ETH Zürich
Opening Remarks
9:15 - 10:00
Hongseok Yang
 KAIST, Korea
Towards Verified Stochastic Variational Inference for Probabilistic Programs
 PDF
10:00 - 10:45
Sasa Misailovic
 UIUC, USA
Analysis and Testing for Probabilistic Programming
10:45 - 11:15 Coffee Break
11:15 - 12:00 Marco
Cusumano-Towner		 MIT, USA
Towards Probabilistic Programming for Reliable Machine Perception
12:00 - 13:30 Lunch
13:30 - 14:15
Shan Lu
 Chicago, USA
Why Do Big Data and Cloud Systems Stop (Slow Down)?
 PDF
14:15 - 15:00
Alastair Donaldson
 ICL, UK
GraphicsFuzz: Metamorphic Testing for Graphics Shader Compilers
 Not
Public		 Not
Public
15:00 - 15:30 Coffee Break
15:30 - 16:00
Manuel Rigger
 ETH Zürich
Testing Database Management Systems via Pivoted Query Synthesis
 PDF
16:00 - 16:30 Alexander Summers ETH Zürich
Prusti – Deductive Verification for Rust
 PDF
16:30 - 17:00
Gagandeep Singh
 ETH Zürich
Safe and Robust Deep Learning
 PDF

October 19 (Saturday)

Time Speaker Institution Talk Title & Abstract Slides Video
9:00 - 9:15 Organizers ETH Zürich
Opening Remarks
9:15 - 10:00
Miryung Kim
 UCLA, USA
Re-engineering Software Engineering for a Data-centric World
 PDF Not
Public
10:00 - 10:45
Alvin Cheung
 Berkeley, USA
Building Verified and Performant Data-Intensive Applications
 Not
Public
10:45 - 11:15 Coffee Break
11:15 - 12:00
Santosh Nagarakatte
 Rutgers, USA
A Case for Parallelism Advisers and Profilers with What-If Analyses
 PDF
12:00 - 13:30 Lunch
13:30 - 14:15
Aws Albarghouthi
 Wisconsin, USA
Privacy and Automated Verification
 PDF
14:15 - 15:00
Zvonimir Rakamaric
 Utah, USA
Analysis and Synthesis of Floating-Point Routines
 PDF
15:00 - 15:30 Coffee Break
15:30 - 16:15
Jan Hoffmann
 CMU, USA
Resource-Aware Session Types for Programming Digital Contracts
 PDF
16:15 - 16:25 Organizers ETH Zürich Closing Remarks

Registration

Early Bird: by Sept 20th 2019 Regular fee: after Sept 20th 2019
Workshop Fee (Students) 70 CHF 90 CHF
Workshop Fee (Regular) 110 CHF 130 CHF
The registration fees include:
  • Attendance to all presentations
  • Lunches on both days
  • Coffee & Snacks

To register, please follow this link: Workshop Registration. Registration will close on Sunday, 13 October, 11:59pm.
For information and questions, please contact Mrs. Ariane Nake: ariane.nake@inf.ethz.ch.

Travel

ETH Zürich is located in the heart of the city and easy to reach.
From Zürich HB (main station): If you arrive by train to Zürich HB, take either:

  • Tram no. 6 (direction Zoo) from tram stop "Bahnhofstrasse/HB", exit at tram stop "ETH/Universitätsspital" (right next to the ETH main building). Journey time: about 8 minutes or
  • Tram no. 10 (direction Flughafen or Bahnhof Oerlikon) from tram stop "Bahnhofplatz/HB", exit at tram stop "ETH/Universitätsspital". Journey time: about 8 minutes

From Zürich airport: You can either take the tram to ETH or a train to the city center (Zürich HB):

  • Tram no. 10 (direction Bahnhofplatz/HB) to tram stop "ETH/Universittsspital". The tram operates daily from 6 a.m to 11 p.m. with trams departing every 7 to 15 minutes. Journey time: 30 minutes
  • S-Bahn/Train: Follow the signs "Bahn/Railway" to the ticket counters and/or ticket machines. You will find instructions in English on the ticket machines. Get a ticket for "Zürich City" (make sure that the display shows "1 Std"). The machines accept coins as well as bills and gives change (the ticket costs 6.40 CHF). The ticket is valid for 1 hour for all trains to Zürich as well as for trams and buses in the city (streetcar, Strassenbahn). Take the escalator down to the platforms. Trains to the city center leave approx. every 10 minutes and it takes about 10 minutes to reach the main station.

Accomodation

You can check the availability and prices and make reservations for hotels at Zürich Tourism

The following is a list of hotels in walking distance from the workshop venue:

Some hotels further away: