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
Program
Complete Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Tracks
SPLASH 2024
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
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: Pasadena
Venue
Hilton Pasadena
Room name
Pasadena
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
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
Wed 23 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
10:20 - 12:20
REBASE
REBASE
at
Pasadena
Chair(s):
Filip Křikava
Czech Technical University in Prague
,
Ben L. Titzer
Carnegie Mellon University
10:20
60m
Talk
Way, Way Back To The Future
REBASE
Alan Kay
Viewpoints Research Institute
11:25
45m
Talk
Fil-C: memory safety with fanatical C/C++ compatibility
REBASE
Filip Pizlo
Apple
13:40 - 15:20
REBASE
REBASE
at
Pasadena
Chair(s):
Filip Křikava
Czech Technical University in Prague
,
Ben L. Titzer
Carnegie Mellon University
13:40
30m
Talk
Lessons Learned from Building GitHub Copilot(s)
REBASE
Eddie Aftandilian
GitHub Next
14:15
30m
Talk
From AI Software Engineers to AI Knowledge Workers
REBASE
Erik Meijer
Facebook
14:50
30m
Talk
Apps and their Stores: An Alternative History
REBASE
Gilad Bracha
F5
16:00 - 17:40
REBASE
REBASE
at
Pasadena
Chair(s):
Ben L. Titzer
Carnegie Mellon University
16:00
30m
Talk
TBA
REBASE
Lennart Augustsson
Epic Games
16:35
60m
Panel
JavaScript virtual machine evolution
REBASE
Manuel Serrano
Inria; Université Côte d’Azur
Fri 25 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
11:00 - 12:20
Probabilistic Programming and Analysis 2
OOPSLA 2024
at
Pasadena
11:00
20m
Talk
Programmable MCMC with Soundly Composed Guide Programs
OOPSLA 2024
Long Pham
Carnegie Mellon University
,
Di Wang
Peking University
,
Feras Saad
Carnegie Mellon University
,
Jan Hoffmann
Carnegie Mellon University
11:20
20m
Talk
Quantitative Bounds on Resource Usage of Probabilistic Programs
OOPSLA 2024
Krishnendu Chatterjee
IST Austria
,
Amir Kafshdar Goharshady
Hong Kong University of Science and Technology
,
Tobias Meggendorfer
Lancaster University, UK (Leipzig Campus)
,
Đorđe Žikelić
Singapore Management University, Singapore
11:40
20m
Talk
Sensitivity by Parametricity
OOPSLA 2024
Elisabet Lobo-Vesga
DPella AB
,
Carlos Tomé Cortiñas
Chalmers University of Technology
,
Alejandro Russo
Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, Sweden
,
Marco Gaboardi
Boston University
12:00
20m
Talk
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
OOPSLA 2024
Philipp G. Haselwarter
Aarhus University
,
Kwing Hei Li
Aarhus University
,
Markus de Medeiros
New York University
,
Simon Oddershede Gregersen
New York University
,
Alejandro Aguirre
Aarhus University
,
Joseph Tassarotti
New York University
,
Lars Birkedal
Aarhus University
13:50 - 15:30
Types and Gradual Typing 2
OOPSLA 2024
at
Pasadena
Chair(s):
Fabian Muehlboeck
Australian National University
13:50
20m
Talk
Degrees of Separation: A Flexible Type System for Safe Concurrency
OOPSLA 2024
Yichen Xu
EPFL
,
Aleksander Boruch-Gruszecki
EPFL
,
Martin Odersky
EPFL
14:10
20m
Talk
Full Iso-recursive Types
OOPSLA 2024
Litao Zhou
University of Hong Kong
,
Qianyong Wan
The University of Hong Kong
,
Bruno C. d. S. Oliveira
University of Hong Kong
14:30
20m
Talk
Gradually Typed Languages Should Be Vigilant!
OOPSLA 2024
Olek Gierczak
Northeastern University
,
Lucy Menon
Northeastern University
,
Christos Dimoulas
Northwestern University
,
Amal Ahmed
Northeastern University, USA
14:50
20m
Talk
Merging Gradual Typing
OOPSLA 2024
Wenjia Ye
University of Hong Kong
,
Bruno C. d. S. Oliveira
University of Hong Kong
,
Matías Toro
University of Chile
15:10
20m
Talk
Persimmon: Nested Family Polymorphism with Extensible Variant Types
OOPSLA 2024
Anastasiya Kravchuk-Kirilyuk
Harvard University
,
Gary Feng
University of Waterloo
,
Jonas Iskander
Harvard University
,
Yizhou Zhang
University of Waterloo
,
Nada Amin
Harvard University
DOI
16:00 - 17:40
Effects
OOPSLA 2024
at
Pasadena
16:00
20m
Talk
Effect handlers for C via coroutines
OOPSLA 2024
Mario Alvarez-Picallo
Huawei Research Centre
,
Teodoro Freund
Huawei Research Centre
,
Dan Ghica
Huawei
,
Sam Lindley
University of Edinburgh
16:20
20m
Talk
Effects and Coeffects in Call-By-Push-Value
OOPSLA 2024
Cassia Torczon
University of Pennsylvania
,
Emmanuel Suarez Acevedo
Cornell University
,
Shubh Agrawal
University of Michigan
,
Joey Velez-Ginorio
,
Stephanie Weirich
University of Pennsylvania
16:40
20m
Talk
Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
OOPSLA 2024
Taro Sekiyama
National Institute of Informatics; SOKENDAI
,
Hiroshi Unno
Tohoku University
17:00
20m
Talk
Lexical Effect Handlers, Directly
OOPSLA 2024
Cong Ma
University of Waterloo
,
Zhaoyi Ge
University of Waterloo
,
Edward Lee
University of Waterloo
,
Yizhou Zhang
University of Waterloo
17:20
20m
Talk
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
OOPSLA 2024
Noam Zilberstein
Cornell University
,
Angelina Saliling
Cornell University
,
Alexandra Silva
Cornell University
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
Pasadena
UNSOUND
UNSOUND
UNSOUND
UNSOUND
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
Pasadena
VIVEKFEST
VIVEKFEST
VIVEKFEST
VIVEKFEST
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
Pasadena
JENSFEST
JENSFEST
JENSFEST
JENSFEST
Wed 23 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Pasadena
REBASE
REBASE
REBASE
REBASE
REBASE
REBASE
Thu 24 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Pasadena
SPLASH-E
SPLASH-E
SPLASH-E
Fri 25 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Pasadena
OOPSLA 2024
Probabilistic Programming and Analysis 2
OOPSLA 2024
Types and Gradual Typing 2
OOPSLA 2024
Effects
Wed 23 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
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
Pasadena
SPLASH REBASE
Way, Way Back To The Future
10:20 - 11:20
SPLASH REBASE
Fil-C: memory safety with fanatical C/C++ compatibility
11:25 - 12:10
SPLASH REBASE
Lessons Learned from Building GitHub Copilot(s)
13:40 - 14:10
SPLASH REBASE
From AI Software Engineers to AI Knowledge Workers
14:15 - 14:45
SPLASH REBASE
Apps and their Stores: An Alternative History
14:50 - 15:20
SPLASH REBASE
TBA
16:00 - 16:30
SPLASH REBASE
JavaScript virtual machine evolution
16:35 - 17:35
Fri 25 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
11:00
15
30
45
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
Pasadena
SPLASH OOPSLA
Programmable MCMC with Soundly Composed Guide Programs
11:00 - 11:20
SPLASH OOPSLA
Quantitative Bounds on Resource Usage of Probabilistic Programs
11:20 - 11:40
SPLASH OOPSLA
Sensitivity by Parametricity
11:40 - 12:00
SPLASH OOPSLA
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
12:00 - 12:20
SPLASH OOPSLA
Degrees of Separation: A Flexible Type System for Safe Concurrency
13:50 - 14:10
SPLASH OOPSLA
Full Iso-recursive Types
14:10 - 14:30
SPLASH OOPSLA
Gradually Typed Languages Should Be Vigilant!
14:30 - 14:50
SPLASH OOPSLA
Merging Gradual Typing
14:50 - 15:10
SPLASH OOPSLA
Persimmon: Nested Family Polymorphism with Extensible Variant Types
15:10 - 15:30
SPLASH OOPSLA
Effect handlers for C via coroutines
16:00 - 16:20
SPLASH OOPSLA
Effects and Coeffects in Call-By-Push-Value
16:20 - 16:40
SPLASH OOPSLA
Higher-Order Model Checking of Effect-Handling Programs with Answer-Typ ...
16:40 - 17:00
SPLASH OOPSLA
Lexical Effect Handlers, Directly
17:00 - 17:20
SPLASH OOPSLA
Outcome Separation Logic: Local Reasoning for Correctness and Incorrect ...
17:20 - 17:40
x
Wed 18 Sep 15:03