Workshop on Dependable and Secure Software Systems

Oct 19-20, 2018
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 sixth time the workshop is being held (formerly Workshop on Software Correctness and Reliability). Materials from the 2017, 2016, 2015, 2014 and 2013 workshops are also available.

Schedule

October 19 (Friday)

Time Speaker Institution Talk Title & Abstract Slides Video
9:00 - 9:15 Organizers ETH Zürich
Opening Remarks
9:15 - 10:00
Michael Hicks
 Maryland, USA
Evaluating Design Tradeoffs in Numeric Static Analysis for Java
 PDF
10:00 - 10:45 Harry Xu UCLA, USA
Systemized Program Analysis - A Big Data Perspective on Scalable, Easy-to-Implement, and Multilingual Static Analysis
 PDF
10:45 - 11:15 Coffee Break
11:15 - 12:00 Nikhil Swamy Microsoft Research
Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
 PDF
12:00 - 13:30 Lunch
13:30 - 14:15
Suresh Jagannathan
 Purdue, USA
Learning to Specify
 PDF
14:15 - 15:00
Sara Achour
 MIT, USA
Compiling Dynamical Systems for Efficient Simulation on Reconfigurable Analog Computers
 PDF
15:00 - 15:30 Coffee Break
15:30 - 16:00
Zhendong Su
 ETH Zürich
Numerical Program Analysis via Mathematical Execution
 PDF
16:00 - 16:30 Martin Vechev ETH Zürich
Safe Deep Learning: progress and open problems
 PDF
16:30 - 17:00 Peter Müller ETH Zürich
Abstract Interpretation of CTL Properties
 PDF

October 20 (Saturday)

Time Speaker Institution Talk Title & Abstract Slides Video
9:00 - 9:15 Organizers ETH Zürich
Opening Remarks
9:15 - 10:00
Andreas Zeller
 Saarland, Germany
Advances in Grammar Mining and Testing
 PDF
10:00 - 10:45
Xiangyu Zhang
 Purdue, USA
Analyzing AI Model Internals for Debugging and Adversarial Sample Attack Detection
 PDF
10:45 - 11:15 Coffee Break
11:15 - 12:00
Marc Brockschmidt
 Microsoft Research
Understanding and Generating Source Code with Deep Learning
 PDF
12:00 - 13:30 Lunch
13:30 - 14:15
Yannis Smaragdakis
 Athens, Greece
Declarative Static Analysis and Zombies (ok, Soundness)
 PDF
14:15 - 15:00
Sukyoung Ryu
 KAIST, Korea
Vulnerable Semantics of Solidity
 PDF
15:00 - 15:30 Coffee Break
15:30- 16:15
Chris Hawblitzel
 Microsoft Research
Verifying assembly language with Vale
 PDF
16:15 - 17:00 Matt Fredrikson CMU, USA
Explaining Privacy and Fairness Violations in Data-Driven Systems
 PDF
17:00 - 17:10 Organizers ETH Zürich Closing Remarks

Registration

Workshop registration has closed.

For information and questions, please contact Mrs. Marlies Weissert: marlies.weissert@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: