SPLASH 2023
Sun 22 - Fri 27 October 2023
Cascais, Portugal
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Registration
Sponsoring
Code of Conduct
Support for Attending the Conference
Live Streams
Instructions for Presenters
How to SPLASH (Quick Attendee Guide)
Instructions for Session Chairs
Program
Complete Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Tracks
SPLASH 2023
Awards
OOPSLA
OOPSLA Artifacts
Doctoral Symposium
Onward! Essays
Onward! Papers
PLMW
Posters
SPLASH-E
Student Research Competition
Volunteers
Workshops
DEI Activities
CARES
Sponsored Talks
Co-hosted Conferences
DLS
GPCE
LOPSTR
MPLR
PPDP
SAS
SAS
SAS
SAS
Artifacts
SLE
Workshops
CONFLANG
23
FTSCS
HATRA
IWACO
LIVE
PAINT
PLF
REBLS
ST30
VMIL
Organization
SPLASH 2023 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
OOPSLA Review Committee
External Review / Artifact Evaluation Committee
OOPSLA Artifacts
Doctoral Symposium
Onward! Essays
Program Committee
Onward! Steering Committee
Onward! Papers
Program Committee
Steering Committee
PLMW
Organizing Committee
Speakers & Panelists
Mentors
Posters
SPLASH-E
Program Commitee
Steering Committee
Student Research Competition
Organizers
Judges
Reviewers
Volunteers
Workshops
Contributors
People Index
Co-hosted Conferences
DLS
Program Committee
Steering Committee
GPCE
Organizing Committee
Program Committee
LOPSTR
N/A - check homepage
MPLR
Organizing Committee
Program Committee
PPDP
N/A - check homepage
SAS
Invited Speakers
Organizing Committee
SAS 2023
SAS 2023 Artifacts
SLE
Organizing Committee
Program Committee
Workshops
CONFLANG
Organizing Committee
Program Committee
FTSCS
Organizing Committee
Program Committee
HATRA
Organizing Committee
Program Committee
IWACO
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
PAINT
Organizing Committee
Program Committee
PLF
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
ST30
Organizing Committee
Programme Committee
VMIL
Organizing Committee
Program Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2023
(
series
) /
Hotel Cascais Miragem
/
Room information: Room XIII
Venue
Hotel Cascais Miragem
Room name
Room XIII
Capacity
44
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Lisbon
.
Use conference time zone: (GMT+01:00) Lisbon
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Sun 22 Oct
Displayed time zone:
Lisbon
change
09:00 - 10:30
ST30 Day 1 Session 1
ST30
at
Room XIII
Chair(s):
Kirstin Peters
Augsburg University
09:00
30m
Talk
A silent semantics for isorecursive session types
ST30
Janek Spaderna
University of Freiburg, Germany
,
Peter Thiemann
University of Freiburg, Germany
,
Vasco T. Vasconcelos
LASIGE, University of Lisbon
09:30
30m
Talk
Mechanising Multiparty Session Types: A Sound and Complete Projection
ST30
Marco Carbone
IT University of Copenhagen
,
Dawit Tirore
IT University of Copenhagen, Denmark
,
Jesper Bengtson
IT University of Copenhagen, Denmark
10:00
30m
Talk
The Concurrent Calculi Formalisation Benchmark
ST30
Marco Carbone
IT University of Copenhagen
,
David Castro-Perez
University of Kent
,
Francisco Ferreira
Royal Holloway, University of London
,
Lorenzo Gheri
University of Liverpool
,
Frederik Krogsdal Jacobsen
Technical University of Denmark
,
Alberto Momigliano
Università degli Studi di Milano
,
Luca Padovani
University of Camerino
,
Alceste Scalas
DTU
,
Martin Vassor
University of Oxford, UK
,
Nobuko Yoshida
University of Oxford
11:00 - 12:30
ST30 Day 1 Session 2 - Invited talk
ST30
at
Room XIII
Chair(s):
Vasco T. Vasconcelos
LASIGE, University of Lisbon
11:00
90m
Talk
Beyond Types for Dyadic Interaction
ST30
Nobuko Yoshida
University of Oxford
14:00 - 15:30
ST30 Day 1 Session 3
ST30
at
Room XIII
Chair(s):
Peter Thiemann
University of Freiburg, Germany
14:00
30m
Talk
CAPABLE: A Mechanised Imperative Language with Native Multiparty Session Types
Cancelled
ST30
Jan de Muijnck-Hughes
University of Strathclyde
,
Cristian Urlea
,
Adriana Laura Voinea
,
Wim Vanderbauwhede
University of Glasgow
14:30
30m
Talk
Complete Multiparty Session Type Projection with Automata
ST30
Elaine Li
NYU
,
Felix Stutz
MPI-SWS
,
Thomas Wies
New York University
,
Damien Zufferey
SonarSource
15:00
30m
Talk
Multiparty Reactive Sessions
ST30
Ilaria Castellani
INRIA Sophia Antipolis, France
,
Cinzia Di Giusto
Université Côte d'Azur; CNRS
,
Jorge A. Pérez
University of Groningen
Link to publication
File Attached
16:00 - 17:30
ST30 Day 1 Session 4
ST30
at
Room XIII
Chair(s):
Diana Costa
LASIGE, University of Lisbon
16:00
30m
Talk
The Expressiveness of Session Types
ST30
Jorge A. Pérez
University of Groningen
Pre-print
File Attached
16:30
30m
Talk
What we learned from writing a book about session types
ST30
Simon J. Gay
University of Glasgow, UK
,
Vasco T. Vasconcelos
LASIGE, University of Lisbon
17:00
30m
Talk
So what's the difference between a session type and an ordinary type anyway?
ST30
Frank Pfenning
Carnegie Mellon University, USA
Mon 23 Oct
Displayed time zone:
Lisbon
change
09:00 - 10:30
ST30 Day 2 Session 1
ST30
at
Room XIII
Chair(s):
Alceste Scalas
DTU
09:00
30m
Talk
Behavioural up/down casting for statically typed languages
ST30
Lorenzo Bacchiani
,
Mario Bravetti
Università di Bologna
,
Marco Giunti
Nova University of Lisbon
,
João Mota
NOVA School of Science and Technology
,
António Ravara
Nova University of Lisbon
09:30
30m
Talk
Session-Based Typechecking for Elixir Modules Using ElixirST
ST30
Adrian Francalanza
University of Malta
,
Gerard Tabone
University of Malta
10:00
30m
Talk
A Semantic Framework for Automatic Composition of Decentralised Industrial Control Schemes
Cancelled
ST30
Dimitrios Kouzapas
University of Cyprus
,
Demetrios G. Eliades
11:00 - 12:30
ST30 Day 2 Session 2
ST30
at
Room XIII
Chair(s):
Frank Pfenning
Carnegie Mellon University, USA
11:00
30m
Talk
Asynchronous and Synchronous Mixed Sessions
ST30
Kirstin Peters
Augsburg University
,
Nobuko Yoshida
University of Oxford
11:30
30m
Talk
Classical Processes in modern dress
ST30
Vikraman Choudhury
University of Glasgow
,
Simon J. Gay
University of Glasgow, UK
12:00
30m
Talk
Labelled Tensor Types in Session Based Programming
Cancelled
ST30
Luís Caires
INESC-ID / Instituto Superior Tecnico, University of Lisbon
14:00 - 15:30
ST30 Day 2 Session 3
ST30
at
Room XIII
Chair(s):
António Ravara
Nova University of Lisbon
14:00
30m
Talk
Benchmarks for Multiparty Session Types
ST30
Martin Vassor
University of Oxford, UK
,
Nobuko Yoshida
University of Oxford
File Attached
14:30
30m
Talk
Towards Session-Typed Consensus
ST30
Matthew Alan Le Brun
University of Glasgow
,
Ornela Dardha
University of Glasgow
15:00
30m
Talk
Using Event Structures to model Multiparty Session Types: results and open problems
ST30
Ilaria Castellani
INRIA Sophia Antipolis, France
,
Paola Giannini
University of Eastern Piedmont
16:00 - 17:30
ST30 Day 2 Session 4 - Panel session
ST30
at
Room XIII
Chair(s):
Simon J. Gay
University of Glasgow, UK
16:00
90m
Panel
Future Directions for Session Types
ST30
Stephanie Balzer
Carnegie Mellon University
,
Luís Caires
INESC-ID / Instituto Superior Tecnico, University of Lisbon
,
Ornela Dardha
University of Glasgow
,
Raymond Hu
Queen Mary University of London
Tue 24 Oct
Displayed time zone:
Lisbon
change
09:00 - 10:30
IWACO Keynote Session
IWACO
at
Room XIII
Chair(s):
Aleksander Boruch-Gruszecki
EPFL
09:00
15m
Day opening
Welcome to IWACO!
IWACO
Aleksander Boruch-Gruszecki
EPFL
09:15
75m
Keynote
Capture Tracking in Scala
IWACO
Martin Odersky
EPFL
11:00 - 12:30
IWACO Session 1
IWACO
at
Room XIII
Chair(s):
Aleksander Boruch-Gruszecki
EPFL
11:00
30m
Talk
Borrow checking Hylo
IWACO
Dimi Racordon
Northeastern University, USA
,
Dave Abrahams
Adobe
File Attached
11:30
30m
Talk
Degrees of Separation: A Flexible Type System for Data Race Prevention
IWACO
Yichen Xu
EPFL
,
Aleksander Boruch-Gruszecki
EPFL
,
Martin Odersky
EPFL
File Attached
12:00
30m
Talk
Latte: Lightweight Aliasing Tracking for Java
IWACO
Conrad Zimmerman
Brown University
,
Catarina Gamboa
Carnegie Mellon University and LASIGE, University of Lisbon
,
Alcides Fonseca
LASIGE, University of Lisbon
,
Jonathan Aldrich
Carnegie Mellon University
Pre-print
14:00 - 15:30
IWACO Session 2
IWACO
at
Room XIII
Chair(s):
Aleksander Boruch-Gruszecki
EPFL
14:00
30m
Talk
A Mechanized Theory of the Box Calculus
IWACO
Joseph Fourment
EPFL
,
Yichen Xu
EPFL
File Attached
14:30
30m
Talk
Compositional Reasoning about Advanced Iterator Patterns in Rust
IWACO
Aurel Bílý
ETH Zurich
,
Jonas Hansen
ETH Zurich
,
Alexander J. Summers
University of British Columbia
,
Peter Müller
ETH Zurich
File Attached
15:00
30m
Talk
Oxidize: A Step-Debugger for Static Semantics
IWACO
Peter Chon
Harvard University
,
Dimi Racordon
Northeastern University, USA
,
Nada Amin
Harvard University
File Attached
Sun 22 Oct
Displayed time zone:
Lisbon
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room XIII
ST30
ST30 Day 1 Session 1
ST30
ST30 Day 1 Session 2 - Invited talk
ST30
ST30 Day 1 Session 3
ST30
ST30 Day 1 Session 4
Mon 23 Oct
Displayed time zone:
Lisbon
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room XIII
ST30
ST30 Day 2 Session 1
ST30
ST30 Day 2 Session 2
ST30
ST30 Day 2 Session 3
ST30
ST30 Day 2 Session 4 - Panel session
Tue 24 Oct
Displayed time zone:
Lisbon
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room XIII
IWACO
IWACO Keynote Session
IWACO
IWACO Session 1
IWACO
IWACO Session 2
IWACO
Sun 22 Oct
Displayed time zone:
Lisbon
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Room XIII
ST30
A silent semantics for isorecursive session types
09:00 - 09:30
ST30
Mechanising Multiparty Session Types: A Sound and Complete Projection
09:30 - 10:00
ST30
The Concurrent Calculi Formalisation Benchmark
10:00 - 10:30
ST30
Beyond Types for Dyadic Interaction
11:00 - 12:30
ST30
Cancelled
CAPABLE: A Mechanised Imperative Language with Native Multiparty Sessio ...
14:00 - 14:30
ST30
Complete Multiparty Session Type Projection with Automata
14:30 - 15:00
ST30
Multiparty Reactive Sessions
15:00 - 15:30
ST30
The Expressiveness of Session Types
16:00 - 16:30
ST30
What we learned from writing a book about session types
16:30 - 17:00
ST30
So what's the difference between a session type and an ordinary type an ...
17:00 - 17:30
Mon 23 Oct
Displayed time zone:
Lisbon
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Room XIII
ST30
Behavioural up/down casting for statically typed languages
09:00 - 09:30
ST30
Session-Based Typechecking for Elixir Modules Using ElixirST
09:30 - 10:00
ST30
Cancelled
A Semantic Framework for Automatic Composition of Decentralised Industr ...
10:00 - 10:30
ST30
Asynchronous and Synchronous Mixed Sessions
11:00 - 11:30
ST30
Classical Processes in modern dress
11:30 - 12:00
ST30
Cancelled
Labelled Tensor Types in Session Based Programming
12:00 - 12:30
ST30
Benchmarks for Multiparty Session Types
14:00 - 14:30
ST30
Towards Session-Typed Consensus
14:30 - 15:00
ST30
Using Event Structures to model Multiparty Session Types: results and o ...
15:00 - 15:30
ST30
Future Directions for Session Types
16:00 - 17:30
Tue 24 Oct
Displayed time zone:
Lisbon
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Room XIII
IWACO
Welcome to IWACO!
09:00 - 09:15
IWACO
Capture Tracking in Scala
09:15 - 10:30
IWACO
Borrow checking Hylo
11:00 - 11:30
IWACO
Degrees of Separation: A Flexible Type System for Data Race Prevention
11:30 - 12:00
IWACO
Latte: Lightweight Aliasing Tracking for Java
12:00 - 12:30
IWACO
A Mechanized Theory of the Box Calculus
14:00 - 14:30
IWACO
Compositional Reasoning about Advanced Iterator Patterns in Rust
14:30 - 15:00
IWACO
Oxidize: A Step-Debugger for Static Semantics
15:00 - 15:30
x
Sun 6 Oct 14:30