PLDI Review Committee PLDI Research Papers

Nate Foster Associate Editor

Cornell University

United States

Vinod Grover Area Chair

NVIDIA

United States

Matthias Hauswirth Area Chair

USI Lugano

Switzerland

Michael Hicks Area Chair

Amazon Web Services and the University of Maryland

United States

Shan Lu Area Chair

University of Chicago

United States

Sukyoung Ryu Area Chair

KAIST

South Korea

John Regehr Area Chair

University of Utah

Parosh Aziz Abdulla

Uppsala University, Sweden

Umut A. Acar

Carnegie Mellon University

United States

Jade Alglave

University College London

France

Jason Ansel

Meta

United States

Sotiris Apostolakis

Google

United States

Dan Barowy

Williams College

United States

Ryan Beckett

Microsoft Research, USA

Walter Binder

USI Lugano

Switzerland

Rastislav Bodík

Google Research, Brain Team

United States

Michael D. Bond

Ohio State University, USA

Mihai Budiu

VMware Research Group

Calin Cascaval

Google Research

New Zealand

Satish Chandra

Meta Platforms

United States

Swarat Chaudhuri

University of Texas at Austin

United States

James Cheney

University of Edinburgh

United Kingdom

Adam Chlipala

Massachusetts Institute of Technology

United States

Stephen Chong

Harvard University

United States

Loris D'Antoni

University of Wisconsin-Madison

United States

Yaniv David

Columbia University

United States

Benjamin Delaware

Purdue University

United States

Brian Demsky

University of California at Irvine

Christos Dimoulas

PLT @ Northwestern University

United States

Dana Drachsler Cohen

Technion

Israel

Eric Eide

University of Utah

United States

Kevin Ellis

Cornell University

United States

Xinyu Feng

Nanjing University

China

Irene Finocchi

Luiss Guido Carli

Italy

Alcides Fonseca

University of Lisbon

Portugal

Zhoulai Fu

State University of New York, Korea

François Gauthier

Oracle Labs

Australia

Paul Gazzillo

University of Central Florida

United States

Pierre Geneves

CNRS/LIG

France

Guy Gueta

VMWare

Sam Guyer

Tufts University

United States

Kihong Heo

KAIST

South Korea

Josiah Hester

Georgia Institute of Technology

United States

Jan Hoffmann

Carnegie Mellon University

United States

Chung-Kil Hur

Seoul National University

South Korea

Limin Jia

Carnegie Mellon University

Alexandra Jimborean

University of Murcia

Spain

Gowtham Kaki

University of Colorado Boulder

United States

Fredrik Kjolstad

Stanford University

United States

Eric Koskinen

Stevens Institute of Technology

United States

Robbert Krebbers

Radboud University Nijmegen

Netherlands

Viktor Kunčak

EPFL, Switzerland

Switzerland

Ori Lahav

Tel Aviv University

Israel

Akash Lal

Microsoft Research

Leonidas Lampropoulos

University of Maryland, College Park

Greece

Owolabi Legunsen

Cornell University

Mohsen Lesani

University of California at Riverside

Yao Li

Portland State University

United States

Yu David Liu

SUNY Binghamton

United States

Alexey Loginov

Meta

United States

Nuno P. Lopes

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

Portugal

Brandon Lucia

Carnegie Mellon University, USA

Konstantinos Mamouras

Rice University

United States

Jedidiah McClurg

Colorado State University

United States

Maryam Mehri Dehnavi

University of Toronto

Canada

Charith Mendis

University of Illinois at Urbana-Champaign

United States

Dimitris Mitropoulos

University of Athens

Greece

Toby Murray

University of Melbourne

Australia

Magnus O. Myreen

Chalmers University of Technology

Cyrus Omar

University of Michigan

United States

Peter-Michael Osera

Grinnell College

United States

Oded Padon

VMware Research

United States

Zoe Paraskevopoulou

Northeastern University

United States

Hila Peleg

Technion

Israel

Lauren Pick

University of Wisconsin-Madison and University of California, Berkeley

United States

Ruzica Piskac

Yale University

United States

Louis-Noël Pouchet

Colorado State University, USA

Jorge A. Pérez

University of Groningen

Netherlands

Jonathan Ragan-Kelley

Massachusetts Institute of Technology

United States

Mukund Raghothaman

University of Southern California

United States

Veselin Raychev

DeepCode AG

Alastair Reid

Arm Ltd

United Kingdom

Noam Rinetzky

Tel Aviv University

Israel

Andreas Rossberg

Dfinity Stiftung

Germany

Cindy Rubio-González

University of California at Davis

United States

Susmit Sarkar

University of St. Andrews

Ilya Sergey

National University of Singapore

Singapore

Thomas Shull

Oracle Labs

Jeremy G. Siek

Indiana University, USA

United States

Gagandeep Singh

University of Illinois at Urbana-Champaign

United States

KC Sivaramakrishnan

IIT Madras and Tarides

India

Michelle Mills Strout

Hewlett Packard Enterprise

Gang Tan

Pennsylvania State University

United States

Xulong Tang

University of Pittsburgh

Joseph Tassarotti

NYU

United States

Zachary Tatlock

University of Washington

United States

Sam Tobin-Hochstadt

Indiana University

Jean-Baptiste Tristan

Amazon Web Services

United States

David Van Horn

University of Maryland

United States

Niki Vazou

IMDEA Software Institute

Freek Verbeek

Open University of the Netherlands, The Netherlands

Abhinav Verma

The Pennsylvania State University

Chao Wang

University of Southern California

United States

K.P. Wang

Visa Research

United States

James R. Wilcox

Certora

United States

Ningning Xie

Google DeepMind / University of Toronto

Canada

Yingfei Xiong

Peking University

China

Jeremy Yallop

University of Cambridge

United Kingdom

Peisen Yao

Zhejing University

China

Greta Yorsh

Jane Street

Ayal Zaks

Mobileye

Yizhou Zhang

University of Waterloo

Canada

He Zhu

Rutgers University, USA