Program committee



Name Affiliation
Roberto Giacobazzi University of Verona (Italy)
Viviana Bono University of Torino (Italy)
Naoki Kobayashi University of Tokyo (Japan)
Steve Zdancewic University of Pennsylvania (USA)
Niki Vazou University of Maryland (USA)
Fritz Henglein University of Copenhagen (Denmark)
Matthew Hammer University of Colorado Boulder (USA)
Éric Tanter University of Chile
Peter Sewell University of Cambridge (UK)
Davide Sangiorgi University of Bologne and Inria (Italy)
Jade Alglave University College London (UK)
Marco Gaboardi SUNY Buffalo (USA)
Suresh Jagannathan Purdue University (USA)
Amal Ahmed chair Northeastern University (USA)
Dominique Devriese KU Leuven (Belgium)
Philipp Haller KTH Royal Institute of Technology (Sweden)
Xavier Leroy Inria Paris (France)
Catalin Hritcu Inria Paris
Aleksandar Nanevski IMDEA Software Institute (Spain)
Andreas Rossberg Google (Germany)
Nick Benton Facebook (UK)
Josh Berdine Facebook
Michael Norrish Data61 and CSIRO (Australia)
Limin Jia Carnegie Mellon University (USA)
Jan Hoffmann Carnegie Mellon University (USA)