PLDI 2025
Mon 16 - Fri 20 June 2025
Seoul, South Korea
Toggle navigation
Attending
Venue: The Westin Josun Seoul
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
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
RPLS
Organizing Committee
Program Committee
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 2025
(
series
) /
LCTES 2025 (
series
) /
Languages, Compilers, Tools and Theory of Embedded Systems
/
Program Committee
LCTES
Yongjun Park
Program Chair
Yonsei University
David B. Whalley
Ansuman Banerjee
Committee Member
Walter Binder
Committee Member
USI Lugano
Switzerland
João M. P. Cardoso
Committee Member
University of Porto and INESC TEC, Portugal
Portugal
Jeronimo Castrillon
Committee Member
TU Dresden, Germany
Germany
Jongouk Choi
Committee Member
University of Central Florida
United States
Huimin Cui
Committee Member
Institute of Computing Technology, Chinese Academy of Sciences
China
Robert Dick
Committee Member
University of Michigan, USA
Bernhard Egger
Committee Member
Seoul National University
South Korea
Sebastian Ertel
Committee Member
Barkhausen Institute, Dresden
Heiko Falk
Committee Member
Hamburg University of Technology
Germany
Frank Hannig
Committee Member
Friedrich-Alexander University Erlangen-Nürnberg (FAU)
Germany
Seonyeong Heo
Committee Member
Kyung Hee University
South Korea
Changwan Hong
Committee Member
Massachusetts Institute of Technology
Guoliang Jin
Committee Member
Databricks; North Carolina State University
United States
Teresa Johnson
Committee Member
Google
Hanjun Kim
Committee Member
Yonsei University
Hyoseung Kim
Committee Member
University of California, Riverside
United States
V Krishna Nandivada
Committee Member
IIT Madras
Dongyoon Lee
Committee Member
Stony Brook University
United States
Yongwoo Lee
Committee Member
Yonsei University
Fernando Magno Quintão Pereira
Committee Member
Federal University of Minas Gerais
Brazil
Srinivas Pinisetty
Committee Member
Indian Institute of Technology Bhubaneswar
Sanjiva Prasad
Committee Member
Indian Institute of Technology Delhi
India
Bin Ren
Committee Member
William & Mary
United States
Probir Roy
Committee Member
University of Michigan at Dearborn
Martin Schoeberl
Committee Member
Technical University of Denmark
Denmark
Zili Shao
Committee Member
The Chinese University of Hong Kong
Aviral Shrivastava
Committee Member
Arizona State University
United States
Parasara Sridhar Duggirala
Committee Member
The University of North Carolina at Chapel Hill
United States
Pengfei Su
Committee Member
University of California, Merced
United States
Hyojin Sung
Committee Member
Seoul National University
Jubi Taneja
Committee Member
Microsoft Research
United States
Jianping Zeng
Committee Member
Samsung Electronics
United States
Tong Zhang
Committee Member
Samsung
United States
x
Sun 9 Mar 22:25