Program Committee CPP

Brigitte Pientka PC Chair

McGill University

Canada

Steve Zdancewic PC Chair

University of Pennsylvania

United States

Reynald Affeldt

National Institute of Advanced Industrial Science and Technology (AIST), Japan

Koen Claessen

Chalmers University of Technology, Sweden

Ranald Clouston

ANU

Leonardo de Moura

Microsoft Research, n.n.

Tej Chajed

VMware Research

United States

Xinyu Feng

Nanjing University

China

Denis Firsov

Tallinn University of Technology

Estonia

Yannick Forster

Inria

France

Milos Gligoric

University of Texas at Austin

United States

Stephane Graham-Lengrand

SRI

Elsa Gunter

University of Illinois

United States

Chris Hawblitzel

Microsoft Research

Chantal Keller

Université Paris Saclay

Marie Kerjean

CNRS, Université Sorbonne Paris Nord

France

Yoonseung Kim

Seoul National University (South Korea)

Kenji Maillard

Inria Nantes & University of Chile

César Muñoz

Amazon Web Services

Tobias Nipkow

Technische Universität München

Lawrence Paulson

University of Cambridge

United Kingdom

Anja Petković Komel

TU Wien, Vienna, Austria

Clément Pit-Claudel

EPFL / AWS

United States

Pierre-Marie Pédrot

INRIA

France

Christine Rizkallah

University of Melbourne

Australia

Cody Roux

Kazuhiko Sakaguchi

Anna Slobodova

Intel

Aaron Stump

The University of Iowa, USA

United States

René Thiemann

University of Innsbruck

Amin Timany

Aarhus University

Denmark

Josef Urban

Czech Technical University in Prague

Czech Republic

Viktor Vafeiadis

MPI-SWS

Germany

Yuting Wang

Shanghai Jiao Tong University

China

Tjark Weber

Uppsala University

Sweden