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 VI
Venue
Hotel Cascais Miragem
Room name
Room VI
Floor
0
Capacity
108
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
Mon 23 Oct
Displayed time zone:
Lisbon
change
09:00 - 10:30
Language implementation
SLE
at
Room VI
This session will start at 08:45 with a welcome and general announcements.
09:00
30m
Talk
Exceptions all Over the Shop: Modular, Customizable, Language-independent Exception Handling Layer
Research Paper
SLE
Walter Cazzola
Università degli Studi di Milano
,
Luca Favalli
Università degli Studi di Milano
09:30
30m
Talk
An Executable Semantics for Faster Development of Optimizing Python Compilers
Research Paper
SLE
Olivier Melancon
Université de Montréal
,
Marc Feeley
Université de Montréal
,
Manuel Serrano
Inria; University of Côte d'Azur
10:00
30m
Talk
Adaptive Structural Operational Semantics
Research Paper
SLE
Gwendal Jouneaux
University of Rennes; Inria; IRISA
,
Damian Frölich
University of Amsterdam
,
Olivier Barais
University of Rennes; Inria; CNRS; IRISA
,
Benoit Combemale
University of Rennes, Inria, CNRS, IRISA
,
Gurvan LE GUERNIC
DGA MI & Université de Rennes 1
,
Gunter Mussbacher
McGill University
,
L. Thomas van Binsbergen
University of Amsterdam
11:00 - 12:30
SLE/GPCE Keynote
SLE
at
Room VI
11:00
90m
Keynote
SLE/GPCE Keynote
SLE
14:00 - 15:30
Grammars and parsing
SLE
at
Room VI
14:00
30m
Talk
A reference GLL implementation
Research Paper
SLE
Adrian Johnstone
Royal Holloway University of London, UK
14:30
30m
Talk
Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars
Research Paper
SLE
Lucas Kramer
University of Minnesota
,
Eric Van Wyk
Department of Computer Science and Engineering, University of Minnesota, USA
15:00
30m
Talk
Nanopass Attribute Grammars
Research Paper
SLE
Nathan Ringo
University of Minnesota
,
Lucas Kramer
University of Minnesota
,
Eric Van Wyk
Department of Computer Science and Engineering, University of Minnesota, USA
16:00 - 17:30
Inference and automation
SLE
at
Room VI
16:00
30m
Talk
Automated extraction of grammar optimization rule configurations in a metamodel-grammar co-evolution scenario
Research Paper
SLE
Weixing Zhang
Chalmers | University of Gothenburg
,
Regina Hebig
Chalmers University of Technology & University of Gothenburg
,
Daniel Strüber
Chalmers | University of Gothenburg / Radboud University
,
Jan-Philipp Steghöfer
XITASO GmbH IT & Software Solutions
Pre-print
16:30
30m
Talk
Reuse and Automated Integration of Recommenders for Modelling Languages
Research Paper
SLE
Lissette Almonte
Universidad Autónoma de Madrid
,
Antonio Garmendia
Universidad Autónoma de Madrid
,
Esther Guerra
Universidad Autónoma de Madrid
,
Juan de Lara
Autonomous University of Madrid
Pre-print
17:00
30m
Talk
GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
Research Paper
SLE
Francisco Ribeiro
HASLab/INESC TEC & Universidade do Minho
,
José Nuno Macedo
University of Minho
,
Kanae Tsushima
National Institute of Informatics, Japan
,
Rui Abreu
Faculty of Engineering, University of Porto
,
João Saraiva
University of Minho, Portugal
Tue 24 Oct
Displayed time zone:
Lisbon
change
09:00 - 10:30
Live programming and debugging
SLE
at
Room VI
09:00
30m
Talk
Temporal Breakpoints for Multiverse Debugging
Research Paper
SLE
Matthias Pasquier
Ertosgener
,
Ciprian Teodorov
ENSTA Bretagne
,
Frédéric Jouault
ERIS Team, ESEO , France
,
Matthias Brun
,
Luka Le Roux
Lab-STICC CNRS UMR 6285, ENSTA Bretagne
,
Loïc Lagadec
Lab-STICC CNRS UMR 6285, ENSTA Bretagne
09:30
30m
Talk
Cross-Level Debugging for Static Analysers
Research Paper
SLE
Mats Van Molle
Vrije Universiteit Brussel
,
Bram Vandenbogaerde
Vrije Universiteit Brussel
,
Coen De Roover
Vrije Universiteit Brussel
10:00
30m
Research paper
Cascade: a Meta-Language for Change, Cause and Effect
Research Paper
SLE
Riemer van Rozen
CWI
11:00 - 12:30
SLE Keynote
SLE
at
Room VI
11:00
60m
Keynote
SLE Keynote
Keynote
SLE
12:00
20m
Talk
Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages
New ideas / Vision paper
SLE
Nico Jansen
Software Engineering, RWTH Aachen University
,
Bernhard Rumpe
RWTH Aachen University
14:00 - 15:30
Modeling
SLE
at
Room VI
14:00
30m
Talk
Enabling Blended Modelling of Timing and Variability in EAST-ADL
Research Paper
SLE
Muhammad Waseem Anwar
Department of Innovation, Design and Engineering Malardalen University
,
Federico Ciccozzi
Mälardalen University
,
Alessio Bucaioni
Mälardalen University
14:30
30m
Talk
Towards Efficient Model Comparison Using Automated Program Rewriting
Research Paper
SLE
Qurat Ul Ain Ali
University of York
,
Dimitris Kolovos
University of York
,
Konstantinos Barmpis
University of York
15:00
30m
Talk
Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report
Research Paper
SLE
Malte Heithoff
RWTH Aachen University
,
Nico Jansen
Software Engineering, RWTH Aachen University
,
Jörg Christian Kirchhof
RWTH Aachen University
,
Judith Michael
RWTH Aachen University
,
Florian Rademacher
RWTH Aachen University
,
Bernhard Rumpe
RWTH Aachen University
Pre-print
16:00 - 17:30
Tools and Demonstrations
SLE
at
Room VI
16:00
20m
Demonstration
A Low-Code Platform for Systematic Component-Oriented Language Composition
Tool Paper
SLE
Jérôme Pfeiffer
University of Stuttgart, Germany
,
Andreas Wortmann
University of Stuttgart
16:20
20m
Demonstration
A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source Projects
Tool Paper
SLE
Adem Ait-Fonolla
IN3 - UOC
,
Javier Luis Cánovas Izquierdo
IN3 - UOC
,
Jordi Cabot
Luxembourg Institute of Science and Technology
16:40
20m
Demonstration
Online Name-Based Navigation for Software Meta-languages
Tool Paper
SLE
Peter D. Mosses
Swansea University and Delft University of Technology
Pre-print
17:00
20m
Demonstration
Practical Runtime Instrumentation of Software Languages: the Case of SciHook
Tool Paper
SLE
Dorian Leroy
CEA/DAM/DIF, France
,
Benoît Lelandais
CEA/DAM/DIF, France
,
Marie-Pierre Oudot
CEA/DAM/DIF, France
,
Benoit Combemale
University of Rennes, Inria, CNRS, IRISA
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 VI
SLE
Language implementation
SLE
SLE/GPCE Keynote
SLE
Grammars and parsing
SLE
Inference and automation
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 VI
SLE
Live programming and debugging
SLE
SLE Keynote
SLE
Modeling
SLE
Tools and Demonstrations
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 VI
SLE
Research Paper
Exceptions all Over the Shop: Modular, Customizable, Language-independe ...
09:00 - 09:30
SLE
Research Paper
An Executable Semantics for Faster Development of Optimizing Python Com ...
09:30 - 10:00
SLE
Research Paper
Adaptive Structural Operational Semantics
10:00 - 10:30
SLE
SLE/GPCE Keynote
11:00 - 12:30
SLE
Research Paper
A reference GLL implementation
14:00 - 14:30
SLE
Research Paper
Sharing Trees and Contextual Information: Re-imagining Forwarding in At ...
14:30 - 15:00
SLE
Research Paper
Nanopass Attribute Grammars
15:00 - 15:30
SLE
Research Paper
Automated extraction of grammar optimization rule configurations in a m ...
16:00 - 16:30
SLE
Research Paper
Reuse and Automated Integration of Recommenders for Modelling Languages
16:30 - 17:00
SLE
Research Paper
GPT-3-Powered Type Error Debugging: Investigating the Use of Large Lang ...
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
16:00
15
30
45
17:00
15
30
45
Room VI
SLE
Research Paper
Temporal Breakpoints for Multiverse Debugging
09:00 - 09:30
SLE
Research Paper
Cross-Level Debugging for Static Analysers
09:30 - 10:00
SLE
Research Paper
Cascade: a Meta-Language for Change, Cause and Effect
10:00 - 10:30
SLE
Keynote
SLE Keynote
11:00 - 12:00
SLE
New ideas / Vision paper
Seamless Code Generator Synchronization in the Composition of Heterogen ...
12:00 - 12:20
SLE
Research Paper
Enabling Blended Modelling of Timing and Variability in EAST-ADL
14:00 - 14:30
SLE
Research Paper
Towards Efficient Model Comparison Using Automated Program Rewriting
14:30 - 15:00
SLE
Research Paper
Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneo ...
15:00 - 15:30
SLE
Tool Paper
A Low-Code Platform for Systematic Component-Oriented Language Composition
16:00 - 16:20
SLE
Tool Paper
A Tool for the Definition and Deployment of Platform-Independent Bots o ...
16:20 - 16:40
SLE
Tool Paper
Online Name-Based Navigation for Software Meta-languages
16:40 - 17:00
SLE
Tool Paper
Practical Runtime Instrumentation of Software Languages: the Case of Sc ...
17:00 - 17:20
x
Wed 4 Oct 11:51