[ecoop-info] Workshop on Software Correctness and Reliability @ ETH Zurich (series of invited talks)

Mueller Peter peter.mueller at inf.ethz.ch
Thu Sep 1 11:06:58 CEST 2016

4th ETH Workshop on Software Correctness and Reliability

October 07-08, 2016

ETH Zurich, Switzerland


Early registration ends September 9

Ensuring that 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:

  *   Gilles Barthe (IMDEA Software)<http://software.imdea.org/people/gilles.barthe/>
Relational Program Verification and Probabilistic Couplings
  *   Emery Berger (UMass Amherst)<https://emeryberger.com/>
  *   Bor-Yuh Evan Chang (University of Colorado)<http://www.cs.colorado.edu/~bec/>
Cooperative Program Analysis for Software Reliability
  *   Avik Chaudhuri (Facebook)<http://www.cs.umd.edu/~avik/>
  *   Arie Gurfinkel (Carnegie Mellon University)<http://arieg.bitbucket.org/>
Algorithmic Logic-Based Verification with SeaHorn
  *   Rustan Leino (Microsoft Research Redmond)<http://research.microsoft.com/en-us/um/people/leino/>
  *   Annabelle McIver (Macquarie University)<https://research.science.mq.edu.au/verification-lab/>
Quantitative Information Flow:  when are partial breaches of confidentiality insignificant?
  *   Peter Müller (ETH Zurich)<http://www.pm.inf.ethz.ch/>
Automating Relaxed Separation Logic in Viper
  *   Madhusudan Parthasarathy (University of Illinois at Urbana-Champaign)<http://madhu.cs.illinois.edu/>
  *   Markus Püschel (ETH Zurich)<https://www.inf.ethz.ch/personal/markusp/>
Computer Generation of Fast Linear Algebra Code
  *   Zhendong Su (UC Davis)<http://web.cs.ucdavis.edu/~su/>
  *   Martin Vechev (ETH Zurich)<http://www.srl.inf.ethz.ch/vechev.php>
  *   Andreas Zeller (Saarland University)<https://www.st.cs.uni-saarland.de/zeller/>
Deep Fuzzing with Mined Input Grammars

Abstracts, more details on the workshop, and the registration details can be found at: http://www.srl.inf.ethz.ch/workshop2016.php.

More information about the ecoop-info mailing list