Program Committee PriSC

Gilles Barthe

IMDEA Software Institute

Spain

Pramod Bhatotia

University of Edinburgh

Lars Birkedal

Aarhus University

William J. Bowman

University of British Columbia

Canada

David Chisnall

University of Cambridge

Dominique Devriese PC Co-Chair

Vrije Universiteit Brussel, Belgium

Belgium

Cédric Fournet

Microsoft Research

Deepak Garg PC Co-Chair

Max Planck Institute for Software Systems

Germany

Chung-Kil Hur

Seoul National University

Korea, South

Alan Jeffrey

Mozilla Research

United States

Gabriele Keller

Utrecht University

Australia

Santosh Nagarakatte

Rutgers University, USA

United States

David Naumann

Stevens Institute of Technology

Marco Patrignani

Saarland University & CISPA

United States

Mathias Payer

EPFL

Switzerland

Frank Piessens

KU Leuven

Tamara Rezk

Inria

France

Gabriel Scherer

INRIA Saclay

France

Deian Stefan

University of California San Diego

David Swasey

MPI-SWS

Germany

Amin Timany

imec-Distrinet KU-Leuven

Belgium