PLDI Review Committee PLDI Research Papers

John Regehr Chair

University of Utah

United States

Zachary Tatlock Area Chair

University of Washington

United States

Anders Møller Area Chair

Aarhus University

Denmark

Peter Müller Area Chair

ETH Zurich

Switzerland

Ronald Garcia Area Chair

University of British Columbia

Canada

Matthew Flatt Area Chair

University of Utah

United States

Sophia Drossopoulou Area Chair

Imperial College London

United Kingdom

Emina Torlak Area Chair

Amazon Web Services, USA

United States

Umut A. Acar

Carnegie Mellon University

United States

Aws Albarghouthi

University of Wisconsin-Madison

United States

Nada Amin

Harvard University

United States

Owen Arden

UC Santa Cruz

United States

Jonathan Balkind

UC Santa Barbara

United States

Mark Batty

University of Kent

United Kingdom

Walter Binder

USI Lugano

Switzerland

Swarnendu Biswas

IIT Kanpur

India

Steve Blackburn

Google and Australian National University

Australia

James Bornholt

University of Texas at Austin

United States

Thomas Bourgeat

EPFL

Switzerland

Marc Brockschmidt

Microsoft Research

United Kingdom

Tej Chajed

UW-Madison

United States

Stephen Chang

University of Massachusetts Boston

United States

Sarah E. Chasins

University of California at Berkeley

United States

Joonwon Choi

Apple

United States

David Darais

Galois

United States

Chen Ding

University of Rochester

Michael Emmi

Amazon Web Services

United States

Constantin Enea

Ecole Polytechnique / LIX / CNRS

France

Andres Erbsen

Google

José Fragoso Santos

INESC-ID/Instituto Superior Técnico, Portugal

Vijay Ganesh

Georgia Tech

United States

Timon Gehr

ETH Zurich

Switzerland

Klaus v. Gleissenthall

Vrije Universiteit Amsterdam, Netherlands

Colin Gordon

Drexel University

United States

Justin Gottschlich

Merly & Stanford

United States

Neville Grech

Dedaub Limited

Malta

Michael Greenberg

Stevens Institute of Technology

United States

Ronghui Gu

Columbia University, USA

Arjun Guha

Northeastern University; Roblox

United States

Ben Hardekopf

University of California at Santa Barbara

United States

Matthias Hauswirth

USI Lugano

Switzerland

Martin Hirzel

IBM Research

United States

Jeff Huang

Texas A&M University

United States

Suresh Jagannathan

Purdue University

United States

Limin Jia

Carnegie Mellon University

Gail Kaiser

Columbia University

United States

Shoaib Kamil

Adobe Research

Jeehoon Kang

KAIST

South Korea

Stephen Kell

King's College London

United Kingdom

Eric Koskinen

Stevens Institute of Technology

United States

V Krishna Nandivada

IIT Madras

Murali Krishna Ramanathan

AWS AI Labs

United States

Neel Krishnaswami

University of Cambridge

United Kingdom

Shuvendu K. Lahiri

Microsoft Research

United States

Patrick Lam

University of Waterloo

Jaejin Lee

Seoul National University, South Korea

Woosuk Lee

Hanyang University

South Korea

Yao Li

Portland State University

United States

Hongjin Liang

Nanjing University

China

Jay Ligatti

University of South Florida

Tongping Liu

University of Massachusetts at Amherst

United States

Benjamin Livshits

Imperial College London, UK

P. Madhusudan

University of Illinois at Urbana-Champaign

United States

Magnus Madsen

Aarhus University

Denmark

Yatin Manerkar

University of Michigan and UC Berkeley

United States

Michaël Marcozzi

CEA, LIST, Université Paris Saclay

France

Ruben Martins

Carnegie Mellon University

United States

Erik Meijer

Facebook

United States

Anders Miltner

Simon Fraser University

Canada

Sasa Misailovic

University of Illinois at Urbana-Champaign

United States

Magnus O. Myreen

Chalmers University of Technology

Vijay Nagarajan

The University of Utah

Santosh Nagarakatte

Rutgers University

United States

Chandrakana Nandi

Certora

United States

Jorge A. Navas

Certora

United States

Iulian Neamtiu

New Jersey Institute of Technology

United States

ThanhVu Nguyen

George Mason University

United States

Hakjoo Oh

Korea University

South Korea

Peter Ohmann

College of St. Benedict / St. John's University

United States

Peter-Michael Osera

Grinnell College

United States

Guilherme Ottoni

Meta

United States

Sreepathi Pai

University of Rochester

United States

Jens Palsberg

University of California, Los Angeles (UCLA)

United States

Corina Pasareanu

CMU, NASA, KBR

Gustavo Petri

Amazon Web Services

United Kingdom

Luís Pina

University of Illinois at Chicago

United States

Clément Pit-Claudel

EPFL

Switzerland

Nadia Polikarpova

University of California at San Diego

United States

Louis-Noël Pouchet

Colorado State University, USA

Shaz Qadeer

Meta, Inc.

United States

Xiaokang Qiu

Purdue University

United States

Arjun Radhakrishna

Microsoft

United States

Mukund Raghothaman

University of Southern California

Tahina Ramananandro

Microsoft Research

United States

Robert Rand

University of Chicago

United States

Aseem Rastogi

Microsoft Research

India

Alastair Reid

Intel/Intel Labs

United Kingdom

Xavier Rival

Inria; ENS; CNRS; PSL University

France

Grigore Roşu

University of Illinois at Urbana-Champaign

United States

Cindy Rubio-González

University of California at Davis

United States

Sukyoung Ryu

KAIST

South Korea

Malavika Samak

Apple Inc

United States

Alex Sanchez-Stern

University of Massachusetts

United States

John Sarracino

Lawrence Livermore National Laboratory

Koushik Sen

University of California at Berkeley

United States

Xipeng Shen

North Carolina State University

United States

Xujie Si

University of Toronto

Jeremy G. Siek

Indiana University, USA

United States

Rob Sison

UNSW Sydney

Australia

Tyler Sorensen

University of California at Santa Cruz

United States

Thodoris Sotiropoulos

ETH Zurich

Switzerland

Caleb Stanford

University of California, Davis

United States

Deian Stefan

University of California at San Diego

United States

Nikhil Swamy

Microsoft Research

United States

Tachio Terauchi

Waseda University

Japan

Aditya V. Thakur

University of California at Davis

United States

Jean-Baptiste Tristan

Amazon Web Services

United States

Kapil Vaswani

Microsoft Research

Niki Vazou

IMDEA Software Institute

Muralidaran Vijayaraghavan

Google Research

United States

David Walker

Princeton University

United States

Chenglong Wang

University of Washington, USA

Di Wang

Peking University

China

Yuepeng Wang

Simon Fraser University

Canada

John Wickerson

Imperial College London

United Kingdom

Christian Wimmer

Oracle Labs

United States

Xiaodi Wu

University of Maryland

United States

Jingling Xue

UNSW Sydney

Australia

Kwangkeun Yi

Seoul National University

Nobuko Yoshida

University of Oxford

United Kingdom

Drew Zagieboylo

Northeastern University

Qirun Zhang

Georgia Institute of Technology

United States

Yizhou Zhang

University of Waterloo

Canada

Zheng Zhang

Rutgers University

Zhiqiang Zuo

Nanjing University

China