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

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change

08:30 - 10:00	Session 1PLSS at Grand Ballroom Salons A+B Chair(s): Mikhail Barash University of Bergen, Michael Ficarra F5

08:30 15m Day opening		Opening of PLSS 2026: Why PL Standardization and Specification Matters PLSS Mikhail Barash University of Bergen, Michael Ficarra F5
08:45 45m Keynote		Specifying Languages and VMs: Looking Back and Looking Forward PLSS K: Gilad Bracha F5
09:30 30m Talk		LLMs as Collaborators in Language Specification and Design PLSS Steve Klabnik , Dorian Scheidt

10:30 - 12:00	Session 2PLSS at Grand Ballroom Salons A+B Chair(s): Mikhail Barash University of Bergen

10:30 30m Talk		JSpecify and the EISOP Checker Framework PLSS Werner Dietl University of Waterloo
11:00 30m Talk		Common Expression Language (CEL): Evolutions in Specification PLSS Tristan Swadell Google
11:30 30m Talk		Experimenting with User Research in the Rust Project PLSS Jack Huey

13:30 - 15:00	Session 3PLSS at Grand Ballroom Salons A+B Chair(s): Michael Ficarra F5

13:30 30m Talk		MoonBit: Safe Wasm-Backed Skills for AI Agents PLSS Zihang Ye International Digital Economy Academy, Hongbo Zhang International Digital Economy Academy
14:00 30m Talk		The Power of Paper: The C Standard in 2026 PLSS Björkus Dorkus Shepherd's Oasis
14:30 30m Talk		Designing Language Specifications for Static Reasoning: Lessons from IRIDIUM PLSS Meetesh Kalpesh Mehta IIT Bombay

15:30 - 17:00	Session 4PLSS at Grand Ballroom Salons A+B Chair(s): Michael Ficarra F5, Mikhail Barash University of Bergen

15:30 45m Panel		Panel: Working with Standards Organizations to Standardize Programming Languages PLSS M: Gilad Bracha F5, P: Björkus Dorkus Shepherd's Oasis, P: Bertrand Meyer Eiffel Software, P: Guy Steele Tech Squares
16:15 45m Keynote		From the Eiffel experience: lessons on programming language design, evolution and standardization PLSS K: Bertrand Meyer Eiffel Software

PLSS 2026 Program

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

PLSS 2026 Program

Switch Program View

Program Display Configuration

Thu 8 OctDisplayed time zone: Pacific Time (US & Canada) change

Get Calendar (iCal)

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change