PLDI Review Committee PLDI Research Papers

Zhendong Su PC Chair

ETH Zurich

Switzerland

Işıl Dillig Associate Chair

University of Texas at Austin

United States

Dana Drachsler Cohen Associate Chair

Technion

Israel

Sophia Drossopoulou Associate Chair

Imperial College London

United Kingdom

Tobias Grosser Associate Chair

University of Cambridge

United Kingdom

Viktor Kunčak Associate Chair

EPFL

Switzerland

Shan Lu Associate Chair

Microsoft; University of Chicago

United States

Anders Møller Associate Chair

Aarhus University

Denmark

Alexandra Silva Associate Chair

Cornell University

United States

Yingfei Xiong Associate Chair

Peking University

China

Steve Zdancewic Associate Chair

University of Pennsylvania

United States

Clément Allain

Aarhus University

France

Pedro H. Azevedo de Amorim

University of Bath

A. R. Balasubramanian

Max Planck Institute for Software Systems

Germany

Michael Ballantyne

Washington State University

United States

Yuyan Bao

Augusta University

United States

Guillaume Baudart

Inria

France

Michael Bauer

NVIDIA

United States

Thomas Bauereiss

University of Cambridge

United Kingdom

Martin Berger

University of Sussex & Montanarius Ltd

Ajay Brahmakshatriya

Build4Sim Inc.

United States

Joachim Breitner

Lean FRO

Germany

Rodrigo Bruno

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

Portugal

Brian Campbell

University of Edinburgh

United Kingdom

Stefanos Chaliasos

University of Athens & zkSecurity

Jocelyn Qiaochu Chen

University of Alberta

Canada

Kazem Cheshmi

McMaster University

Canada

Nariyoshi Chida

NTT Social Informatics Laboratories

Japan

Kai-Min Chung

Academia Sinica

Taiwan

Pavel Chuprikov

Télécom Paris, Institut Polytechnique de Paris

France

Deepak D'Souza

Indian Institute of Science

India

Thibault Dardinier

New York University

United States

Paulo de Vilhena

University of Surrey

United Kingdom

Maryam Mehri Dehnavi

University of Toronto / NVIDIA Research

Canada

Dominique Devriese

KU Leuven

Belgium

Alastair F. Donaldson

Imperial College London

United Kingdom

Gregory J. Duck

National University of Singapore

Singapore

Wang Fang

University of Edinburgh

United Kingdom

Mathieu Fehr

University of Cambridge

United Kingdom

Alcides Fonseca

University of Lisbon

Portugal

Zhoulai Fu

State University of New York (SUNY), Korea

Timon Gehr

ETH Zürich

Switzerland

Cristiano Giuffrida

VU Amsterdam

Amir K. Goharshady

University of Oxford / Gran Sasso Science Institute

Italy

Mary Hall

University of Utah

United States

Jingxuan He

NVIDIA Research; Nanyang Technological University

United States

Jason Hemann

Seton Hall University

United States

Kihong Heo

KAIST

South Korea

Jan Hoffmann

Carnegie Mellon University

United States

Jana Hofmann

Max Planck Institute for Security and Privacy (MPI-SP)

Germany

Steven Holtzen

Northeastern University

United States

Lukáš Holík

Aalborg University, Brno University of Technology

Czechia

Jaemin Hong

UNIST

South Korea

Olivia Hsu

Carnegie Mellon University

United States

Jeff Huang

Texas A&M University

United States

Jules Jacobs

ETH

Switzerland

Abhinav Jangda

Microsoft Research

United States

Thomas P. Jensen

INRIA and U. of Copenhagen

Ruyi Ji

University of Michigan

United States

Zhihao Jia

Carnegie Mellon University

Bengt Jonsson

Uppsala University

Sweden

Changhee Jung

Purdue University

Alex Kavvos

University of Bristol

United Kingdom

Jieung Kim

Yonsei University

South Korea

Fredrik Kjolstad

Stanford University

United States

Naoki Kobayashi

The University of Tokyo

Michalis Kokologiannakis

ETH Zurich

Switzerland

Peter Lammich

University of Twente

Sung-Hwan Lee

Rebellions Inc.

South Korea

Wonyeol Lee

POSTECH

South Korea

Owolabi Legunsen

Cornell University

United States

Ondřej Lengál

Brno University of Technology

