SPLASH 2024
Sun 20 - Fri 25 October 2024
Pasadena, California, United States
Toggle navigation
Attending
Venue: Hilton Pasadena
Students
Registration
Visa Support Letters
Sponsoring
Code of conduct
Instructions for Presenters
Chair's Welcome
How to SPLASH (Quick Attendee Guide)
Mt. Baldy Bicycle Trip
Attractions Around Pasadena
Live Stream
Program
SPLASH Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Tracks
SPLASH 2024
DEI Activities
Doctoral Symposium
Keynotes
OOPSLA 2024
OOPSLA Artifacts
Onward! Essays
Onward! Papers
PLMW
Posters
REBASE
SPLASH-E
Student Research Competition
Volunteers
Workshops
Co-hosted Conferences
GPCE
SLE
Workshops
HATRA
IWACO
JENSFEST
LIVE
NSAD
PAINT
ProLaLa
UNSOUND
VIVEKFEST
VMIL
VMIL
- A tour of CPython's runtime
Co-hosted Symposia
SAS
SAS
SAS
Artifacts
Organization
SPLASH 2024 Committees
Organizing Committee
Steering Committee
Track Committees
Doctoral Symposium
OOPSLA 2024
OOPSLA Artifacts
Onward! Essays
Program Committee
Onward! Steering Committee
Onward! Papers
Program Committee
Steering Committee
PLMW
Organizing Committee
Speakers & Panelists
Mentors
Posters
REBASE
SPLASH-E
Program Commitee
Steering Committee
Student Research Competition
Organizers
Reviewers
Volunteers
Workshops
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Steering Committee
SLE
Organizing Committee
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
HATRA
Organizing Committee
Program Committee
IWACO
Organizing Committee
Program Committee
JENSFEST
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
NSAD
Organizing Committee
Program Committee
PAINT
Organizing Committee
Program Committee
ProLaLa
Organizing Committee
Program Committee
UNSOUND
Organizing Committee
VIVEKFEST
Organizing Committee
Program Committee
VMIL
Organizing Committee
Program Committee
Co-hosted Symposia
SAS
SAS 2024
Organizing Committee
SAS 2024
Program Committee
SAS Artifacts
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2024
(
series
) /
Hilton Pasadena
/
Room information: California
Venue
Hilton Pasadena
Room name
California
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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
(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-05: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-03: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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
Sun 20 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
12:30 - 14:00
Lunch
Catering
at
California
12:30
90m
Lunch
Lunch
Catering
Mon 21 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
12:30 - 14:00
Lunch
Catering
at
California
12:30
90m
Lunch
Lunch
Catering
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
12:30 - 14:00
Lunch
Catering
at
California
12:30
90m
Lunch
Lunch
Catering
Wed 23 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
12:20 - 13:40
Junior faculty lunch
DEI Activities
at
California
12:20
80m
Break
Junior faculty lunch
DEI Activities
12:20 - 13:40
Lunch
Catering
at
California
12:20
80m
Lunch
Lunch
Catering
17:40 - 19:40
Posters
Student Research Competition
/
Posters
at
California
17:40
8m
Poster
AUTOINC: Incrementality for Free
Posters
André Pacak
JGU Mainz
,
Prashant Kumar
,
Runqing Xu
,
Sebastian Erdweg
JGU Mainz
17:48
8m
Poster
Meerkat: Distributed Reactive Live Semantics with Causal Consistency
Posters
Heng Zhong
,
Anrui Liu
17:57
8m
Poster
Ordering Rejectable Stacks in SGLR Parsing
Posters
Jeff Smits
Delft University of Technology
,
Daniel A. A. Pelsmaeker
Delft University of Technology, Netherlands
18:05
8m
Poster
TickTalk: A Programming Language and System for Distributed, Time-Sensitive Applications
Posters
Kyle Liang
Carnegie Mellon University
,
Edward Andert
Arizona State University
,
Aviral Shrivastava
Arizona State University
,
Jonathan Aldrich
Carnegie Mellon University
18:14
8m
Poster
Algebraic effect handlers with bidirectional type-checking
Student Research Competition
Maya Mückenschnabel
18:22
8m
Poster
A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines
Student Research Competition
Youwei Zhong
Shanghai Jiao Tong University
18:31
8m
Poster
Automatically Generating an Abstract Interpretation-based Optimizer from a DSL
Student Research Competition
Ken Jin Ooi
18:40
8m
Poster
Automatic Local Inverse Calculation for Change of Variables
Student Research Competition
Elias Rojas Collins
MIT
18:48
8m
Poster
Design of Fractional Permissions for a Gradual Verifier
Student Research Competition
Craig Liu
18:57
8m
Poster
Grammar Derivation Visualization in Automata Theory
Student Research Competition
Tijana Minic
,
Andrés M. Garced
19:05
8m
Poster
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Student Research Competition
Zheyuan Wu
,
Haoyi Zeng
,
Aaron Bies
Saarland University
19:14
8m
Poster
Towards a Formal Approach to the Analysis of Human-Machine Interaction
Student Research Competition
Leyi Cui
Columbia University, New York
19:22
8m
Poster
Understanding Program Visualizations in the Wild
Student Research Competition
Joel Castro
University of California, Berkeley
,
Olohi Goodness John
Smith College
19:31
8m
Poster
VESC:Towards Temporal Verification of Smart Contracts
Student Research Competition
Samuel Larsen
,
Kevin Johanson
,
Cyrus Liu
Samsung Semiconductor
DOI
17:40 - 19:40
Reception and Poster session
Catering
at
California
17:40
2h
Dinner
Reception
Catering
Thu 24 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
12:20 - 13:40
Lunch
Catering
at
California
12:20
80m
Lunch
Lunch
Catering
Fri 25 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
12:20 - 13:50
Lunch and Awards
Catering
at
California
12:20
90m
Lunch
Awards Lunch
Catering
12:20 - 13:50
SIGPLAN Milner Award Talk - Armando Solar-Lezama
Keynotes
at
California
12:20
90m
Keynote
SIGPLAN Milner Award Talk
Keynotes
Armando Solar-Lezama
Massachusetts Institute of Technology
Sun 20 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
30
13:00
30
California
Catering
Lunch
Mon 21 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
30
13:00
30
California
Catering
Lunch
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
30
13:00
30
California
Catering
Lunch
Wed 23 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
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
DEI Activities
Junior faculty lunch
Catering
Lunch
12:20 - 13:40
Student Research Competition + Posters
Posters
Catering
Reception and Poster session
17:40 - 19:40
Thu 24 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
30
13:00
30
California
Catering
Lunch
Fri 25 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
30
13:00
30
California
Catering
Lunch and Awards
Keynotes
SIGPLAN Milner Award Talk - Armando Solar-Lezama
12:20 - 13:50
Sun 20 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
California
SPLASH Catering
Lunch
12:30 - 14:00
Mon 21 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
California
SPLASH Catering
Lunch
12:30 - 14:00
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
California
SPLASH Catering
Lunch
12:30 - 14:00
Wed 23 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
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
California
SPLASH DEI Activities
Junior faculty lunch
12:20 - 13:40
SPLASH Catering
Lunch
12:20 - 13:40
SPLASH Posters
AUTOINC: Incrementality for Free
17:40 - 17:48
SPLASH Catering
Reception
17:40 - 19:40
SPLASH Posters
Meerkat: Distributed Reactive Live Semantics with Causal Consistency
17:48 - 17:57
SPLASH Posters
Ordering Rejectable Stacks in SGLR Parsing
17:57 - 18:05
SPLASH Posters
TickTalk: A Programming Language and System for Distributed, Time-Sensi ...
18:05 - 18:14
SPLASH Student Research Competition
Algebraic effect handlers with bidirectional type-checking
18:14 - 18:22
SPLASH Student Research Competition
A Parameterized Framework for the Formal Verification of Zero-Knowledge ...
18:22 - 18:31
SPLASH Student Research Competition
Automatically Generating an Abstract Interpretation-based Optimizer fro ...
18:31 - 18:40
SPLASH Student Research Competition
Automatic Local Inverse Calculation for Change of Variables
18:40 - 18:48
SPLASH Student Research Competition
Design of Fractional Permissions for a Gradual Verifier
18:48 - 18:57
SPLASH Student Research Competition
Grammar Derivation Visualization in Automata Theory
18:57 - 19:05
SPLASH Student Research Competition
Kawa: An Abstract Language for Scalable and Variable Detection of Spect ...
19:05 - 19:14
SPLASH Student Research Competition
Towards a Formal Approach to the Analysis of Human-Machine Interaction
19:14 - 19:22
SPLASH Student Research Competition
Understanding Program Visualizations in the Wild
19:22 - 19:31
SPLASH Student Research Competition
VESC:Towards Temporal Verification of Smart Contracts
19:31 - 19:40
Thu 24 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
California
SPLASH Catering
Lunch
12:20 - 13:40
Fri 25 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
California
SPLASH Catering
Awards Lunch
12:20 - 13:50
SPLASH Keynotes
SIGPLAN Milner Award Talk
12:20 - 13:50
x
Sat 21 Dec 12:46