Lars Birkedal |
Aarhus University |
Gilles Barthe |
IMDEA |
Gabriel Scherer |
INRIA |
Tamara Rezk |
INRIA Sophia-Antipolis |
Amin Timany |
KU Leuven |
Frank Piessens |
KU Leuven |
Deepak Garg chair |
Max Planck Institute for Software Systems |
Cédric Fournet |
Microsoft Research |
David Chisnall |
Microsoft Research |
Alan Jeffrey |
Mozilla Research |
David Swasey |
MPI-SWS |
William J. Bowman |
Northeastern University CCIS |
Mathias Payer |
Purdue University |
Santosh Nagarakatte |
Rutgers University |
Chung-Kil Hur |
Seoul National University |
Marco Patrignani |
Stanford |
David Naumann |
Stevens Institute of Technology |
Deian Stefan |
UC San Diego |
Pramod Bhatotia |
University of Edinburgh |
Gabriele Keller |
University of New South Wales and NICTA (Australia) |
Dominique Devriese chair |
Vrije Universiteit Brussel |