SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
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

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

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
12:00
30m
Talk
Lude - build video games quickly
LIVE
14:00 - 15:30
Developer ToolsLIVE at Room VII
14:00
30m
Talk
TypeCell: End-User Programming in Block-Based rich text documents
LIVE
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

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
09:15
75m
Keynote
Capture Tracking in Scala
IWACO
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
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
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

Mon 23 Oct

Displayed time zone: Lisbon change

Tue 24 Oct

Displayed time zone: Lisbon change

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