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 fourth time the workshop is being held. Materials from the 2015, 2014 and 2013 workshops are also available.

Schedule

October 7 (Friday)

TimeSpeakerInstitutionTalk Title & AbstractSlidesVideo
9:00 - 9:15OrganizersETH Zürich
Opening Remarks
9:15 - 10:00 Emery BergerUMass Amherst
On the Correctness of Spreadsheets: An Excellent Problem for Programming Language Researchers
PDF   
10:00 - 10:45 Gilles BartheIMDEA Software
Relational Program Verification and Probabilistic Couplings
PDF   
10:45 - 11:15Coffee Break  
11:15 - 12:00 Zhendong Su UC Davis
EMI Testing: Finding 1000+ Bugs in GCC and LLVM in 3 Years
PDF   
12:00 - 13:30Lunch  
13:30 - 14:15 Anders Moeller Aarhus
Analyzing Test Completeness for Dynamic Languages
PDF   
14:15 - 15:00 Arie GurfinkelUniversity of Waterloo
Algorithmic Logic-Based Verification with SeaHorn
PDF   
15:00 - 15:30Coffee Break   
15:30 - 16:15 Avik Chaudhuri Facebook
Flow: Fast and Precise Static Type Checking for JavaScript
PDF   
16:15 - 16:45 Martin VechevETH Zürich
Machine Learning and Programming Languages: latest directions and research opportunities
PDF   
16:45 - 17:15 Peter Müller
ETH Zürich
Automating Relaxed Separation Logic in Viper
PDF   

October 8 (Saturday)

TimeSpeakerInstitutionTalk Title & AbstractSlidesVideo
9:00 - 9:15OrganizersETH Zürich
Opening Remarks
9:15 - 10:00 Markus Püschel ETH Zürich
Computer Generation of Fast Linear Algebra Code
PDF   
10:00 - 10:45 Rustan LeinoMicrosoft Research Redmond
Verification beyond programs
PDF   
10:45 - 11:15Coffee Break  
11:15 - 12:00 Annabelle McIver Macquarie University
Quantitative Information Flow: when are partial breaches of confidentiality insignificant?
PDF   
12:00 - 13:30Lunch  
13:30 - 14:15 Bor-Yuh Evan ChangUniversity of Colorado
Analyzing, Abstracting, and Mining Event-Driven Systems
PDF   
14:15 - 14:30 OrganizersETH ZürichClosing Remarks

Registration

Early Bird: by Sept 9th 2016Regular fee: after Sept 9th, 2016 (latest day: Sept 23, 2016)
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: