Workshop on Software Correctness and Reliability

Oct 2-3, 2015
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.

Organizers

Peter Müller (ETH Zürich) , Martin Vechev (ETH Zürich)
This is the third time the workshop is being held. Materials from the 2014 and 2013 workshops are also available.

Schedule

October 2 (Friday)

TimeSpeakerInstitutionTalk Title & AbstractSlidesVideo
9:00 - 9:15 Organizers ETH Zürich
Opening Remarks
9:15 - 10:00 Patrick Cousot NYU/ENS
Abstract Induction
 PDF
10:00 - 10:45 Thomas Gross ETH Zürich
Walls, Gates, and Guards
 PDF
10:45 - 11:15 Coffee Break
11:15 - 12:00 Roberto Giacobazzi University of Verona (Italy)
and IMDEA Software Institute (Spain)
Analysing Completeness in Program Analysis
 PDF
12:00 - 13:30 Lunch
13:30 - 14:15 Cristiano Calcagno Facebook/Imperial College
Infer: deploying static analysis at Facebook
 PDF
14:15 - 15:00 Marco Pistoia IBM T.J. Watson Research Center
Combining Static Analysis and Machine Learning for Industrial-quality Information-flow-security Enforcement
 PDF
15:00 - 15:30 Coffee Break
15:30 - 16:15 Natasha Sharygina University of Lugano
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification
 PDF
16:15 - 16:45 Martin Vechev
ETH Zürich
Commutativity Race Detection: Concepts, Algorithms and Open Problems
 PDF
16:45 - 17:15 Peter Müller ETH Zürich
Viper - A Verification Infrastructure for Permission-based Reasoning
 PDF

October 3 (Saturday)

Time Speaker Institution Talk Title & Abstract Slides Video
9:00 - 9:15 Organizers ETH Zürich
Opening Remarks
9:15 - 10:00 Vivek Sarkar Rice University
Avoidance, Detection, and Repair of Bugs in Structured Parallel Programs
 PDF
10:00 - 10:45 Ken McMillan Microsoft Research
Human-machine interaction in invariance proofs
 PDF
10:45 - 11:15 Coffee Break
11:15 - 12:00 Andreas Podelski Freiburg
Proof Spaces
 PDF
12:00 - 13:30 Lunch
13:30 - 14:15 Akash Lal Microsoft Research
DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
 PDF
14:15 - 15:00 Umut Acar Carnegie Melon University
Challenges of Parallelism in Research and Teaching
 PDF
15:00 - 15:45 Patrick Lam University of Waterloo
Static and Dynamic Analysis of Test Suites
 PDF
15:45 - 15:50 Organizers ETH Zürich Closing Remarks

Registration

Early Bird: by Sept 1st 2015 Regular fee: after Sept 1st 2015 (latest day: Sept 22, 2015)
Workshop Fee (Students) 70 CHF 90 CHF
Workshop Fee (Regular) 110 CHF 130 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: 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:

  • 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.

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: