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
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
Doctoral Symposium
OOPSLA
OOPSLA Artifacts
Onward! Essays
Onward! Papers
PLMW
Posters
SPLASH-E
Student Research Competition
Volunteers
Workshops
CARES
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
VMIL
- Keynote
Organization
SPLASH 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Doctoral Symposium
OOPSLA
OOPSLA Review Committee
External Review / Artifact Evaluation Committee
OOPSLA Artifacts
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
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 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 VII
Venue
Hotel Cascais Miragem
Room name
Room VII
Floor
0
Capacity
90
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
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
Opening, Keynote
FTSCS
at
Room VII
09:15
75m
Talk
Opening, Keynote: Bounded STL Model Checking for Hybrid Systems
FTSCS
Kyungmin Bae
POSTECH
11:00 - 12:30
Paper presentations
FTSCS
at
Room VII
11:00
30m
Talk
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
FTSCS
Mario Gleirscher
University of Bremen
,
Anne Haxthausen
,
Jan Peleska
11:30
30m
Talk
Solving Queries for Boolean Fault Tree Logic via Quantified SAT
FTSCS
Caz Saaltink
,
Stefano M. Nicoletti
,
Matthias Volk
,
Ernst Moritz Hahn
,
Marielle Stoelinga
University of Twente and Radboud University, Nijmegen
12:00
30m
Talk
Symbolic analysis by using folding narrowing with irreducibility and SMT constraints
FTSCS
Santiago Escobar
,
Raul Lopez
,
Julia Sapiña
14:00 - 15:30
Paper presentations 2
FTSCS
at
Room VII
14:00
30m
Talk
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
FTSCS
Aïssata Maiga
,
Cyrille Artho
KTH Royal Institute of Technology, Sweden
,
Florian Gilcher
,
Yannick Moy
AdaCore
14:30
30m
Talk
Formal Verification of a Mechanical Ventilator using UPPAAL
FTSCS
Jaime Cuartas
Universidad del Valle
,
David Cortés
,
Joan S Betancourt
,
Jesus Aranda
Universidad del Valle
,
Jose Garcia
,
Andres Valencia
,
James Ortiz
Université de Namur
15:00
30m
Talk
Discussions, Closing
FTSCS
Peter Ölveczky
University of Oslo
,
Cyrille Artho
KTH Royal Institute of Technology, Sweden
16:00 - 17:30
FTSCS
at
Room VII
Mon 23 Oct
Displayed time zone:
Lisbon
change
09:00 - 10:30
LIVE 2023 Openings
LIVE
at
Room VII
09:00
60m
Keynote
(TBA)
LIVE
10:00
30m
Talk
Live & Local Schema Change: Challenge Problems
LIVE
Jonathan Edwards
Independent
,
Tomas Petricek
Charles University
,
Tijs van der Storm
CWI & University of Groningen
DOI
Pre-print
11:00 - 12:30
LLMs & Programming
LIVE
at
Room VII
11:00
30m
Talk
CodeProber: Live Compiler Exploration
LIVE
Anton Risberg Alaküla
Lund University
,
Görel Hedin
Lund University
,
Niklas Fors
Lund University
11:30
30m
Talk
Language Model Agents Enable Semi-Formal Programming
LIVE
Josh Pollock
MIT CSAIL
,
Arvind Satyanarayan
MIT CSAIL
,
Daniel Jackson
MIT
12:00
30m
Talk
Lude - build video games quickly
LIVE
Mary Rose Cook
14:00 - 15:30
Developer Tools
LIVE
at
Room VII
14:00
30m
Talk
TypeCell: End-User Programming in Block-Based rich text documents
LIVE
Yousef El-Dardiry
TypeCell
14:30
30m
Talk
Document-oriented programming based on edit history
LIVE
Tomas Petricek
Charles University
,
Jonathan Edwards
Independent
15:00
30m
Talk
Unfolding State Changes via Live State-First Debugging
LIVE
Ruanqianqian (Lisa) Huang
University of California, San Diego
,
Philip Guo
University of California at San Diego
,
Sorin Lerner
University of California at San Diego
16:00 - 17:30
Programming in Creative Domains
LIVE
at
Room VII
16:00
30m
Talk
Embark: a computational outliner for travel
LIVE
Paul Sonnentag
,
Alexander Obenauer
,
Geoffrey Litt
16:30
30m
Talk
PAW: a programmable and visual audio workstation
LIVE
Xavier Lambein
17:00
30m
Talk
CellPond: Spatial programming without escape
LIVE
Lu Wilson
tldraw
Tue 24 Oct
Displayed time zone:
Lisbon
change
09:00 - 10:30
IWACO Keynote Session
IWACO
at
Room VII
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 VII
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
,
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 VII
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 VII
FTSCS
Opening, Keynote
FTSCS
Paper presentations
FTSCS
Paper presentations 2
FTSCS
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 VII
LIVE
LIVE 2023 Openings
LIVE
LLMs & Programming
LIVE
Developer Tools
LIVE
Programming in Creative Domains
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 VII
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
Room VII
FTSCS
Opening, Keynote: Bounded STL Model Checking for Hybrid Systems
09:15 - 10:30
FTSCS
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 ...
11:00 - 11:30
FTSCS
Solving Queries for Boolean Fault Tree Logic via Quantified SAT
11:30 - 12:00
FTSCS
Symbolic analysis by using folding narrowing with irreducibility and SM ...
12:00 - 12:30
FTSCS
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the B ...
14:00 - 14:30
FTSCS
Formal Verification of a Mechanical Ventilator using UPPAAL
14:30 - 15:00
FTSCS
Discussions, Closing
15:00 - 15: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 VII
LIVE
(TBA)
09:00 - 10:00
LIVE
Live & Local Schema Change: Challenge Problems
10:00 - 10:30
LIVE
CodeProber: Live Compiler Exploration
11:00 - 11:30
LIVE
Language Model Agents Enable Semi-Formal Programming
11:30 - 12:00
LIVE
Lude - build video games quickly
12:00 - 12:30
LIVE
TypeCell: End-User Programming in Block-Based rich text documents
14:00 - 14:30
LIVE
Document-oriented programming based on edit history
14:30 - 15:00
LIVE
Unfolding State Changes via Live State-First Debugging
15:00 - 15:30
LIVE
Embark: a computational outliner for travel
16:00 - 16:30
LIVE
PAW: a programmable and visual audio workstation
16:30 - 17:00
LIVE
CellPond: Spatial programming without escape
17: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 VII
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
Wed 4 Oct 15:36