A Typed Intermediate Representation for Dynamic Languages (TOPLAS) (SPLASH 2026 - OOPSLA)

Sun 4 - Fri 9 October 2026 Oakland, California, United States

co-located with SPLASH/ISSTA 2026

Who

Mickaël Laurent, Jakob Hain, Filip Křikava, Sebastián Krynski, Jan Vitek

Track

SPLASH 2026 OOPSLA

This program is tentative and subject to change.

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

When

Mon 5 Oct 2026 11:06 - 11:24 at Junior Ballroom 3&4 - Types for Dynamic Languages Chair(s): Matthew Flatt

Mickaël Laurent

Charles University

Czechia

Jakob Hain

Purdue University, USA

United States

Filip Křikava

Czech Technical University

Czechia

Sebastián Krynski

Czech Technical University in Prague

Czechia

Jan Vitek

Charles University

Czechia

This program is tentative and subject to change.

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

Display full programSpecify a time band

Save

Session Program

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

10:30 - 12:00	Types for Dynamic LanguagesOOPSLA at Junior Ballroom 3&4 Chair(s): Matthew Flatt University of Utah

10:30 18m Talk		Type Inference for Functional and Imperative Dynamic Languages OOPSLA Mickaël Laurent Charles University, Jan Vitek Charles University DOI
10:48 18m Talk		Interactive Data Analysis with Lively Typed Tables OOPSLA Alexander Bandukwala University of Michigan, Cyrus Omar University of Michigan DOI Pre-print
11:06 18m Talk		A Typed Intermediate Representation for Dynamic Languages (TOPLAS) OOPSLA Mickaël Laurent Charles University, Jakob Hain Purdue University, USA, Filip Křikava Czech Technical University, Sebastián Krynski Czech Technical University in Prague, Jan Vitek Charles University

Hide past events