SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026
Tue 6 Oct 2026 11:24 - 11:42 at Junior Ballroom 3&4 - Semantics and Calculi Chair(s): Stephen Kell

Smalltalk and Self are two paradigmatic examples of class-based and prototype-based late-bound object-oriented programming, respectively. Many of their similarities and differences can be grounded in how they bind message names to concrete values, but the details can be subtle and are not available in a concise form. The Id object model abstracts over specific binding semantics, even permitting the flexibility of late-bound message sending \textit{as part} of binding semantics, so it is worth using as a common basis on which to compare them. In this paper, we present the method-binding semantics of Smalltalk and Self as different ``special cases'' within the Id object model.

Tue 6 Oct

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

10:30 - 12:00
Semantics and CalculiOOPSLA at Junior Ballroom 3&4
Chair(s): Stephen Kell King's College London
10:30
18m
Talk
Commuting Conversions and Join Points for Call-by-Push-ValueDistinguished Paper
OOPSLA
Jonathan Chan University of Pennsylvania, Madi Gudin Amherst College, Annabel Levy University of Maryland, Stephanie Weirich University of Pennsylvania
Link to publication DOI
10:48
18m
Talk
Differential Execution with Lexical Tracing
OOPSLA
DOI
11:06
18m
Talk
MGQL: An Executable, Small-Step Semantics of GQL
OOPSLA
Aditya Thimmaiah University of Texas at Austin, Tong-Nong Lin University of Texas at Austin, Milos Gligoric University of Texas at Austin
DOI Pre-print
11:24
18m
Talk
Towards Concise Binding Semantics of Late-Bound OOP Systems
OOPSLA
Joel Jakubovic Charles University
DOI Pre-print
11:42
18m
Talk
Semantics for 2D Rasterization
OOPSLA
Bhargav Kulkarni University of Utah, Henry Whiting University of Utah, Pavel Panchekha University of Utah
DOI Pre-print