SPLASH 2026
Sun 4 - Fri 9 October 2026
Oakland, California, United States
co-located with
SPLASH/ISSTA 2026
Toggle navigation
Attending
Hotel: Oakland Marriott City Center
Code of Conduct
SPLASH/ISSTA 2026
Visa Letter
Registration
Travel and Child Care Support Grants
Program
SPLASH/ISSTA Program
Your Program
Filter by Day
Sat 3 Oct
Sun 4 Oct
Mon 5 Oct
Tue 6 Oct
Wed 7 Oct
Thu 8 Oct
Fri 9 Oct
Tracks
SPLASH 2026
OOPSLA
Onward! Essays
Onward! Papers
Onward! Steering Committee
SIGPLAN track
SPLASH Keynotes
SPLASH/OOPSLA @ 40 Panel
SPLASH-E
Artifact evaluation
SPLASH/ISSTA 2026
Awards
Doctoral symposium
PLMW @ SPLASH/ISSTA'26
Posters
Social Events
Student Research Competition
Student Volunteers
Summer School
Tool Demonstrations
REBASE industry track
Workshops
Sponsorship
Co-hosted Conferences
ISSTA
ISSTA
ISSTA
Research papers
ISSTA
Artifact evaluation
ISSTA
Keynotes
Workshops
EXPRESS
Expression of software system DevOps
FTA
Firmware Testing and Analysis
HATRA
IWACO
LMPL
NSAD
PLSS
PL Standardization and Specification
SpecOps
Specification-Driven Development Life Cycle
SSNL
VMIL
Co-hosted Symposia
SAS
Static Analysis Symposium
SAS
SAS
Artifact
Organization
SPLASH 2026 Committees
Steering Committee
Track Committees
OOPSLA
Onward! Essays
Onward! Papers
Onward! Steering Committee
SIGPLAN track
SPLASH/OOPSLA @ 40 Panel
SPLASH-E
Artifact evaluation
SPLASH/ISSTA
Doctoral symposium
PLMW @ SPLASH/ISSTA'26
Posters
Social Events
Student Research Competition
Competition Judges
SRC Committee
Student Volunteers
Summer School
Speakers
Organizers
Tool Demonstrations
REBASE industry track
Workshops
Sponsorship
Contributors
People Index
Co-hosted Conferences
ISSTA
Research papers
Artifact evaluation
Workshops
EXPRESS
Expression of software system DevOps
Organizing Committee
Steering Committee
Program Committee
FTA
Organizing Committee
Program Committee
HATRA
Organizing Committee
Program Committee
IWACO
Organizing Committee
LMPL
Keynote Speaker
Organizing Committee
Program Committee
NSAD
Organizing Committee
Program Committee
Steering Committee
PLSS
PL Standardization and Specification
Organizers
SpecOps
Specification-Driven Development Life Cycle
Program Committee
SSNL
Organizers
VMIL
Program Committee
Co-hosted Symposia
SAS
Static Analysis Symposium
SAS 2026
Program Committee
SAS 2026
Steering Committee
SAS Artifact
Search
Series
Series
SPLASH 2027
SPLASH 2026
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/ISSTA 2026
(
series
) /
SPLASH 2026
(
series
) /
Oakland Marriott City Center
/
Room information: Grand Ballroom Salons G+H
Venue
Oakland Marriott City Center
Room name
Grand Ballroom Salons G+H
Floor
0
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-06:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Cancun
(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-01: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+03: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
Tue 6 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
10:30 - 12:00
Session 4
SPLASH/ISSTA Summer School
at
Grand Ballroom Salons G+H
10:30
90m
Talk
Co-Active AI-Assisted Programming
SPLASH/ISSTA Summer School
S:
Nadia Polikarpova
University of California at San Diego
,
S:
Raven Rothkopf
University of California San Diego
13:30 - 15:00
Session 5
SPLASH/ISSTA Summer School
at
Grand Ballroom Salons G+H
13:30
90m
Talk
Property-Based Testing and Fuzzing with Formal Specifications
SPLASH/ISSTA Summer School
S:
Leonidas Lampropoulos
University of Maryland
15:30 - 17:00
Session 6
SPLASH/ISSTA Summer School
at
Grand Ballroom Salons G+H
15:30
90m
Talk
Scalable Reasoning for Probabilistic Programs
SPLASH/ISSTA Summer School
I:
Steven Holtzen
Northeastern University
,
S:
John Li
Northeastern University
Tue 6 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Grand Ballroom Salons G+H
SPLASH/ISSTA Summer School
SPLASH/ISSTA Summer School
Session 4
SPLASH/ISSTA Summer School
Session 5
SPLASH/ISSTA Summer School
Session 6
Tue 6 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
Grand Ballroom Salons G+H
SPLASH/ISSTA Summer School
Co-Active AI-Assisted Programming
10:30 - 12:00
SPLASH/ISSTA Summer School
Property-Based Testing and Fuzzing with Formal Specifications
13:30 - 15:00
SPLASH/ISSTA Summer School
Scalable Reasoning for Probabilistic Programs
15:30 - 17:00
x
Mon 26 Oct 23:36