Workshop on Dependable and Secure Software Systems

Oct 7 - Oct 8, 2022
Alumni Pavillion, Rämistrasse 101, ETH Zurich

Workshop Information

Ensuring that our programs behave securely and reliably is a fundamental challenge facing computing today. Recent years have seen an explosion of a diverse set of new techniques for addressing this challenge ranging from verification and synthesis approaches to dynamic methods to quantitative reasoning to machine learning techniques. The aim of the workshop is to provide insight into the latest research advances in the area by hosting leading scientists who will present the latest and most advanced methods for addressing this fundamental challenge.


Peter Müller (ETH Zurich) , Markus Püschel (ETH Zurich), Zhendong Su (ETH Zurich), Martin Vechev (ETH Zurich)

This is the ninth time the workshop is being held (formerly Workshop on Software Correctness and Reliability). Materials from the 2021, 2019, 2018, 2017, 2016, 2015, 2014 and 2013 workshops are also available.


October 7, 2022 (Friday)

Time Speaker Institution Talk Title & Abstract Slides Video
09:45 - 10:00 Organizers ETH Zurich
Introduction of participants, Workshop objectives
10:00 - 11:00
Ilya Sergey
Practical Smart Contract Sharding with Static Program Analysis
11:00 - 12:00
Azalea Raad
Incorrectness Logic for Scalable Bug Detection
12:00 - 13:30 LUNCH
13:30 - 14:30
Kevin Ellis
Toward Trustworthy and Interpretable Program Synthesis
14:30 - 15:30 Saman Amarasinghe MIT
15:30 - 16:00 COFFEE BREAK
16:00 - 16:30 Veselin Raychev Snyk
Finding bugs in applications while you code them
16:30 - 17:00
Theodoros Theodoridis
ETH Zurich
A Quest Toward the “Perfect” Optimizing Compiler

October 8, 2022 (Saturday)

Time Speaker Institution Talk Title & Abstract Slides Video
09:45 - 10:00 Organizers ETH Zurich Introduction to second day
10:00 - 11:00
Hila Peleg
Program Synthesis Co-Design
11:00 - 12:00
Nuno Lopes
A Decade Verifying LLVM, or How to Retrofit Soundness in Industrial Software
12:00 - 13:30 LUNCH
13:30 - 14:30
Baris Kasikci
Michigan & UW
The Quest for Efficient and Trustworthy Systems
14:30 - 15:30
Zachary Tatlock
The egg Equality Saturation Toolkit
15:30 - 16:00 COFFEE BREAK
16:00 - 16:30
Marco Eilers
ETH Zurich
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
16:30 - 17:00 Joao Rivera ETH Zurich
A Compiler for Sound Floating-Point Computations
17:00 - 17:15 Organizers ETH Zurich Closing Remarks


Early Bird: by Sept 16, 2022 Regular fee: as of Sept 17, 2022
Workshop Fee (Students) 70 CHF 90 CHF
Workshop Fee (Regular) 110 CHF 130 CHF
The registration fees include:
  • Attendance to all presentations
  • Question & answer sessions
  • Slides and videos for most presentations
  • Lunch on both days
  • Coffee & snacks

To register, please follow this link: Workshop Registration.
Registration will close on Sunday, 2nd October, 11:59pm.
For information and questions, please contact Tracy Ewen:


ETH Zurich is located in the heart of the city and easy to reach.
From Zurich HB (main station): If you arrive by train to Zurich 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 Zurich 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/Universitätsspital". 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, bills as well as credit cards and give 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. From there take tram no. 6 or no. 10 as described above.


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:

Hotels further away: