Program Committee APLAS

Chung-Kil Hur PC Chair

Seoul National University

South Korea

Soham Chakraborty PC Member

TU Delft

Netherlands

Yu-Fang Chen PC Member

Academia Sinica

Taiwan

Ronghui Gu PC Member

Columbia University, USA

Ichiro Hasuo PC Member

National Institute of Informatics, Japan

Japan

Ralf Jung PC Member

ETH Zürich

Switzerland

Ohad Kammar PC Member

University of Edinburgh

United Kingdom

Jeehoon Kang PC Member

KAIST

South Korea

Jieung Kim PC Member

Inha University

South Korea

Robbert Krebbers PC Member

Radboud University Nijmegen

Netherlands

Ori Lahav PC Member

Tel Aviv University

Israel

Doug Lea PC Member

State University of New York (SUNY) Oswego

United States

Woosuk Lee PC Member

Hanyang University

South Korea

Hongjin Liang PC Member

Nanjing University

China

Nuno P. Lopes PC Member

INESC-ID; Instituto Superior Técnico - University of Lisbon

Portugal

Chandrakana Nandi PC Member

Certora

United States

Liam O'Connor PC Member

University of Edinburgh

United Kingdom

Bruno C. d. S. Oliveira PC Member

University of Hong Kong

China

Jihyeok Park PC Member

Korea University

South Korea

Clément Pit-Claudel PC Member

EPFL

Switzerland

Matthieu Sozeau PC Member

Inria

France

Kohei Suenaga PC Member

Graduate School of Informatics, Kyoto University

Japan

Tarmo Uustalu PC Member

Reykjavik University

Iceland

John Wickerson PC Member

Imperial College London

United Kingdom

Danfeng Zhang PC Member

Duke University; Pennsylvania State University

United States