Workshop on Software Correctness and Reliability

Oct 4-5, 2013
Alumni Pavillon, Rämlmistrasse 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.


Peter Müller (ETH Zürich) , Martin Vechev (ETH Zürich)


October 4 (Friday)

TimeSpeakerInstitutionTalk Title & AbstractSlidesVideo
9:00 - 9:15 Organizers ETH Zürich
Opening Remarks
first 3.40 min
9:15 - 10:00 Moshe VardiRice University
The Rise and Fall of
Linear Temporal Logic
10:00 - 10:45 David Bacon IBM T.J. Watson
Research Center
Economic Approaches to
Software Correctness
10:45 - 11:15 Coffee Break
11:15 - 12:00 Mooly Sagiv Tel Aviv University
Modular Reasoning about Heap Paths via Effectively Propositional Formulas
12:00 - 13:30 Lunch
13:30 - 14:15 John Boyland University of
Two Levels of Reuse for Proving Correctness of Concurrent Type Systems
14:15 - 15:00 Andrey Rybalchenko Microsoft Research,
TU Munich
Solving Quantified Horn Clauses
15:00 - 15:30 Coffee Break
15:30 - 16:15 Jan Vitek Purdue University
Why JavaScript Programmers Hate You: an ode to dynamic languages
16:15 - 16:45 Martin Vechev
ETH Zürich
Race Detection for
Event Driven Apps
16:45 - 17:15 Peter Müller ETH Zürich
Collaborative Verification and Testing

October 5 (Saturday)

Time Speaker Institution Talk Title & Abstract Slides Video
9:00 - 9:15 Organizers ETH Zürich
Opening Remarks
9:15 - 10:00 Byron Cook Microsoft Research, UCL
Beyond Termination
10:00 - 10:45 Junfeng Yang Columbia University
Stabilization in Concurrent Programming
10:45 - 11:15 Coffee Break
11:15 - 12:00 Viktor Kuncak EPFL
Executing Specifications using Synthesis and Constraint Solving
12:00 - 13:30 Lunch
13:30 - 14:15 Eran Yahav Technion
Programming with
Millions of Examples
14:15 - 15:00 Ernie Cohen
Assertional reasoning for weak memory
Speaker used blackboard
15:00 - 15:10 Organizers ETH Zürich Closing Remarks Last 10 sec


Early Bird: by Sept 1st 2013 Regular fee: after Sept 1st 2013 (latest day: Sept 26, 2013)
Workshop Fee (Students) 60 CHF 80 CHF
Workshop Fee (Regular) 100 CHF 120 CHF
The registration fees include:
  • Attendance to all presentations
  • Lunches on both days
  • Coffee & Snacks

To register, please follow this link: Workshop Registration

For information and questions, please contact Mrs. Marlies Weissert:


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.


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: