PLDI Review Committee PLDI Research Papers

Zachary Tatlock PC Chair

University of Washington

United States

Bor-Yuh Evan Chang Area Chair

University of Colorado Boulder & Amazon

United States

Loris D'Antoni Area Chair

UCSD

United States

Dana Drachsler Cohen Area Chair

Technion

Israel

Arjun Guha Area Chair

Northeastern University; Roblox

United States

James Larus Area Chair

EPFL

Sam Lindley Area Chair

The University of Edinburgh

United Kingdom

Na Meng Area Chair

Virginia Tech

United States

Benjamin C. Pierce Area Chair

University of Pennsylvania

United States

Manu Sridharan Area Chair

University of California at Riverside

United States

Reto Achermann

The University of British Columbia

Canada

Andrew Adams

Adobe Research

Maaz Bin Safeer Ahmad

University of Washington, Seattle

United States

Willow Ahrens

Massachusetts Institute of Technology

United States

Karim Ali

NYU Abu Dhabi

United Arab Emirates

Saman Amarasinghe

Massachusetts Institute of Technology

United States

Jason Ansel

Meta

United States

Aslan Askarov

Aarhus University

Eric Atkinson

Alexander Bakst

Certora

United States

Thomas Ball

Microsoft Research

United States

Sorav Bansal

IIT Delhi and CompilerAI Labs

India

Sébastien Bardin

CEA LIST, University Paris-Saclay

France

Ryan Beckett

Microsoft Research, USA

Aaron Bembenek

University of Melbourne

Australia

Gilbert Bernstein

University of Washington

United States

Thomas Bourgeat

EPFL

Switzerland

Michael Carbin

Massachusetts Institute of Technology

United States

Calin Cascaval

Google DeepMind

New Zealand

Chris Casinghino

Jane Street

Arthur Charguéraud

Inria

France

Albert Cohen

Google DeepMind

France

Will Crichton

Brown University

United States

Ankush Das

Boston University

United States

Benjamin Delaware

Purdue University

United States

Jenna DiVincenzo (Wise)

Purdue University

Chris Fallin

Fastly

United States

Grigory Fedyukovich

Florida State University

United States

Yu Feng

University of California at Santa Barbara

United States

Yannick Forster

Inria

France

Frank Fu

University of South Carolina

United States

Marco Gaboardi

Boston University

United States

Joshua Gancher

Northeastern University

United States

Andrés Goens

University of Amsterdam

Harrison Goldstein

University of Maryland College Park

United States

Anitha Gollamudi

University of Massachusetts Lowell

United States

Laure Gonnord

Université Grenoble-Alpes - Grenoble INP - LCIS

France

Ganesh Gopalakrishnan

University of Utah

Colin Gordon

Drexel University

United States

Ben Greenman

University of Utah, USA

Dan Grossman

University of Washington

United States

Samuel Gruetter

ETH Zurich

Ronghui Gu

Columbia University

United States

Bill Harris

AWS Automated Reasoning Group

United States

Philipp G. Haselwarter

Aarhus University

Denmark

Chris Hawblitzel

Microsoft Research

United States

Brian Hempel

UCSD

Yann Herklotz

EPFL

Switzerland

Tony Hosking

Australian National University

Australia

Shachar Itzhaky

Technion

Israel

Jules Jacobs

Cornell University

Susmit Jha

SRI

United States

Ranjit Jhala

University of California at San Diego

United States

Konstantinos Kallas

University of California, Los Angeles

United States

Mahmut Taylan Kandemir

Pennsylvania State University

United States

Stephen Kell

King's College London

Ariel E. Kellison

Cornell University

United States

Fredrik Kjolstad

Stanford University

United States

Thomas Koehler

CNRS, ICube lab

France

Viktor Kunčak

EPFL, Switzerland

Switzerland

Ignacio Laguna

Lawrence Livermore National Laboratory

United States

Leonidas Lampropoulos

University of Maryland, College Park

Greece

Daan Leijen

Microsoft Research

United States

Mohsen Lesani

University of California at Santa Cruz

Alexander K. Lew

Yale University

United States

Ang Li

Pacific Northwest National Laboratory

Liyi Li

Iowa State University

United States

Shaohua Li

The Chinese University of Hong Kong

Hong Kong SAR China

Jay P. Lim

Yale University

United States

Andrew Lumsdaine

RelationalAI and University of Washington

United States

P. Madhusudan

University of Illinois at Urbana-Champaign

United States

Jean-Marie Madiot

INRIA Paris

Rupak Majumdar

MPI-SWS

Germany

Sharad Malik

Princeton University

Konstantinos Mamouras

Rice University

United States

Umang Mathur

National University of Singapore

Singapore

Ana Milanova

Rensselaer Polytechnic Institute

Manasij Mukherjee

NVIDIA

Santosh Nagarakatte

Rutgers University

United States

Chandrakana Nandi

Certora

United States

Rachit Nigam

Massachusetts Institute of Technology

United States

Michael F. P. O'Boyle

University of Edinburgh

United Kingdom

Liam O'Connor

Australian National University

Australia

Rohan Padhye

Carnegie Mellon University

United States

Oded Padon

Karl Palmskog

KTH Royal Institute of Technology

Sweden

Artem Pelenitsyn

Purdue University

United States

Erez Petrank

Technion

Israel

Jean Pichon-Pharabod

Aarhus University

Denmark

André Platzer

Karlsruhe Institute of Technology (KIT)

Germany

Alex Potanin

Australian National University

Australia

Azalea Raad

Imperial College London

United Kingdom

Robert Rand

University of Chicago

United States

Alex Reinking

Adobe

Tiark Rompf

Purdue University

United States

Neil Julien Ross

Dalhousie University

Canada

Feras Saad

Carnegie Mellon University

United States

Cole Schlesinger

Galois

Taro Sekiyama

National Institute of Informatics; SOKENDAI

Japan

Denys Shabalin

Google

Switzerland

Rahul Sharma

Microsoft Research

Gagandeep Singh

University of Illinois at Urbana-Champaign; VMware Research

United States

Rob Sison

UNSW Sydney

Australia

Yannis Smaragdakis

University of Athens

Greece

Thodoris Sotiropoulos

ETH Zurich

Switzerland

Caleb Stanford

University of California, Davis

United States

Guy L. Steele Jr.

Oracle Labs

United States

Michel Steuwer

Technische Universität Berlin

Germany

Kirshanthan Sundararajah

Virginia Tech

United States

Joshua Sunshine

Carnegie Mellon University

Jubi Taneja

Microsoft Research

United States

Manas Thakur

Indian Institute of Technology Bombay

India

Amin Timany

Aarhus University

Denmark

Sam Tobin-Hochstadt

Indiana University

United States

Matías Toro

University of Chile

Chile

Benoît Valiron

Université Paris-Saclay, CNRS, CentraleSupélec, LMF

Alexa VanHattum

Wellesley College

United States

Chenxi Wang

Institute of Computing Technology, Chinese Academy of Sciences

China

Ke Wang

Visa Research

Conrad Watt

Nanyang Technological University

Singapore

Guannan Wei

Inria/ENS; Tufts University

France

Sam Westrick

New York University

United States

Max Willsey

UC Berkeley

United States

Xiaodi Wu

University of Maryland

United States

Ningning Xie

University of Toronto; Google DeepMind

Canada

Greta Yorsh

Jane Street

Zhiqiang Zuo

Nanjing University

China