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) , Martin Vechev (ETH)

Schedule

October 4 (Friday)

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

October 5 (Saturday)

TimeSpeakerInstitutionTalk Title & AbstractSlidesVideo
9:00 - 9:15OrganizersETH Zürich
Opening Remarks
9:15 - 10:00Byron CookMicrosoft Research,
UCL
Beyond Termination
PDF
10:00 - 10:45 Junfeng YangColumbia University
Stabilization in
Concurrent Programming
PDF
10:45 - 11:15Coffee Break  
11:15 - 12:00 Viktor KuncakEPFL
Executing Specifications
using Synthesis and
Constraint Solving
PDF
12:00 - 13:30Lunch
13:30 - 14:15 Eran YahavTechnion
Programming with
Millions of Examples
PDF
14:15 - 15:00Ernie Cohen
Assertional reasoning
for weak memory
Speaker used blackboard
15:00 - 15:10 OrganizersETH ZürichClosing Remarks last 10sec

Registration

Early Bird: by Sept 1st 2013Regular fee: after Sept 1st, 2013 (latest day: Sept 26, 2013)
Workshop Fee (Students) 60 CHF80 CHF
Workshop Fee (Regular) 100 CHF120 CHF
The registration fees include:

To register, please follow this link: Workshop Registration

For information and questions, please contact Mrs. Marlies Weissert: marlies.weissert@inf.ethz.ch

Travel


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):

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:

Some hotels further away: