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.

Organizers

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.

Schedule

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
 NUS
Practical Smart Contract Sharding with Static Program Analysis
PDF
11:00 - 12:00
Azalea Raad
 Imperial
Incorrectness Logic for Scalable Bug Detection
 PDF
12:00 - 13:30 LUNCH
13:30 - 14:30
Kevin Ellis
 Cornell
Toward Trustworthy and Interpretable Program Synthesis
PDF
14:30 - 15:30
Saman Amarasinghe
 MIT
Supporting Structured Data
 PDF
15:30 - 16:00 COFFEE BREAK
16:00 - 16:30
Veselin Raychev
 Snyk
Finding bugs in applications while you code them
 not
public
16:30 - 17:00
Theodoros Theodoridis
 ETH Zurich
A Quest Toward the “Perfect” Optimizing Compiler
 PDF

October 8, 2022 (Saturday)

Time Speaker Institution Talk Title & Abstract Slides Video
10:00 - 11:00
Hila Peleg
 Technion
Program Synthesis Co-Design
PDF
11:00 - 12:00
Nuno Lopes
 ULisboa
A Decade Verifying LLVM, or How to Retrofit Soundness in Industrial Software
PDF
12:00 - 13:30 LUNCH
13:30 - 14:30
Baris Kasikci
Michigan & UW
The Quest for Efficient and Trustworthy Systems
 PDF
14:30 - 15:30
Zachary Tatlock
 UW
The egg Equality Saturation Toolkit
 PDF
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
 PDF
16:30 - 17:00
Joao Rivera
 ETH Zurich
A Compiler for Sound Floating-Point Computations
 PDF
17:00 - 17:15 Organizers ETH Zurich Closing Remarks

Registration

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: tracy.ewen@inf.ethz.ch.

Travel

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.

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:

Hotels further away: