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
Information for Attendees
Information for Presenters
PLDI Live Streams
Program
PLDI Program
Your Program
Mon 16 Jun
Tue 17 Jun
Wed 18 Jun
Thu 19 Jun
Fri 20 Jun
Tracks
PLDI 2025
Diversity, Equity and Inclusion
PLDI Events
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
- Verifying Cyber-Physical Systems with IsaVODEs
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
AV Committee
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
) /
The Westin Josun Seoul
/
Room information: Violet
Venue
The Westin Josun Seoul
Room name
Violet
Floor
2
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Seoul
.
Use conference time zone: (GMT+09:00) Seoul
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 16 Jun
Displayed time zone:
Seoul
change
14:00 - 14:10
Opening Session
LCTES
at
Violet
Chair(s):
Yongjun Park
Yonsei University
14:00
10m
Talk
Opening
LCTES
14:10 - 15:20
Keynote 1
LCTES
at
Violet
Chair(s):
Yongjun Park
Yonsei University
14:10
70m
Keynote
Keynote 1: Prof. Soonhoi Ha (Seoul National University)
LCTES
15:40 - 17:20
AI and Accelerator Architecture + WIP
LCTES
at
Violet
Chair(s):
Yongjun Park
Yonsei University
15:40
20m
Talk
SPARQ: An Accelerator Architecture for Large Language Models with Joint Sparsity and Quantization Techniques
LCTES
Seonggyu Choi
Sungkyunkwan University
,
Hyungmin Cho
Sungkyunkwan University
DOI
16:00
20m
Talk
ADaPS: Adaptive Data Partitioning to Parallelize CNN Inference on Resource-Constrained Hardware
LCTES
Jaume Mateu Cuadrat
Seoul National University
,
Bernhard Egger
Seoul National University
DOI
16:20
20m
Talk
Graphitron: A Domain Specific Language for FPGA-Based Graph Processing Accelerator Generation
LCTES
Xinmiao Zhang
SKLP, Institute of Computing Technology, CAS
,
Zheng Feng
Institute of Computing Technology at Chinese Academy of Sciences
,
Shengwen Liang
SKLP, Institute of Computing Technology, CAS
,
Xinyu Chen
Hong Kong University of Science and Technology
,
Lei Zhang
ICT CAS
,
Cheng Liu
ICT CAS
DOI
16:40
20m
Talk
Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory
LCTES
Sirshendu Das
Indian Statistical Institute
,
Ansuman Banerjee
Indian Statistical Institute
,
Swarup Kumar Mohalik
Ericsson Research
DOI
17:00
10m
Talk
Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Register Grouping Compilation Support (WIP)
LCTES
Siyi Xu
Shanghai University
,
Limin Jiang
Shanghai University
,
Yintao Liu
Shanghai University
,
Yihao Shen
Shanghai University
,
Yi Shi
Shanghai University
,
Shan Cao
Shanghai University
,
Zhiyuan Jiang
Shanghai University
DOI
17:10
10m
Talk
Towards Macro-Aware C-to-Rust Transpilation (WIP)
LCTES
Robbe De Greef
Vrije Universiteit Brussel
,
Attilio Discepoli
Vrije Universiteit Brussel
,
Esteban Aguililla Klein
Université Libre de Bruxelles
,
Théo Engels
Royal Military Academy of Belgium
,
Ken Hasselmann
Royal Military Academy of Belgium
,
Antonio Paolillo
Vrije Universiteit Brussel
DOI
Tue 17 Jun
Displayed time zone:
Seoul
change
09:00 - 10:10
Keynote 2
LCTES
at
Violet
Chair(s):
Aviral Shrivastava
Arizona State University
09:00
70m
Keynote
Keynote 2: Prof. Reinhard von Hanxleden (Kiel University)
LCTES
10:30 - 11:50
Embedded Systems and Real-Time Optimization
LCTES
at
Violet
Chair(s):
Yulei Sui
University of New South Wales
10:30
20m
Talk
rtesbench: A Multi-core Benchmark Framework for Real-Time Embedded Systems
LCTES
Yixiao Xing
Nagoya University
,
Yixiao Li
Nagoya University
,
Hiroaki Takada
Nagoya University
DOI
10:50
20m
Talk
ASC-Hook: Efficient System Call Interception for ARM
LCTES
Yang Shen
National University of Defense Technology
,
Min Xie
National University of Defense Technology
,
Tao Wu
Changsha University of Science and Technology
,
Wenzhe Zhang
National University of Defense Technology, China
,
Ruibo Wang
National University of Defense Technology
,
Gen Zhang
National University of Defense Technology
DOI
11:10
20m
Talk
SSFFT: Energy-Efficient Selective Scaling for Fast Fourier Transform in Embedded GPUs
LCTES
Dongwon Yang
Korea University
,
Jaebeom Jeon
Korea University
,
Minseong Gil
Korea University
,
Junsu Kim
Korea University
,
Seondeok Kim
Korea University
,
Gunjae Koo
Korea University
,
Myung Kuk Yoon
Ewha Womans University
,
Yunho Oh
Korea University
DOI
11:30
20m
Talk
vNV-Heap: An Ownership-Based Virtually Non-volatile Heap for Embedded Systems
LCTES
Markus Elias Gerber
Friedrich-Alexander-Universität Erlangen-Nürnberg
,
Luis Gerhorst
Friedrich-Alexander-Universität Erlangen-Nürnberg
,
Ishwar Mudraje
Saarland University
,
Kai Vogelgesang
Saarland University
,
Thorsten Herfet
Saarland University
,
Peter Wägemann
Friedrich-Alexander University Erlangen-Nürnberg (FAU)
DOI
14:00 - 15:20
Compiler Technology and Auto-Tuning
LCTES
at
Violet
Chair(s):
Yunho Oh
Korea University
14:00
20m
Talk
JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code Execution
Recorded
LCTES
Arman Cham Heidari
Shahid Beheshti University
,
Mehran Alidoost Nia
Shahid Beheshti University
DOI
14:20
20m
Talk
Grouptuner: Efficient Group-Aware Compiler Auto-tuning
LCTES
Bingyu Gao
Peking University
,
Mengyu Yao
Peking University
,
Ziming Wang
Peking University
,
Dong Liu
ZTE
,
Ding Li
Peking University
,
Xiangqun Chen
Peking University
,
Yao Guo
Peking University
DOI
14:40
20m
Talk
Multi-level Machine Learning-Guided Autotuning for Efficient Code Generation on a Deep Learning Accelerator
LCTES
JooHyoung Cha
Korea University of Science and Technology
,
Munyoung Lee
ETRI
,
Jinse Kwon
ETRI
,
Jemin Lee
ETRI
,
Yongin Kwon
ETRI
DOI
15:00
20m
Talk
DSP-MLIR: A Domain-Specific Language and MLIR Dialect for Digital Signal Processing
LCTES
Abhinav Kumar
Arizona State University
,
Atharva Khedkar
Arizona State University
,
Hwisoo So
Yonsei University
,
Megan Kuo
Arizona State University
,
Ameya Gurjar
Arizona State University
,
Partha Biswas
MathWorks
,
Aviral Shrivastava
Arizona State University
DOI
15:40 - 17:00
Systems
LCTES
at
Violet
Chair(s):
Kyoungwoo Lee
Yonsei University
15:40
20m
Talk
R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Framework for Open Instruction Set Architectures
Recorded
LCTES
Edwin Kayang
Arizona State University
,
Mishel Jyothis Paul
Arizona State University
,
Eric Jahns
Arizona State University
,
Muslum Ozgur Ozmen
Arizona State University
,
Milan Stojkov
University of Novi Sad
,
Kevin Rudd
Arizona State University
,
Michel Kinsy
Arizona State University
DOI
16:00
20m
Talk
SetMP: Set Associative Mapping Management for Multi-plane Optimization in SSDs
Recorded
LCTES
Aobo Yang
Southwest University
,
Huanhuan Tian
Southwest University
,
Yuyang He
Southwest University
,
Jiaojiao Wu
Southwest University
,
Jiaxu Wu
Southwest University
,
Zhibing Sha
Southwest University
,
Zhigang Cai
Southwest University
,
Jianwei Liao
Southwest University
DOI
16:20
20m
Talk
LUCI: Lightweight UI Command Interface
LCTES
Guna Lagudu
Arizona State University
,
Vinayak Sharma
Arizona State University
,
Aviral Shrivastava
Arizona State University
DOI
16:40
20m
Talk
Kubism: Disassembling and Reassembling K-Means Clustering for Mobile Heterogeneous Platforms
LCTES
Seondeok Kim
Korea University
,
Sangun Choi
Korea University
,
Jaebeom Jeon
Korea University
,
Junsu Kim
Korea University
,
Minseong Gil
Korea University
,
Jaehyeok Ryu
Korea University
,
Yunho Oh
Korea University
DOI
19:30 - 21:30
ISMM Committee Dinner
ISMM
/
Catering
at
Violet
19:30
2h
Dinner
Dinner
Catering
Hide past events
Mon 16 Jun
Displayed time zone:
Seoul
change
Room
14:00
30
15:00
30
16:00
30
17:00
30
Violet
LCTES
Opening Session
LCTES
Keynote 1
LCTES
AI and Accelerator Architecture + WIP
Tue 17 Jun
Displayed time zone:
Seoul
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
Violet
LCTES
Keynote 2
LCTES
Embedded Systems and Real-Time Optimization
LCTES
Compiler Technology and Auto-Tuning
LCTES
Systems
ISMM + Catering
ISMM Committee Dinner
Hide past events
Mon 16 Jun
Displayed time zone:
Seoul
change
Room
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Violet
LCTES
Opening
14:00 - 14:10
LCTES
Keynote 1: Prof. Soonhoi Ha (Seoul National University)
14:10 - 15:20
LCTES
SPARQ: An Accelerator Architecture for Large Language Models with Joint ...
15:40 - 16:00
LCTES
ADaPS: Adaptive Data Partitioning to Parallelize CNN Inference on Resou ...
16:00 - 16:20
LCTES
Graphitron: A Domain Specific Language for FPGA-Based Graph Processing ...
16:20 - 16:40
LCTES
Modeling and Verification of Sigma Delta Neural Networks using Satisfia ...
16:40 - 17:00
LCTES
Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Regi ...
17:00 - 17:10
LCTES
Towards Macro-Aware C-to-Rust Transpilation (WIP)
17:10 - 17:20
Tue 17 Jun
Displayed time zone:
Seoul
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
Violet
LCTES
Keynote 2: Prof. Reinhard von Hanxleden (Kiel University)
09:00 - 10:10
LCTES
rtesbench: A Multi-core Benchmark Framework for Real-Time Embedded Systems
10:30 - 10:50
LCTES
ASC-Hook: Efficient System Call Interception for ARM
10:50 - 11:10
LCTES
SSFFT: Energy-Efficient Selective Scaling for Fast Fourier Transform in ...
11:10 - 11:30
LCTES
vNV-Heap: An Ownership-Based Virtually Non-volatile Heap for Embedded S ...
11:30 - 11:50
LCTES
Recorded
JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code E ...
14:00 - 14:20
LCTES
Grouptuner: Efficient Group-Aware Compiler Auto-tuning
14:20 - 14:40
LCTES
Multi-level Machine Learning-Guided Autotuning for Efficient Code Gener ...
14:40 - 15:00
LCTES
DSP-MLIR: A Domain-Specific Language and MLIR Dialect for Digital Signa ...
15:00 - 15:20
LCTES
Recorded
R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Fram ...
15:40 - 16:00
LCTES
Recorded
SetMP: Set Associative Mapping Management for Multi-plane Optimization ...
16:00 - 16:20
LCTES
LUCI: Lightweight UI Command Interface
16:20 - 16:40
LCTES
Kubism: Disassembling and Reassembling K-Means Clustering for Mobile He ...
16:40 - 17:00
PLDI Catering
Dinner
19:30 - 21:30
Hide past events
x
Wed 18 Jun 18:57