[ecoop-info] Call for Participation: ETH Workshop on Dependable and Secure Software Systems

Mueller Peter peter.mueller at inf.ethz.ch
Sat Sep 1 18:52:52 CEST 2018


6th ETH Workshop on Dependable and Secure Software Systems



October 19-20, 2018

ETH Zurich, Switzerland

     www.sri.inf.ethz.ch/workshop2018.php<http://www.sri.inf.ethz.ch/workshop2018.php>



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:



·       Sara Achour (MIT)

·       Marc Brockschmidt (Microsoft Research Cambridge)

·       Matt Fredrikson (CMU)

·       Chris Hawblitzel (Microsoft Research Redmond)

·       Mike Hicks (University of Maryland)

·       Suresh Jagannathan (Purdue University)

  *   Peter Müller (ETH Zurich)

·       Sukyoung Ryu (KAIST)

·       Yannis Smaragdakis (University of Athens)

  *   Zhendong Su (ETH Zurich)

·       Nikhil Swamy (Microsoft Research Redmond)

  *   Martin Vechev (ETH Zurich)

·       Harry Xu (UCLA)

·       Andreas Zeller (CISPA)

·       Xiangyu Zhang (Purdue University)



More details on the workshop and the registration details can be found at: www.sri.inf.ethz.ch/workshop2018.php<http://www.sri.inf.ethz.ch/workshop2018.php>.






More information about the ecoop-info mailing list