SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
SPLASH 2023 (series) / Hotel Cascais Miragem /

Room information: Room VII

VenueHotel Cascais Miragem
Room nameRoom VII
Floor0
Capacity90
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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, KeynoteFTSCS 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 presentationsFTSCS 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 2FTSCS 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 OpeningsLIVE 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 & ProgrammingLIVE 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 ToolsLIVE 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 DomainsLIVE 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 SessionIWACO 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 1IWACO 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 2IWACO 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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room VII

FTSCS

Opening, Keynote

FTSCS

Paper presentations

FTSCS

Paper presentations 2

FTSCS

Mon 23 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room VII

IWACO

IWACO Keynote Session

IWACO

IWACO Session 1

IWACO

IWACO Session 2

IWACO

Sun 22 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
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