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)

This is the fifth time the workshop is being held. Materials from the 2016, 2015, 2014 and 2013 workshops are also available.


October 13 (Friday)

TimeSpeakerInstitutionTalk Title & AbstractSlidesVideo
9:00 - 9:15OrganizersETH Zürich
Opening Remarks
9:15 - 10:00 Nate Foster Cornell, USA
Verifying Network Data Planes
10:00 - 10:45 Joost-Pieter KatoenAachen, Germany
Predictable Probabilistic Programming by Deductive Verification
10:45 - 11:15Coffee Break  
11:15 - 12:00 Sharon ShohamTel Aviv University, Israel
Interactive Verification of Distributed Protocols
12:00 - 13:30Lunch  
13:30 - 14:15 Mike CarbinMIT, USA
From Reliability to Resilience via Program Verification
14:15 - 15:00 Derek DreyerMPI-SWS, Germany
RustBelt: Securing the Foundations of the Rust Programming Language
15:00 - 15:30Coffee Break   
15:30 - 16:15 Laura KovacsTU Wien, Austria
Symbol Elimination for Program Analysis
16:15 - 16:45 Martin VechevETH Zürich
Reliable and Interpretable Artificial Intelligence
16:45 - 17:15 Peter Müller
ETH Zürich
Modular Verification of Secure Information Flow

October 14 (Saturday)

TimeSpeakerInstitutionTalk Title & AbstractSlidesVideo
9:00 - 9:15OrganizersETH Zürich
Opening Remarks
9:15 - 10:00 Rupak MajumdarMPI-SWS, Germany
Combinatorial Constructions in Testing Concurrent Programs
10:00 - 10:45 Brandon LuciaCMU, USA
Reliable Intermittent Computing
10:45 - 11:15Coffee Break  
11:15 - 12:00 Klaus HavelundJPL/NASA, USA
From Specifications to Monitors
12:00 - 13:30Lunch  
13:30 - 14:15 Manu SridharanUber, USA
Moving Fast with High Reliability: Program Analysis at Uber
14:15 - 15:00 Swarat ChaudhuriRice University, USA
Guiding Formal Methods with Discovered Knowledge
15:00 - 15:30Coffee Break   
15:30 - 16:15 Cezara DragoiENS, France
Partially synchronous programming abstractions for replicated state machine
16:15 - 17:00 Francesco Zappa NardelliInria, France
Debugging Debug Informations
17:00 - 17:10 OrganizersETH ZürichClosing Remarks


Early Bird: by Sept 15th 2017Regular fee: after Sept 15th, 2017
Workshop Fee (Students) 70 CHF90 CHF
Workshop Fee (Regular) 110 CHF130 CHF
The registration fees include:

To register for the workshop, please send an e-mail to Claudia Gunthart at: claudia.guenthart@inf.ethz.ch


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:

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


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: