Program Committee POPL

Hongseok Yang Program Chair

KAIST

South Korea

Michael D. Adams

University of Michigan

United States

Amal Ahmed

Northeastern University, USA

United States

Robert Atkey

University of Strathclyde

Sandrine Blazy

Univ Rennes, IRISA

France

David Broman

KTH

Sweden

Michael Carbin

Massachusetts Institute of Technology

United States

Alvin Cheung

University of California, Berkeley

Wei-Ngan Chin

National University of Singapore

Pierre Clairambault

CNRS & ENS Lyon

France

Christos Dimoulas

PLT @ Northwestern University

United States

Michael Emmi

Amazon Web Services

United States

Ronald Garcia

University of British Columbia

Radu Grigore

Facebook

United Kingdom

Ronghui Gu

Columbia University

United States

Matthew Hague

Royal Holloway University of London

United Kingdom

Kihong Heo

KAIST

South Korea

Ralf Hinze

Technische Universität Kaiserslautern

Jan Hoffmann

Carnegie Mellon University

United States

Justin Hsu

Cornell University

United States

Atsushi Igarashi

Kyoto University, Japan

Japan

Ranjit Jhala

University of California at San Diego

United States

Benjamin Lucien Kaminski

Saarland University and University College London

Germany

Shin-ya Katsumata

National Institute of Informatics

Japan

Alex Kavvos

University of Bristol

United Kingdom

Andrew Kennedy

Facebook London

United Kingdom

Neel Krishnaswami

University of Cambridge

United Kingdom

Ori Lahav

Tel Aviv University

Israel

Leonidas Lampropoulos

University of Maryland, College Park

Greece

Woosuk Lee

Hanyang University

South Korea

Hongjin Liang

Nanjing University

China

Anthony Widjaja Lin

TU Kaiserslautern; MPI-SWS

Germany

Fan Long

University of Toronto, Canada

P. Madhusudan

University of Illinois at Urbana-Champaign

United States

Kenneth L. McMillan

University of Texas at Austin

United States

J. Garrett Morris

The University of Iowa

United States

Koko Muroya

RIMS, Kyoto University

Japan

C.-H. Luke Ong

University of Oxford

United Kingdom

Pavel Panchekha

University of Utah

United States

Matthew Parkinson

Microsoft Research, UK

United Kingdom

François Pottier

Inria

France

Philipp Ruemmer

Uppsala University

Sweden

Chung-chieh Shan

Indiana University, USA

Filip Sieczkowski

University of Wrocław

Poland

Bas Spitters

Aarhus University

Denmark

Sam Staton

University of Oxford

Kohei Suenaga

Graduate School of Informatics, Kyoto University

Japan

Tachio Terauchi

Waseda University

Japan

Aditya V. Thakur

University of California at Davis

United States

Caterina Urban

INRIA & École Normale Supérieure | Université PSL

France

Niki Vazou

IMDEA Software Institute

Dimitrios Vytiniotis

DeepMind

United Kingdom

John Wickerson

Imperial College London

United Kingdom

James R. Wilcox

Certora

United States

Nicolas Wu

Imperial College London

United Kingdom

Qirun Zhang

Georgia Institute of Technology

United States