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

Mueller Peter peter.mueller at inf.ethz.ch
Fri Jul 15 09:30:42 CEST 2016


4th ETH Workshop on Software Correctness and Reliability



October 07-08, 2016

ETH Zurich, Switzerland

http://www.srl.inf.ethz.ch/workshop2016.php

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/>
  *   Isil Dillig (UT Austin)<http://www.cs.utexas.edu/~isil/>
  *   Arie Gurfinkel (Carnegie Mellon University)<http://arieg.bitbucket.org/>
  *   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