Program - SPLASH/ISSTA 2026

Detailed Table Session Timeline Detailed Timeline Program

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

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

10:30 - 12:00	Session ASpecOps 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 BSpecOps 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 Ruthland 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 CSpecOps 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

SpecOps 2026 Program

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

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

SpecOps 2026 Program

Switch Program View

Program Display Configuration

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

Get Calendar (iCal)

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