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
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
Workshops
EGRAPHS
RPLS
SOAP
WQS
Organization
PLDI 2025 Committees
Organizing Committee
Track Committees
Research Artifacts
PLDI Research Papers
Contributors
People Index
Workshops
EGRAPHS
Organizing Committee
Program Committee
RPLS
Organizing Committee
Program Committee
SOAP
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
) /
Tutorials
PLDI 2025
The following tutorials will be co-located with PLDI:
Accepted Tutorials
Title
BINSEC: Adapting Symbolic Execution for Binary-level Security
Tutorials
Frédéric Recoules
,
Sébastien Bardin
Building DSLs made easy with the BuildIt Framework
Tutorials
Ajay Brahmakshatriya
,
Saman Amarasinghe
Formal Analysis and Verification in Quantum Programming
Tutorials
Christopĥe Chareton
,
Sébastien Bardin
Link to publication
Perfect Decompilation of Python Bytecode with PyLingual
Tutorials
Kangkook Jee
,
Josh Wiedemeier
Unlocking Optimizations with egglog: Equality Saturation Meets Datalog
Tutorials
Haobin Ni
,
Yihong Zhang
,
Zachary Tatlock
,
Oliver Flatt
x
Sat 7 Dec 17:58