Czechia

Cong Li

ETH Zurich

Switzerland

Jianlin Li

NVIDIA

Canada

Shaohua Li

The Chinese University of Hong Kong

Hong Kong SAR China

Yue Li

Nanjing University, China

China

Jay Lim

University of California - Riverside

Jyun-Ao Lin

National Taipei University of Technology

Taiwan

Amanda Liu

Google

United States

Nuno P. Lopes

University of Lisbon

P. Madhusudan

University of Illinois at Urbana-Champaign

United States

Charith Mendis

University of Illinois at Urbana-Champaign

United States

Dimitris Mitropoulos

University of Athens

Greece

Mark Moeller

College of the Holy Cross

United States

Fabrizio Montesi

FORM, University of Southern Denmark

Denmark

Akimasa Morihata

the University of Tokyo

Japan

Michael Norrish

Australian National University

Australia

Petr Novotný

Masaryk University

Czechia

Matthew J. Parkinson

Microsoft

United Kingdom

Daniel Patterson

Northeastern University

United States

Brandon Paulsen

Amazon Web Services, Inc.

United States

Pavlos Petoumenos

University of Manchester

United Kingdom

Lauren Pick

The Chinese University of Hong Kong

Hong Kong SAR China

Anton Podkopaev

JetBrains Research / Constructor University Bremen

Netherlands

Corina S. Păsăreanu

Amazon and Carnegie Mellon university

United States

Steven Ramsay

University of Bristol

United Kingdom

Fabrice Rastello

Inria

France

Veselin Raychev

INSAIT

Gabriel Rodríguez

Universidade da Coruña

Spain

Neil Julien Ross

Dalhousie University

Canada

Sukyoung Ryu

KAIST

Republic of Korea

Michael Sammler

Institute of Science and Technology Austria (ISTA)

Austria

Susmit Sarkar

University of St Andrews

Eric Schkufza

you.com

Michael Schwarz

National University of Singapore

Singapore

Helmut Seidl

TU München, School of CIT

Germany

Thomas Sewell

UNSW Sydney

Amir Shaikhha

TU Darmstadt

United Kingdom

Krishna Shankaranarayanan

IIT Bombay

Qingkai Shi

Nanjing University

China

Yunong Shi

AWS

Ji-Yong Shin

Northeastern University

United States

KC Sivaramakrishnan

IIT Madras / Tarides

India

Thodoris Sotiropoulos

University of Athens

Switzerland

Deian Stefan

UC San Diego

United States

Ting Su

East China Normal University

China

Chengnian Sun

University of Waterloo

Canada

Tian Tan

Nanjing University

China

Yong Kiam Tan

Nanyang Technological University

Swamit Tannu

University of Wisconsin-Madison

Runzhou Tao

University of Maryland

United States

Olivier Tardieu

IBM Research

United States

Mohamed Tarek Ibn Ziad

NVIDIA

United States

Aditya V. Thakur

University of California, Davis

United States

Peter Thiemann

University of Freiburg

Germany

Nikos Vasilakis

Brown University

United States

Niki Vazou

IMDEA Software Institure

Spain

Klaus von Gleissenthall

VU Amsterdam

Netherlands

Di Wang

Peking University

China

Ke Wang

Nanjing University

China

Xinyu Wang

University of Michigan, Ann Arbor

United States

Yuting Wang

Shanghai Jiao Tong University

China

Yuanhao Wei

University of British Columbia

Canada

Pascal Weisenburger

University of St. Gallen

Switzerland

James R. Wilcox

University of Washington

United States

Max Willsey

UC Berkeley

United States

Daoyuan Wu

Lingnan University

Hong Kong SAR China

Rongxin Wu

Xiamen University

China

Rohan Yadav

Anthropic

United States

Guowei Yang

University of Queensland

Australia

Wenjia Ye

The University of Hong Kong

Hong Kong SAR China

Nengkun Yu

Stony Brook University

United States

Fabian Zaiser

ETH Zürich

Jidong Zhai

Tsinghua University

Naijun Zhan

Peking University

China

Charles Zhang

HKUST

China

Chengyu Zhang

Loughborough University

United Kingdom

Qirun Zhang

Georgia Institute of Technology

United States

Xin Zhang

Peking University

China

Zhe Zhou

Peking University

United States

He Zhu

Rutgers University