SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Thu 21 Oct 2021 13:50 - 14:05 at Zurich D - Types Chair(s): Christos Dimoulas
Thu 21 Oct 2021 21:50 - 22:05 at Zurich D - Types - mirror Chair(s): Wei-Ngan Chin

This is a study of the computing power of the subtyping machine behind
Kennedy and Pierce's nominal subtyping with variance.
We depict the lattice of fragments of Kennedy and Pierce's type system and characterize
their computing power in terms of
regular, context-free, deterministic, and non-deterministic tree languages.
Based on the theory, we present Treetop—a generator of C#
implementations of subtyping machines.
The software artifact constitutes the first feasible (yet POC) fluent API generator
to support context-free API protocols in a decidable type system fragment.

Ori Roth is a PhD student at the Technion—Israel Institute of Technology. His research interests include programming languages, software engineering, and automata theory.

Thu 21 Oct

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

13:50 - 15:10
TypesOOPSLA at Zurich D +8h
Chair(s): Christos Dimoulas PLT @ Northwestern University
13:50
15m
Talk
Study of the Subtyping Machine of Nominal Subtyping with VarianceDistinguished PaperVirtual
OOPSLA
Ori Roth Technion
DOI Pre-print Media Attached
14:05
15m
Talk
Label Dependent Lambda Calculus and Gradual TypingVirtual
OOPSLA
Weili Fu University of Edinburgh, Fabian Krause University of Freiburg, Peter Thiemann University of Freiburg, Germany
DOI
14:20
15m
Talk
Relational Nullable Types with Boolean UnificationVirtual
OOPSLA
Magnus Madsen Aarhus University, Jaco van de Pol Aarhus University
DOI
14:35
15m
Talk
Type Stability in Julia: Avoiding Performance Pathologies in JIT CompilationIn-Person
OOPSLA
Artem Pelenitsyn Northeastern University, Julia Belyakova Northeastern University, Benjamin Chung Northeastern University, Ross Tate Cornell University, Jan Vitek Northeastern University; Czech Technical University
DOI Pre-print
14:50
20m
Live Q&A
Discussion, Questions and Answers
OOPSLA

21:50 - 23:10
Types - mirrorOOPSLA at Zurich D
Chair(s): Wei-Ngan Chin National University of Singapore
21:50
15m
Talk
Study of the Subtyping Machine of Nominal Subtyping with VarianceDistinguished PaperVirtual
OOPSLA
Ori Roth Technion
DOI Pre-print Media Attached
22:05
15m
Talk
Label Dependent Lambda Calculus and Gradual TypingVirtual
OOPSLA
Weili Fu University of Edinburgh, Fabian Krause University of Freiburg, Peter Thiemann University of Freiburg, Germany
DOI
22:20
15m
Talk
Relational Nullable Types with Boolean UnificationVirtual
OOPSLA
Magnus Madsen Aarhus University, Jaco van de Pol Aarhus University
DOI
22:35
15m
Talk
Type Stability in Julia: Avoiding Performance Pathologies in JIT CompilationIn-Person
OOPSLA
Artem Pelenitsyn Northeastern University, Julia Belyakova Northeastern University, Benjamin Chung Northeastern University, Ross Tate Cornell University, Jan Vitek Northeastern University; Czech Technical University
DOI Pre-print
22:50
20m
Live Q&A
Discussion, Questions and Answers
OOPSLA