PLDI 2025
Mon 16 - Fri 20 June 2025
Seoul, South Korea
Toggle navigation
Attending
Venue: The Westin Josun Seoul
Registration
Sponsorship
Diversity, Equity, and Inclusion
Tracks
PLDI 2025
Research Artifacts
PLDI Research Papers
Workshops and Tutorials
Student Research Competition
Tutorials
- BINSEC: Adapting Symbolic Execution for Binary-level Security
- Building DSLs made easy with the BuildIt Framework
- Formal Analysis and Verification in Quantum Programming
- Perfect Decompilation of Python Bytecode with PyLingual
- Unlocking Optimizations with egglog: Equality Saturation Meets Datalog
Volunteering
Co-hosted Conferences
ISMM
LCTES
Workshops
ARRAY
EGRAPHS
PLMW @ PLDI
RPLS
: Real-World Programming Language Specification
SOAP
State Of the Art in Program Analysis
Sparse
WQS
Organization
PLDI 2025 Committees
Organizing Committee
Track Committees
Research Artifacts
PLDI Research Papers
Student Research Competition
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
EGRAPHS
Organizing Committee
Program Committee
PLMW @ PLDI
Organizing Committee
RPLS
Organizing Committee
Program Committee
SOAP
Organizing Committee
Keynote Speakers
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 2025
(
series
) /
PLDI Research Artifacts
/
Artifact Evaluation Committee
PLDI Research Artifacts
Ningning Xie
Co-chair
University of Toronto
Canada
Qirun Zhang
Co-chair
Georgia Institute of Technology
United States
Abhishek Kr Singh
National University of Singapore
Singapore
Adriana Laura Voinea
University of Glasgow, UK
United Kingdom
Alexander Bai
MPI-SWS
United States
Aman Nougrahiya
IIT Madras
India
Amanda Xu
University of Wisconsin-Madison
Andong Fan
University of Toronto
Anjiang Wei
Stanford University
United States
Ashish Mishra
IIT Hyderabad
India
Austin J. Adams
Georgia Institute of Technology
United States
Benjamin Mikek
Georgia Institute of Technology
Bowen Zhang
The Hong Kong University of Science and Technology
China
Chenyu Zhou
University of Southern California
United States
Chi Zhang
Nanjing University
China
Daniel Zackon
McGill University
Canada
David Chocholatý
Brno University of Technology
Czechia
Debasmita Lohar
Karlsruhe Institute of Technology
Germany
Devansh Jain
University of Illinois at Urbana-Champaign
Dong Chen
Huawei
Duc-Than Nguyen
University of Illinois at Chicago
United States
Filippo Carloni
Politecnico di Milano
Italy
Ganxiang Yang
Shanghai Jiao Tong University
Genghan Zhang
Stanford University
George Zakhour
University of St. Gallen
Switzerland
Georges Aaron RANDRIANAINA
Univ Rennes - IRISA
France
Huan Zhao
National University of Singapore
Singapore
Jaime Arias
CNRS; LIPN; Université Sorbonne Paris Nord
France
Jiaqi He
University of Alberta
Canada
Jing Liu
UC Irvine; MPI-SP
Kaixuan Li
East China Normal University; Nanyang Technological University
China
Lechen Yu
Microsoft
Louis Rustenholz
Universidad Politécnica de Madrid (UPM) and IMDEA Software Institute
Spain
Mallku Soldevila
Universidade Federal de Minas Gerais, Brazil
Brazil
Manya Bansal
Massachusetts Institute of Technology
Marco GIUNTI
University of Oxford
Mehran Alidoost Nia
Shahid Beheshti University
Iran
Miao Miao
The University of Texas at Dallas
United States
Mohamed Elwakil
U.S. Coast Guard Academy
United States
Mohit Tekriwal
Lawrence Livermore National Laboratory
United States
Nuntipat Narkthong
Northeastern University
United States
Omkar Dilip Dhawal
Indian Institute of Technology Madras
India
Pinhan Zhao
University of Michigan
United States
Raphael J. Sofaer
Columbia University
Reese Levine
Robert Zhang
The University of Texas at Austin
United States
Rui Dong
University of Michigan
United States
Ruikai Huang
Georgia Institute of Technology
Runming Li
Carnegie Mellon University
Sharjeel Khan
Google
United States
Shaurya Gomber
University of Illinois Urbana-Champaign
United States
Sifis Lagouvardos
University of Athens
Greece
Son Ho
Inria
France
Stefan Zetzsche
Amazon Web Services
United Kingdom
Tamer Abdelaziz
Post-Doctoral Associate at New York University Abu Dhabi
Tong Zhou
Georgia Institute of Technology
Ugur Y. Yavuz
Boston University
Turkey
Vedant Paranjape
Purdue University
Vidush Singhal
Purdue University
United States
Wei Qiang
Columbia University
Weihao Qu
Monmouth University
United States
Xiang Chen
The Hong Kong University of Science and Technology
Xiangyu Zhou
University of Michigan
Xuyang Li
Purdue University
Yibo Jin
The Hong Kong University of Science and Technology
China
Yonghui Liu
Monash University
Australia
Yongwei Yuan
Purdue University
United States
Yu Wang
Nanjing University
China
Yudai Tanabe
Institute of Science Tokyo
Japan
Yuka Ikarashi
Massachusetts Institute of Technology
United States
Yulong Huang
University of Cambridge
United Kingdom
Yuning Wang
Rutgers University
Yuxin Qiu
University of California at Riverside
United States
Yuzhou Fang
University of Southern California
United States
Zifan Xie
Huazhong University of Science and Technology
China
Ziteng Yang
Georgia Institute of Technology
United States
Zunchen Huang
Centrum Wiskunde & Informatica
Netherlands
x
Wed 26 Mar 03:14