Workshop on Dependable and Secure Software Systems

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

Schedule

October 25 (Monday)

Time Speaker Institution Talk Title & Abstract Slides Video
5:00pm - 5:15pm Organizers ETH Zurich
Opening Remarks
5:15pm - 6:00pm
Deepak Garg
 MPI-SWS
Proving compiler security with dynamic memory sharing and proof reuse
 not
public		 not
public
6:00pm - 6:45pm
George Candea
 EPFL
Performance Interfaces for Systems Code
not
public		 not
public
6:45pm - 7:00pm Break
7:00pm - 7:45pm
Ningning Xie
 University of Cambridge
Efficient Compilation of Algebraic Effect Handlers
 PDF
7:45pm - 8:30pm Justin Gottschlich Intel
Machine Programming & Data-Driven Dependable and Secure Software Systems
 PDF
8:30pm - 8:40pm Organizers ETH Zurich Closing Remarks

October 26 (Tuesday)

Time Speaker Institution Talk Title & Abstract Slides Video
5:00pm - 5:15pm Organizers ETH Zurich
Opening Remarks
5:15pm - 6:00pm
Byron Cook
 Amazon
On the Business of Proof
not
public
6:00pm - 6:45pm
Nadia Polikarpova
 UC San Diego
Synthesis of Safe Pointer-Manipulating Programs
 PDF
6:45pm - 7:00pm Break
7:00pm - 7:45pm
Anders Miltner
 University of Texas at Austin
Verification and Synthesis for Data Structures
 PDF
7:45pm - 8:30pm
Marcel Böhme
 MPI-SP
On the Surprising Efficiency and Exponential Cost of Fuzzing
 PDF
8:30pm - 8:40pm Organizers ETH Zurich Closing Remarks

Registration

Workshop Fee
Students 30 CHF
Regular 50 CHF
The registration fees include:
  • Online attendance to all presentations
  • Question & answer sessions
  • Availability of slides and videos for most presentations

To register, please follow this link: Workshop Registration. Registration will close on Tuesday, 26 October, 04:00pm (CEST, UTC +2).
For information and questions, please contact Mrs. Fiorella Meyer, ETH Zurich: fiorella.meyer@inf.ethz.ch.