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