Program - SPLASH 2024

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) 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
California								Catering Lunch
Foyer				Catering Coffee Break										Catering Coffee Break
IBR East	SLE SLE Welcome and Keynote				SLE Software Language Integration and Composition						SLE Software Language Design and Implementation I				SLE SLE Body of Knowledge (SLEBoK)
Pacific B	HATRA Keynote				HATRA Papers 1						HATRA Papers 2				HATRA Discussion
Pacific C	VMIL Session 1 - (JIT) Compilers				VMIL Keynote Session			DEI Activities			VMIL Session 2 - Language Implementation				VMIL Session 3 - Performance Tuning
Pasadena	UNSOUND Welcome				UNSOUND Applications						UNSOUND Types				UNSOUND OOP
San Gabriel	SAS Modularity and Memory Analysis				SAS Types, Control-flow and trace partitioning						SAS Machine learning and Neural networks				SAS Machine Learning and Neural networks

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) 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
California								Catering Lunch
Foyer				Catering Coffee Break										Catering Coffee Break
IBR East	SLE Empirical Studies and Experience Reports				SLE Software Language Design and Implementation II						SLE Analysis and Optimization				SLE Panel Discussion and Awards
Pacific A	PLMW Welcome to PLMW!				PLMW Grad Student Life						PLMW Post-PhD & Mentoring				PLMW Context & Next Steps
Pacific B	LIVE LIVE Opening				LIVE Visual Systems						LIVE Textual Systems				LIVE Substrates
Pacific C	IWACO Session 1				IWACO Session 2			DEI Activities			IWACO Session 3				IWACO Session 4
Pasadena	VIVEKFEST Morning Session				VIVEKFEST Pre-lunch Session						VIVEKFEST Post-lunch Session				VIVEKFEST Afternoon Session
San Gabriel	SAS Authorisation and responsibility				SAS Verification cost and quantitative analysis						SAS Quantum and system level analysis				SAS Radhia Cousot Award and SAS24 Business Meeting

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) 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
California								Catering Lunch
Foyer				Catering Coffee Break										Catering Coffee Break
IBR East	ProLaLa Keynote and Icebreaker				ProLaLa Author Presentations with Discussants						ProLaLa Tutorial and Fostering Collaboration Activity				ProLaLa Workshop and Closing Remarks
IBR West	GPCE Session 1 on Code Quality				GPCE Session 2 on Domain-Specific Languages						GPCE Session 3 on Code Optimizations				GPCE Session 4 on Typing and Its Applications
Pacific A	Doctoral Symposium Invited and Lightning Talks				Doctoral Symposium Proposal Talks Session 1						Doctoral Symposium Proposal Talks Session 2				Doctoral Symposium Award Adjudication and Closing
Pacific B	PAINT Session 1				PAINT Session 2						PAINT				PAINT
Pacific C	NSAD				NSAD NSAD: Session 1			DEI Activities			NSAD NSAD: Session 2				NSAD NSAD: Session 3
Pasadena	JENSFEST Opening Session				JENSFEST Morning Paper Session						JENSFEST Afternoon Paper Session				JENSFEST Final Session
San Gabriel	SAS Automatising Program Analysis				SAS Tracing bugs and flaws						SAS System level analysis				SAS

Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) 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
California										Catering Lunch														Catering Reception and Poster session Student Research Competition + Posters Posters 17:40 - 19:40
Foyer				Catering Coffee Break														Catering Coffee Break
IBR Ballroom	Keynotes Keynote - Todd Millstein
IBR East						OOPSLA 2024 Static Analysis and Program Verification 1								OOPSLA 2024 Static Analysis and Program Verification 2						OOPSLA 2024 Static Analysis and Program Verification 3
IBR West						OOPSLA 2024 Ownership, Security, and Privacy								OOPSLA 2024 Performance Analysis and Optimisation 1						OOPSLA 2024 Performance Analysis and Optimisation 2
Pacific						Onward! Papers Onward! Papers				DEI Activities SIGPLAN-M lunch				Onward! Essays Onward! Essays						Onward! Papers Onward! Papers		Onward! Essays Onward! Essays		DEI Activities Women@SPLASH dinner
Pasadena						REBASE REBASE								REBASE REBASE						REBASE REBASE
San Gabriel						OOPSLA 2024 Semantics								OOPSLA 2024 Formal Methods 1						OOPSLA 2024 Formal Methods 2

Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) 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
California										Catering Lunch
Foyer				Catering Coffee Break														Catering Coffee Break
IBR Ballroom	Keynotes Keynote - Richard Gabriel
IBR East						OOPSLA 2024 Software Engineering								OOPSLA 2024 Machine Learning and Programming Languages						OOPSLA 2024 Concurrency
IBR West						OOPSLA 2024 Datalog								OOPSLA 2024 Program Synthesis and Verification 1						OOPSLA 2024 Types and Gradual Typing 1
Pacific						Onward! Essays Onward! Essays				DEI Activities LGBTQ+ lunch				Onward! Essays Onward! Essays						Onward! Papers Onward! Papers				Student Research Competition SRC Presentations
Pasadena						SPLASH-E Teaching Languages								SPLASH-E Interactive Syllabus Workshop and Natural Language						SPLASH-E Strategies and Tools
San Gabriel						OOPSLA 2024 Compilers and Optimisation 1								OOPSLA 2024 Compilers and Optimisation 2						OOPSLA 2024 Probabilistic Programming and Analysis 1

Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) 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
California								Keynotes SIGPLAN Milner Award Talk - Armando Solar-Lezama Catering Lunch and Awards 12:20 - 13:50
Foyer				Catering Coffee Break												Catering Coffee Break
IBR Ballroom	Keynotes Keynote - Neha Rungta
IBR East					OOPSLA 2024 Quantum Computing							OOPSLA 2024 Language-Specific Research					OOPSLA 2024 Testing Everything, Everywhere, All At Once
IBR West					OOPSLA 2024 Static Analysis and Program Verification 4							OOPSLA 2024 Novel Programming Concepts and Paradigms					OOPSLA 2024 Education and Language Usability
Pacific					Onward! Essays Onward! Essays			DEI Activities URM lunch				Onward! Papers Onward! Papers					Onward! Essays Onward! Essays
Pasadena					OOPSLA 2024 Probabilistic Programming and Analysis 2							OOPSLA 2024 Types and Gradual Typing 2					OOPSLA 2024 Effects
San Gabriel					OOPSLA 2024 Memory Management and Analysis 1							OOPSLA 2024 Program Synthesis and Verification 2					OOPSLA 2024 Memory Management and Analysis 2

SPLASH 2024 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Sun 20 OctDisplayed time zone: Pacific Time (US & Canada) change

Catering

Catering

Catering

SLE

SLE

SLE

SLE

HATRA

HATRA

HATRA

HATRA

VMIL

VMIL

DEI Activities

VMIL

VMIL

UNSOUND

UNSOUND

UNSOUND

UNSOUND

SAS

SAS

SAS

SAS

Mon 21 OctDisplayed time zone: Pacific Time (US & Canada) change

Catering

Catering

Catering

SLE

SLE

SLE

SLE

PLMW

PLMW

PLMW

PLMW

LIVE

LIVE

LIVE

LIVE

IWACO

IWACO

DEI Activities

IWACO

IWACO

VIVEKFEST

VIVEKFEST

VIVEKFEST

VIVEKFEST

SAS

SAS

SAS

SAS

Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change

Catering

Catering

Catering

ProLaLa

ProLaLa

ProLaLa

ProLaLa

GPCE

GPCE

GPCE

GPCE

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

PAINT

PAINT

PAINT

PAINT

NSAD

NSAD

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change

Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change

Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change

Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) change