Program Committee PLDI

Adam Chlipala

Massachusetts Institute of Technology

United States

Aditya Kanade

Indian Institute of Science, Bangalore

Albert Cohen

Google

France

Andreas Rossberg

Dfinity Stiftung

Germany

Andreas Zeller

CISPA Helmholtz Center for Information Security

Germany

Anil Madhavapeddy

OCaml Labs

United Kingdom

Armando Solar-Lezama

Massachusetts Institute of Technology

United States

Ayal Zaks

Intel Corporation and Technion, Israel

Azalea Raad

Imperial College London

United Kingdom

Ben Greenman

Brown University

United States

Ben Hardekopf

University of California at Santa Barbara

United States

Ben Liblit

Amazon

United States

Ben L. Titzer

Independent Consultant

United States

Ben Zorn

Microsoft

Bor-Yuh Evan Chang

University of Colorado at Boulder; Amazon

United States

Brandon Lucia

Carnegie Mellon University

United States

Camil Demetrescu

Sapienza University Rome

Italy

Charlie Curtsinger

Grinnell College

Cindy Rubio-González

University of California at Davis

United States

Cormac Flanagan

University of California at Santa Cruz

Cristian Cadar

Imperial College London, UK

United Kingdom

Danfeng Zhang

Pennsylvania State University

United States

Darko Marinov

University of Illinois at Urbana-Champaign

United States

David I. August

Princeton University, USA

David Darais

Galois, Inc.

United States

Doug Lea

State University of New York (SUNY) Oswego

United States

Eran Yahav

Technion

Erez Petrank

Technion

Israel

Eva Darulova

MPI-SWS

Germany

Francesco Logozzo

Facebook

United States

Fredrik Kjolstad

Stanford University

Gagandeep Singh

VMWare Research and UIUC

United States

Gail Kaiser

Columbia University

United States

Gerwin Klein

CSIRO's Data61 and UNSW Sydney

Australia

Görel Hedin

Lund University

Sweden

Grigore Roşu

University of Illinois at Urbana-Champaign

Gustavo Petri

ARM Research

He Zhu

Rutgers University, USA

Heather Miller

Carnegie Mellon University, USA

Hila Peleg

Technion

Israel

Hongseok Yang

KAIST

South Korea

Jan Hoffmann

Carnegie Mellon University

United States

John Sarracino

University of California, San Diego

José Fragoso Santos

INESC-ID/Instituto Superior Técnico, Portugal

Joseph Devietti

University of Pennsylvania

Joxan Jaffar

National University of Singapore

Singapore

Julian Dolby

IBM Research, USA

Julian Shun

MIT

Kapil Vaswani

Microsoft Research

Ke Wang

Visa Research

Kwangkeun Yi

Seoul National University, South Korea

Lindsey Kuper

University of California at Santa Cruz

Loris D'Antoni

University of Wisconsin-Madison, USA

Louis-Noël Pouchet

Colorado State University, USA

Madan Musuvathi

Microsoft Research

Magnus Madsen

Aarhus University

Magnus O. Myreen

Chalmers University of Technology

Mahmut Taylan Kandemir

Pennsylvania State University

United States

Marc Brockschmidt

Microsoft Research

United Kingdom

Markus Püschel

ETH Zurich, Switzerland

Matthew Flatt

University of Utah, USA

Michael D. Bond

Ohio State University, USA

Michael Hicks

University of Maryland at College Park

Michael F. P. O'Boyle

University of Edinburgh

Michael Pradel

University of Stuttgart

Germany

Milind Kulkarni

Purdue University

United States

Na Meng

Virginia Tech, USA

Nate Foster

Cornell University

United States

Nathan Chong

Amazon

United Kingdom

Nikhil Swamy

Microsoft Research

United States

Nikos Vasilakis

MIT CSAIL, USA

Greece

Nuno P. Lopes

Microsoft Research

United Kingdom

Oded Padon

VMWare Research

United States

Osbert Bastani

University of Pennsylvania

United States

Paul Gazzillo

University of Central Florida

United States

Pavel Panchekha

University of Utah

United States

Pavol Bielik

ETH Zurich

Switzerland

Rahul Sharma

Microsoft Research

Ranjit Jhala

University of California at San Diego

Ravi Chugh

University of Chicago

United States

Rishabh Singh

Google Brain

United States

Roopsha Samanta

Purdue University

Ruzica Piskac

Yale University, USA

Ryan R. Newton

Facebook

United States

Sandeep Dasgupta

Google, USA

United States

Sara Achour

MIT

United States

Saswat Padhi

Amazon Web Services, USA

United States

Saumya Debray

University of Arizona

Saurav Muralidharan

NVIDIA

United States

Sebastian Hack

Saarland University, Germany

Simon Peyton Jones

Microsoft

United Kingdom

Sorav Bansal

IIT Delhi and CompilerAI Labs

India

Stephen Kell

King's College London

United Kingdom

Steve Blackburn

Australian National University

Australia

Sukyoung Ryu

KAIST

South Korea

Suresh Jagannathan

Purdue University

United States

Tahina Ramananandro

Microsoft Research

United States

Tamara Rezk

Inria, France

Tatiana Shpeisman

Google

United States

Thomas Reps

University of Wisconsin

United States

Thomas Shull

Oracle Labs

Timon Gehr

ETH Zurich

Switzerland

Ting Cao

Microsoft Research

China

Tobias Wrigstad

Uppsala University, Sweden

Toby Murray

University of Melbourne, Australia

Australia

Todd Millstein

University of California at Los Angeles

Tomofumi Yuki

INRIA

Tony Hosking

Australian National University

Australia

Uri Alon

Technion

Vijay Ganesh

Georgia Tech

United States

Viktor Kunčak

EPFL, Switzerland

Switzerland

Viktor Vafeiadis

MPI-SWS

Germany

Vivek Sarkar

Rice University, USA

United States

Willem Visser

Stellenbosch University, South Africa

South Africa

Woosuk Lee

Hanyang University, South Korea

Xinyu Feng

Nanjing University

China

Xinyu Wang

University of Michigan

United States

Xulong Tang

University of Pittsburgh

United States

Yaniv David

Technion

Yannis Smaragdakis

University of Athens

Zachary Tatlock

University of Washington, Seattle

United States

Swarat Chaudhuri

Rice University

Işıl Dillig

University of Texas at Austin

United States

Martin C. Rinard

Massachusetts Institute of Technology

United States

Caitlin Sadowski

Xin Zhang

Peking University

China