Program committee



Name Affiliation
Steve Kremer Loria & Inria
Scott Moore Galois, Inc.
Omer Tripp Google
Nataliia Bielova chair Inria
Mario Alvim Universidade Federal de Minas Gerais
Marco Gaboardi chair University at Buffalo
Lujo Bauer Carnegie Mellon University
Kevin Hamlen University of Texas at Dallas
Frank Piessens "DistriNet
Deepak Garg MPI Software Systems
Danfeng Zhang Penn State University
Boris Köpf IMDEA Software Institute
Aslan Askarov Aarhus University