PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
VenueThe Westin Josun Seoul
Room nameGrand Ball Room
Floor1
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 17 Jun

Displayed time zone: Seoul change

18:00 - 19:30
Reception for everyone - food & beveragesCatering at Grand Ball Room
18:00
90m
Dinner
Dinner
Catering

Wed 18 Jun

Displayed time zone: Seoul change

18:00 - 19:30
SRC Poster & Reception for everyone - Food & BeverageStudent Research Competition at Grand Ball Room

Thu 19 Jun

Displayed time zone: Seoul change

15:20 - 16:35
Industry SessionPLDI Events at Grand Ball Room
15:20
25m
Talk
Memory-safe interoperation between safe and unsafe languages
PLDI Events
Yeoul Na Apple
15:45
25m
Talk
An Overview of the Cangjie Language
PLDI Events
Xinyu Feng Nanjing University & Huawei
16:10
25m
Talk
AI + Lean: NeuroSymbolic AI
PLDI Events
Soonho Kong Amazon Web Services
19:00 - 21:00
Banquet and Awards Dinner for everyonePLDI Events / Catering at Grand Ball Room
19:00
2h
Dinner
Dinner
Catering

Fri 20 Jun

Displayed time zone: Seoul change

Hide past events

Tue 17 Jun

Displayed time zone: Seoul change

Wed 18 Jun

Displayed time zone: Seoul change

Thu 19 Jun

Displayed time zone: Seoul change

Fri 20 Jun

Displayed time zone: Seoul change

Hide past events

Tue 17 Jun

Displayed time zone: Seoul change

Room18:0015304519:00153045
Grand Ball Room
PLDI Catering
Dinner
18:00 - 19:30

Thu 19 Jun

Displayed time zone: Seoul change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Grand Ball Room
PLDI Catering
Dinner
19:00 - 21:00
Hide past events