SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026
SPLASH/ISSTA 2026 (series) / SPLASH 2026 (series) / Oakland Marriott City Center /

Room information: Grand Ballroom Salons G

VenueOakland Marriott City Center
Room nameGrand Ballroom Salons G
Capacity80
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 4 Oct

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

08:30 - 10:00
KeynoteHATRA at Grand Ballroom Salons G
Chair(s): Michael Coblenz University of California, San Diego
08:30
90m
Keynote
The Next 700 Block-Based Editors
HATRA
Ravi Chugh University of Chicago
10:30 - 12:00
Session 1HATRA at Grand Ballroom Salons G
Chair(s): Will Crichton Brown University
10:30
45m
Talk
Ironwright: A Rusty Bridge from Bounded Model Checking to Full Verification
HATRA
Yan Tong UC Santa Cruz, Sabrina Reis University of California, Santa Cruz, Lindsey Kuper University of California, Santa Cruz
Pre-print
11:15
45m
Talk
Just Draw It: Widgets for Generating and Visualizing Graph Structures in Lean 4
HATRA
Cruise Song Georgia Institute of Technology, Zhengyu (Brian ) Li Georgia Institute of Technology, Sage Binder University of Iowa, Vijay Ganesh Georgia Tech
Link to publication
13:30 - 15:00
Session 2HATRA at Grand Ballroom Salons G
Chair(s): Michael Coblenz University of California, San Diego
13:30
45m
Talk
Morphosyntactic Programming: Case, Mood, and Type-Directed Disambiguation for Turkish-Like Syntax
HATRA
Joomy Korkut Bloomberg, Alperen Keles University of Maryland at College Park, Onur Akdemir Topsort
Pre-print
14:15
45m
Talk
What Makes a Good Type Error for Units of Measure?
HATRA
Hila Peleg Technion
15:30 - 17:00
DiscussionHATRA at Grand Ballroom Salons G
15:30
90m
Meeting
Discussion
HATRA
Michael Coblenz University of California, San Diego, Jonathan Aldrich Carnegie Mellon University, Will Crichton Brown University

Sun 4 Oct

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Grand Ballroom Salons G

HATRA

Keynote

HATRA

Session 1

HATRA

Session 2

HATRA

Discussion

Sun 4 Oct

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Grand Ballroom Salons G
HATRA
The Next 700 Block-Based Editors
08:30 - 10:00
HATRA
Ironwright: A Rusty Bridge from Bounded Model Checking to Full Verification
10:30 - 11:15
HATRA
Just Draw It: Widgets for Generating and Visualizing Graph Structures i ...
11:15 - 12:00
HATRA
Morphosyntactic Programming: Case, Mood, and Type-Directed Disambiguati ...
13:30 - 14:15
HATRA
What Makes a Good Type Error for Units of Measure?
14:15 - 15:00
HATRA
Discussion
15:30 - 17:00