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 F
Venue
Oakland Marriott City Center
Room name
Grand Ballroom Salons F
Capacity
80
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 A
SpecOps
at
Grand Ballroom Salons F
10:30
10m
Day opening
Opening Remarks
SpecOps
Rajdeep Mukherjee
Amazon, USA
10:40
60m
Keynote
Intent Formalization: Assessing the Quality of AI-Generated Formal Program Specifications
SpecOps
Shuvendu K. Lahiri
Microsoft Research
11:40
20m
Talk
Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation
SpecOps
Michele Tufano
Google
,
James McClure
,
José Pablo Cambronero
Google, USA
,
Sam Cheng
Google
,
Sherry Shi
Google
,
Renyao Wei
Google
,
Dorothy Chen
,
Franjo Ivančić
Google
,
Livio Dalloro
Google
,
Patrick Rondon
Google
13:30 - 15:00
Session B
SpecOps
at
Grand Ballroom Salons F
13:30
60m
Talk
Bridging Requirements and Assurance: Neurosymbolic Autoformalization for C++ Verification and Requirements-Coverage Testing
SpecOps
Corina S. Pasareanu
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
,
Joe Rutland
Amazon
14:30
15m
Talk
Specifications for Humans, Agents, and Tooling
SpecOps
Mark Marron
University of Kentucky
14:45
15m
Talk
SPINACH: Inferring Properties of Web Applications for Property-Based Testing
SpecOps
Savitha Ravi
UC San Diego
,
Michael Coblenz
University of California, San Diego
15:30 - 17:00
Session C
SpecOps
at
Grand Ballroom Salons F
15:30
60m
Keynote
Unlocking Safe Agentic Autonomy through Verification
SpecOps
Niranjan Tulpule
16:30
20m
Talk
RuSMT: An Executable Semantics as Conformance Oracle and Test Suite Synthesizer
SpecOps
Mehrad Haghshenas
University of Waterloo
,
Meng Xu
University of Waterloo
Link to publication
16:50
10m
Day closing
Closing Remarks
SpecOps
Anastasia Mavridou
KBR Inc / NASA Ames Research Center
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 F
SpecOps
SpecOps
Session A
SpecOps
Session B
SpecOps
Session C
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 F
SpecOps
Opening Remarks
10:30 - 10:40
SpecOps
Intent Formalization: Assessing the Quality of AI-Generated Formal Prog ...
10:40 - 11:40
SpecOps
Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Drive ...
11:40 - 12:00
SpecOps
Bridging Requirements and Assurance: Neurosymbolic Autoformalization fo ...
13:30 - 14:30
SpecOps
Specifications for Humans, Agents, and Tooling
14:30 - 14:45
SpecOps
SPINACH: Inferring Properties of Web Applications for Property-Based Te ...
14:45 - 15:00
SpecOps
Unlocking Safe Agentic Autonomy through Verification
15:30 - 16:30
SpecOps
RuSMT: An Executable Semantics as Conformance Oracle and Test Suite Syn ...
16:30 - 16:50
SpecOps
Closing Remarks
16:50 - 17:00
x
Mon 26 Oct 23:35