Program - PLDI 2025

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

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 programSpecify 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


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
Blossom 1													Catering PLMW committee dinner
Blossom 2													Catering EGGLOG Committee Dinner
Cosmos	Sparse Session 1			Sparse Session 2							Sparse Session 3						Sparse Session 4
Grand Ball Room 2											PLMW @ PLDI + Catering Session 1						PLMW @ PLDI Session 2
Lilac	Tutorials EGGLOG			Tutorials EGGLOG							Tutorials BINSEC						Tutorials BINSEC					Tutorials BINSEC				Catering Volunteer & Junior Dinner
Orchid	SOAP SOAP 1			SOAP SOAP 2							SOAP SOAP 3						SOAP SOAP 4
Rose	Tutorials FAVQP			Tutorials FAVQP							Tutorials PyLingual						Tutorials PyLingual									SOAP + Catering SOAP Committee Dinner
Tulip	Tutorials BuildIt			Tutorials BuildIt							Tutorials BuildIt						Tutorials BuildIt
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
Blossom 2	Tutorials IsaVODEs			Tutorials IsaVODEs								Tutorials IsaVODEs					Tutorials IsaVODEs								RPLS + Catering RPLS Committee Dinner
Cosmos	RPLS Session 1			RPLS Session 2								RPLS Session 3					RPLS Session 4								LCTES + Catering LCTES Committee Dinner
Grand Ball Room													Catering Reception for everyone - food & beverages
Grand Ball Room 2	PLMW @ PLDI Session 1			PLMW @ PLDI Session 2								PLMW @ PLDI Session 3					PLMW @ PLDI Session 4
Lilac	ISMM Session 1: 0900-1025				ISMM Session 2: 1040-1200 [Workloads]							ISMM Session 3: 1400-1520					ISMM Session 4: 1540-1705 [Systems and Architecture]								Catering PLDI Committee Dinner
Orchid	EGRAPHS Applications 1			EGRAPHS Applications 2								EGRAPHS Performance					EGRAPHS Theories / Guidance
Rose	WQS Session 1			WQS Session 2								WQS Session 3					WQS Session 4								Catering SIGPLAN Executive Committee Dinner
Tulip	ARRAY Opening and Keynote			ARRAY Performance Challenges and Opportunities								ARRAY Multi-Dimensional Homormorphisms					ARRAY Language Design & Type Safety
Violet	LCTES Keynote 2			LCTES Embedded Systems and Real-Time Optimization								LCTES Compiler Technology and Auto-Tuning					LCTES Systems								ISMM + Catering ISMM Committee Dinner

Wed 18 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
Cosmos, Violet & Tulip				PLDI Research Papers Probabilistic Programming							PLDI Research Papers Numerics and Approximation					PLDI Research Papers Machine Learning
Grand Ball Room	PLDI Research Papers Keynote 1																Student Research Competition SRC Poster & Reception for everyone - Food & Beverage
Grand Ball Room 1												Catering Social Events for Students
Grand Ball Room 2				PLDI Research Papers Compilers 1							PLDI Research Papers Security & Cryptography					PLDI Research Papers Big Red KATs
Lilac							Diversity, Equity and Inclusion + Catering LGBTQ+ Lunch
Orchid				PLDI Research Papers Synthesis							PLDI Research Papers Semantics					PLDI Research Papers High Performance Computing
Rose												PLDI Events + Catering PLDI Steering Committee Dinner
Tulip												Diversity, Equity and Inclusion + Catering Women's Dinner

Thu 19 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
Cosmos, Violet & Tulip				PLDI Research Papers Quantum							PLDI Research Papers Language Design
Grand Ball Room	PLDI Research Papers Keynote 2														PLDI Events Industry Session								PLDI Events + Catering Banquet and Awards Dinner for everyone
Grand Ball Room 1												Catering Social Events for Students
Grand Ball Room 2				PLDI Research Papers Verification 1							PLDI Research Papers Automata Theory
Lilac												Student Research Competition SRC Finals
Orchid				PLDI Research Papers Software Engineering							PLDI Research Papers Architecture								PLDI Events Business Meeting

Fri 20 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
Cosmos, Violet & Tulip				PLDI Research Papers Memory Management							PLDI Research Papers Concurrency
Grand Ball Room	PLDI Research Papers Keynote 3
Grand Ball Room 2				PLDI Research Papers Compilers 2							PLDI Research Papers Databases
Lilac							Diversity, Equity and Inclusion + Catering URM Lunch
Orchid				PLDI Research Papers Type Systems							PLDI Research Papers Static Anlysis and Verification

PLDI 2025 Program

Switch Program View

Program Display Configuration

Mon 16 JunDisplayed time zone: Seoul change

Catering

Catering

Sparse

Sparse

Sparse

Sparse

PLMW @ PLDI + Catering

PLMW @ PLDI

Tutorials

Tutorials

Tutorials

Tutorials

Tutorials

Catering

SOAP

SOAP

SOAP

SOAP

Tutorials

Tutorials

Tutorials

Tutorials

SOAP + Catering

Tutorials

Tutorials

Tutorials

Tutorials

LCTES

LCTES

LCTES

Tue 17 JunDisplayed time zone: Seoul change

Tutorials

Tutorials

Tutorials

Tutorials

RPLS + Catering

RPLS

RPLS

RPLS

RPLS

LCTES + Catering

Catering

PLMW @ PLDI

PLMW @ PLDI

PLMW @ PLDI

PLMW @ PLDI

ISMM

ISMM

ISMM

ISMM

Catering

EGRAPHS

EGRAPHS

EGRAPHS

EGRAPHS

WQS

WQS

WQS

WQS

Catering

ARRAY

ARRAY

ARRAY

ARRAY

LCTES

LCTES

LCTES

LCTES

ISMM + Catering

Wed 18 JunDisplayed time zone: Seoul change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Student Research Competition

Catering

Mon 16 Jun
Displayed time zone: Seoul change

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