PLDI PLDI

Işil Dillig Program Chair

University of Texas at Austin

United States

Sara Achour

MIT

United States

Aws Albarghouthi

University of Wisconsin-Madison

United States

Sorav Bansal

IIT Delhi and CompilerAI Labs

India

Osbert Bastani

University of Pennsylvania

United States

James Bornholt

University of Texas at Austin

United States

Fraser Brown

Stanford University, USA

Ting Cao

Microsoft Research

China

Tej Chajed

Massachusetts Institute of Technology, USA

United States

Bor-Yuh Evan Chang

University of Colorado Boulder & Amazon

Sarah E. Chasins

University of California at Berkeley

United States

Shumo Chu

University of Washington, USA

China

Albert Cohen

Google

France

Brian Demsky

University of California, Irvine

Mike Dodds

Galois, Inc.

Dana Drachsler Cohen

Technion

Israel

Constantin Enea

Ecole Polytechnique / LIX / CNRS

France

Yu Feng

University of California, Santa Barbara

United States

Kostas Ferles

UT Austin

United States

Nate Foster

Cornell University

United States

Nick Giannarakis

University of Wisconsin-Madison

Klaus v. Gleissenthall

Vrije Universiteit Amsterdam, Netherlands

Laure Gonnord

Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France

France

Colin Gordon

Drexel University

United States

Justin Gottschlich

Merly, Inc. / University of Pennsylvania

United States

Neville Grech

University of Malta

Malta

Vinod Grover

NVIDIA

United States

Ronghui Gu

Columbia University

United States

Hui Guan

University of Massachusetts, Amherst

United States

Mary Hall

University of Utah

Kihong Heo

KAIST

South Korea

Steven Holtzen

Northeastern University

United States

Tony Hosking

Australian National University

Australia

Justin Hsu

Cornell University

United States

Jeff Huang

Texas A&M University

United States

Jeevana Priya Inala

MIT

United States

Susmit Jha

SRI

United States

Zhihao Jia

Carnegie Mellon University

Ralf Jung

MPI-SWS

Germany

Jeehoon Kang

KAIST

South Korea

Manos Kapritsos

University of Michigan, USA

Vineeth Kashyap

GrammaTech, Inc.

India

Baris Kasikci

University of Michigan, USA

Zachary Kincaid

Princeton University, USA

Milind Kulkarni

Purdue University

United States

Shuvendu K. Lahiri

Microsoft Research

United States

Akash Lal

Microsoft Research

Patrick Lam

University of Waterloo

James Larus

EPFL

Doug Lea

State University of New York (SUNY) Oswego

United States

Hugh Leather

University of Edinburgh, UK

Caroline Lemieux

University of British Columbia

United States

Hongjin Liang

Nanjing University

China

Fan Long

University of Toronto, Canada

Rupak Majumdar

MPI-SWS

Germany

Saeed Maleki

Microsoft Research

United States

Vikash K. Mansinghka

MIT

Ruben Martins

Carnegie Mellon University

United States

Jedidiah McClurg

Colorado School of Mines

United States

Erik Meijer

Facebook

United States

Charith Mendis

University of Illinois at Urbana-Champaign

United States

Mira Mezini

TU Darmstadt

Germany

Ana Milanova

Rensselaer Polytechnic Institute

Anders Miltner

Simon Fraser University

United States

Eliot Moss

University of Massachusetts Amherst

Vijayaraghavan Murali

Meta Platforms, Inc.

United States

Peter Müller

ETH Zurich

Switzerland

Vijay Nagarajan

University of Edinburgh, UK

Santosh Nagarakatte

Rutgers University

United States

Chandrakana Nandi

Certora, inc.

United States

Satish Narayanasamy

University of Michigan

Jorge A. Navas

Certora, inc.

United States

Michael F. P. O'Boyle

University of Edinburgh

United Kingdom

Hakjoo Oh

Korea University

South Korea

Sreepathi Pai

University of Rochester

United States

Jens Palsberg

University of California, Los Angeles (UCLA)

United States

Erez Petrank

Technion, Israel

Phitchaya Mangpo Phothilimthana

Google

Ruzica Piskac

Yale University

United States

Clément Pit-Claudel

EPFL, AWS

United States

Nadia Polikarpova

University of California at San Diego

United States

Raghu Prabhakar

SambaNova Systems, Inc.

United States

Corina S. Păsăreanu

Carnegie Mellon University

United States

Shaz Qadeer

Facebook

United States

Xiaokang Qiu

Purdue University, USA

Arjun Radhakrishna

Microsoft

United States

Mukund Raghothaman

University of Southern California

United States

Robert Rand

University of Chicago

United States

John Regehr

University of Utah

Talia Ringer

University of Illinois at Urbana-Champaign

United States

Gabriel Rodríguez

Universidade da Coruña

Spain

Sukyoung Ryu

KAIST

South Korea

Leonid Ryzhyk

VMware Research

Malavika Samak

CSAIL, MIT

United States

Roopsha Samanta

Purdue University

United States

Eric Schkufza

Stanford University

Koushik Sen

University of California at Berkeley

United States

Xipeng Shen

North Carolina State University; Facebook

United States

Xujie Si

McGill University, Canada

KC Sivaramakrishnan

IIT Madras and Tarides

India

Calvin Smith

University of Texas Austin

United States

Deian Stefan

University of California at San Diego

United States

Zhendong Su

ETH Zurich

Switzerland

Tachio Terauchi

Waseda University

Japan

Aditya V. Thakur

University of California at Davis

United States

Sean Treichler

NVIDIA

United States

David Van Horn

University of Maryland

United States

Thomas Wahl

GrammaTech, Inc.

United States

Chenglong Wang

University of Washington, USA

Xinyu Wang

University of Michigan

United States

Yuepeng Wang

Simon Fraser University

Thomas Wies

New York University

United States

Xiaodi Wu

Department of Computer Science, Institute for Advanced Computer Studies, and Joint Center for Quantum Information and Computer Science, University of Maryland, MD

Nobuko Yoshida

Imperial College London

Danfeng Zhang

Pennsylvania State University

United States

Qirun Zhang

Georgia Institute of Technology, USA

Xin Zhang

Peking University

China

Yizhou Zhang

University of Waterloo

Canada

Zhiqiang Zuo

Nanjing University

China