Program - PLDI 2024

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect 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 24 Jun
Displayed time zone: Windhoek 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
Copenhagen	WQS Session 1				WQS Session 2								WQS Session 3					WQS Session 4
Directors	Tutorials SootUp				Tutorials SootUp								Tutorials Kotlin Coroutines					Tutorials Kotlin Coroutines
Filini Restaurant									Catering Lunch
Finland	CP Welcome and Keynote				CP Theory & Verification								CP Languages & Verification					CP Libraries
Helsinki	Infer Session 1				Infer Session 2								Infer Session 3					Infer Session 4
Iceland	LCTES LCTES Welcome and Keynote				LCTES Optimization								LCTES Embedded Systems					LCTES Analysis and Testing
Reykjavik	EGRAPHS 1. Welcome				EGRAPHS 2. Implementation								EGRAPHS 3. Applications					EGRAPHS 4. Verification
Stockholm	Tutorials RepairDNN				Tutorials RepairDNN								Tutorials BuildIt					Tutorials BuildIt
Sweden	Tutorials LiSA				Tutorials LiSA								PLMW@PLDI Session 1					PLMW@PLDI Session 2

Tue 25 Jun
Displayed time zone: Windhoek 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
Copenhagen	RTFM Session 1					RTFM Session 2									RTFM Session 3							RTFM Session 4
Copenhagen City Hall																	PLDI Events + Catering Welcome Reception (open to attendees of any PLDI-associated event)
Filini Restaurant											Catering Lunch
Finland	Sparse What are we doing?					Sparse Databases and Hardware									Sparse Compilation Frameworks							Sparse Applications and Languages
Helsinki	PODELSKI Session 1					PODELSKI Session 2									PODELSKI Session 3							PODELSKI Session 4
Iceland	ISMM Welcome from the Chairs	ISMM ISMM: Keynote 1 - Dr. Andreas Rossberg (Independent)				ISMM ISMM: Session 1 - Garbage Collection			ISMM ISMM: Session 2 - Hardware for Memory Management						ISMM ISMM: Keynote 2 - Dr. Euicheol Lim (SK hynix)				ISMM ISMM: Session 3 - Intellectual Abstracts			ISMM ISMM: Session 4 - Potpourri
Reykjavik	SOAP SOAP I					SOAP SOAP II									SOAP SOAP III							SOAP SOAP IV
Stockholm	ARRAY Introductions					ARRAY Theory									ARRAY Performance							ARRAY Array Languages
Sweden	PLMW@PLDI Session 1					PLMW@PLDI Session 2									PLMW@PLDI Session 3							PLMW@PLDI Session 4

Wed 26 Jun
Displayed time zone: Windhoek 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
Blue Elephant Restaurant															Catering + Diversity, Equity and Inclusion + PLDI Events DEI Wednesday
Capital Ballroom									Catering + Diversity, Equity and Inclusion + PLDI Events SIGPLAN Mentoring Catering Lunch 12:20 - 13:40														SRC Reception and Poster Session
Filini Restaurant									Catering Lunch
Finland / Norway	PLDI Research Papers				PLDI Research Papers Probabilistic Programming								PLDI Research Papers Pot Pourri 1						PLDI Research Papers Security and Cryptography
Iceland / Denmark					PLDI Research Papers Quantum								PLDI Research Papers Formal Verification 1						PLDI Research Papers Bugs
Norway / Finland / Sweden	PLDI Research Papers Keynote
Sweden	PLDI Research Papers				PLDI Research Papers Parsing and Compiling and Transforming								PLDI Research Papers Types and Effects						PLDI Research Papers Fast Linear Algebra

Thu 27 Jun
Displayed time zone: Windhoek 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
Capital Ballroom									Catering Lunch
Filini Restaurant									Catering Lunch
Finland / Norway	PLDI Research Papers				PLDI Research Papers Formally Verified								PLDI Research Papers Formal Verification 2					SRC Finals
Iceland / Denmark					PLDI Research Papers Managed Languages								PLDI Research Papers SIGPLAN + TOPLAS					PLDI Events Industry session
Norway / Finland / Sweden	PLDI Research Papers Keynote
Oslo									Catering + Diversity, Equity and Inclusion + PLDI Events DEI Thursday
Reykjavik															PLDI Events Business Meeting
Scandinavian Ballroom															Catering Banquet and Awards Dinner
Sweden	PLDI Research Papers				PLDI Research Papers Grammars and Code and Formalisms								PLDI Research Papers Solvers for Fun and Profit					PLDI Events European Research Council

Fri 28 Jun
Displayed time zone: Windhoek change


Room	9:00	30	10:00	30		11:00	30	12:00		30	13:00	30		14:00	30	15:00	30
Capital Ballroom									Catering Lunch
Filini Restaurant									Catering Lunch
Finland / Norway	PLDI Research Papers				PLDI Research Papers Synthesis								PLDI Research Papers Pot Pourri 2
Iceland / Denmark					PLDI Research Papers Concurrent and Distributed								PLDI Research Papers Close to the Hardware
Norway / Finland / Sweden	PLDI Research Papers Keynote
Oslo									Catering + Diversity, Equity and Inclusion + PLDI Events DEI Friday
Sweden	PLDI Research Papers				PLDI Research Papers Program Analysis 1								PLDI Research Papers Program Analysis 2

PLDI 2024 Program

Switch Program View

Program Display Configuration

Mon 24 JunDisplayed time zone: Windhoek change

WQS

WQS

WQS

WQS

Tutorials

Tutorials

Tutorials

Tutorials

Catering

CP

CP

CP

CP

Infer

Infer

Infer

Infer

LCTES

LCTES

LCTES

LCTES

EGRAPHS

EGRAPHS

EGRAPHS

EGRAPHS

Tutorials

Tutorials

Tutorials

Tutorials

Tutorials

Tutorials

PLMW@PLDI

PLMW@PLDI

Tue 25 JunDisplayed time zone: Windhoek change

RTFM

RTFM

RTFM

RTFM

PLDI Events + Catering

Catering

Sparse

Sparse

Sparse

Sparse

PODELSKI

PODELSKI

PODELSKI

PODELSKI

ISMM

ISMM

ISMM

ISMM

ISMM

ISMM

ISMM

SOAP

SOAP

SOAP

SOAP

ARRAY

ARRAY

ARRAY

ARRAY

PLMW@PLDI

PLMW@PLDI

PLMW@PLDI

PLMW@PLDI

Wed 26 JunDisplayed time zone: Windhoek change

Catering + Diversity, Equity and Inclusion + PLDI Events

Catering + Diversity, Equity and Inclusion + PLDI Events

Catering

SRC

Catering

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Mon 24 Jun
Displayed time zone: Windhoek change

Tue 25 Jun
Displayed time zone: Windhoek change

Wed 26 Jun
Displayed time zone: Windhoek change

Thu 27 Jun
Displayed time zone: Windhoek change

Fri 28 Jun
Displayed time zone: Windhoek change