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

Mueller Peter peter.mueller at inf.ethz.ch
Thu Aug 27 11:31:21 CEST 2015

3rd ETH Workshop on Software Correctness and Reliability

October 02-03, 2015

ETH Zurich, Switzerland


Early registration ends September 10

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:

  *   Umut Acar (Carnegie Melon University)<http://www.umut-acar.org/>
Challenges of Parallelism in Research and Teaching
  *   Cristiano Calcagno (Facebook and Imperial College)<http://www.imperial.ac.uk/collegedirectory/index.asp?PeopleID=767740>
Infer: deploying static analysis at Facebook
  *   Patrick Cousot (New York University and École normale supérieure, Paris)<http://www.di.ens.fr/%7Ecousot/>
  *   Roberto Giacobazzi (University of Verona and IMDEA Software Institute)<http://profs.sci.univr.it/%7Egiaco/>
Analysing Completeness in Program Analysis
  *   Thomas Gross (ETH Zurich)<http://www.lst.ethz.ch/people/trg.html>
Walls, Gates, and Guards
  *   Akash Lal (Microsoft Research, Asia)<http://research.microsoft.com/en-us/people/akashl/>
DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
  *   Patrick Lam (University of Waterloo)<http://patricklam.ca>
Static and Dynamic Analysis of Test Suites
  *   Ken McMillan (Microsoft Research, Redmond)<http://www.kenmcmil.com>
Human-machine interaction in invariance proofs
  *   Peter Müller (ETH Zurich)<http://www.pm.inf.ethz.ch/people/person-detail.html?persid=112017>
Viper - A Verification Infrastructure for Permission-based Reasoning
  *   Marco Pistoia (IBM T.J. Watson Research Center)<http://researcher.watson.ibm.com/researcher/view.php?person=us-pistoia>
  *   Andreas Podelski (Freiburg)<http://swt.informatik.uni-freiburg.de/staff/podelski>
Proof Spaces
  *   Vivek Sarkar (Rice University)<http://vsarkar.rice.edu/>
  *   Natasha Sharygina (University of Lugano)<http://www.inf.usi.ch/faculty/sharygina/>
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification
  *   Martin Vechev (ETH Zurich)<http://www.srl.inf.ethz.ch/vechev.php>

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

More information about the ecoop-info mailing list