PLDI 2024
Mon 24 - Fri 28 June 2024
Copenhagen, Denmark
Toggle navigation
Attending
Venue: Radisson Blu Scandinavia, Copenhagen
Sponsorship
Registration
Visa
Live Streams
Presenter Instructions
Program
PLDI Program
Your Program
Mon 24 Jun
Tue 25 Jun
Wed 26 Jun
Thu 27 Jun
Fri 28 Jun
Tracks
PLDI 2024
PLDI Events
Research Artifacts
PLDI Research Papers
Workshops and Tutorials
SRC
Tutorials
- Algorithms and Applications for Provable Repair of Deep Neural Networks
- Concurrent Algorithms in Kotlin Coroutines
- Democratizing DSL development with the BuildIt Framework
- Quick and dirty development of static analyses with LiSA
- Static Code Analysis with SootUp
Volunteering
Diversity, Equity and Inclusion
Co-hosted Conferences
ISMM
LCTES
Workshops
ARRAY
CP
Choreographic Programming
EGRAPHS
Infer
PLMW@PLDI
PODELSKI
PLDI Workshop Honoring Andreas Podelski
RTFM
: Red-Hot Topics in Faculty Mentoring
SOAP
Sparse
WQS
Organization
PLDI 2024 Committees
AV Committee
Organizing Committee
Track Committees
Research Artifacts
PLDI Research Papers
SRC
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Program Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
CP
Organizing Committee
Program Committee
EGRAPHS
Organizing Committee
Program Committee
Infer
Organizing Committee
PLMW@PLDI
Organizing Committee
PODELSKI
Program Committee
RTFM
Organizing Committee
Speakers and Panelists
SOAP
Organizing Committee
Program Committee
Sparse
Organizing Committee
Program Committee
WQS
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2024
(
series
) /
PLDI Research Papers
/
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
x
Fri 13 Dec 03:41