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)

This is the second time the workshop is being held. Here is a link to the workshop from 2013: First Edition of Workshop.

Schedule

October 3 (Friday)

TimeSpeakerInstitutionTalk Title & AbstractSlidesVideo
9:00 - 9:15OrganizersETH Zürich
Opening Remarks
9:15 - 10:00 James LarusEPFL
What Happened to the Promise of Software Tools?
PDF
10:00 - 10:45 Martin RinardMIT
Two Techniques for Automatically Eliminating Software Defects
PDF
10:45 - 11:15Coffee Break  
11:15 - 12:00 David BasinETH Zurich
Enforceable Security Policies
PDF
12:00 - 13:30Lunch
13:30 - 14:15 Rajeev AlurUniversity of Pennsylvania
Regular Functions
PDF
14:15 - 15:00 Armando Solar-LezamaMIT
Techniques and applications of constraint-based synthesis
PDF
15:00 - 15:30Coffee Break   
15:30 - 16:15Anders MøllerAarhus University
Program Analysis for JavaScript - Challenges and Techniques
PDF
16:15 - 16:45 Martin Vechev
ETH Zürich
Statistical Program Analysis and Synthesis
PDF
16:45 - 17:15 Peter Müller ETH Zürich
TouchGuru - Static Analysis for a Mobile Development Environment
PDF

October 4 (Saturday)

TimeSpeakerInstitutionTalk Title & AbstractSlidesVideo
9:00 - 9:15OrganizersETH Zürich
Opening Remarks
9:15 - 10:00 Vijay SaraswatIBM T.J. Watson Research Center
Resilient X10
PDF
10:00 - 10:45 Ranjit JhalaUC San Diego
Types are a Program Analysis' Best Friend
PDF
10:45 - 11:15Coffee Break  
11:15 - 12:00 Ahmed BouajjaniUniversity Paris 7
On checking observational refinement between libraries of concurrent data structures
PDF
12:00 - 13:30Lunch
13:30 - 14:15 Mayur NaikGeorgia Tech
Self-Adaptive Program Analysis
PDF
14:15 - 15:00 Manfred BroyTU Munich
Modeling Software and System Reliability
PDF
15:00 - 15:10 OrganizersETH ZürichClosing Remarks

Registration

If you would still like to register for the workshop, please send an e-mail directly to Mrs. Marlies Weissert: marlies.weissert@inf.ethz.ch


Early Bird: by Sept 10'th 2014Regular fee: after Sept 10'th, 2014 (latest day: Sept 22, 2014)
Workshop Fee (Students) 70 CHF90 CHF
Workshop Fee (Regular) 110 CHF130 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: