Room VI - SPLASH 2023

VenueHotel Cascais Miragem

Room nameRoom VI

Floor0

Capacity108

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

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 programSpecify 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 implementationSLE 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 LayerResearch 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 CompilersResearch 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 SemanticsResearch 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 KeynoteSLE at Room VI

11:00 90m Keynote		SLE/GPCE Keynote SLE

14:00 - 15:30	Grammars and parsingSLE at Room VI

14:00 30m Talk		A reference GLL implementationResearch Paper SLE Adrian Johnstone Royal Holloway University of London, UK
14:30 30m Talk		Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute GrammarsResearch 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 GrammarsResearch 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 automationSLE at Room VI

16:00 30m Talk		Automated extraction of grammar optimization rule configurations in a metamodel-grammar co-evolution scenarioResearch 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 LanguagesResearch 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 RepairResearch 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 debuggingSLE at Room VI

09:00 30m Talk		Temporal Breakpoints for Multiverse DebuggingResearch 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 AnalysersResearch 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 EffectResearch Paper SLE Riemer van Rozen CWI

11:00 - 12:30	SLE KeynoteSLE at Room VI

11:00 60m Keynote		SLE KeynoteKeynote SLE
12:00 20m Talk		Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling LanguagesNew ideas / Vision paper SLE Nico Jansen Software Engineering, RWTH Aachen University, Bernhard Rumpe RWTH Aachen University

14:00 - 15:30	ModelingSLE at Room VI

14:00 30m Talk		Enabling Blended Modelling of Timing and Variability in EAST-ADLResearch 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 RewritingResearch 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 ReportResearch 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 DemonstrationsSLE at Room VI

16:00 20m Demonstration		A Low-Code Platform for Systematic Component-Oriented Language CompositionTool 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 ProjectsTool 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-languagesTool 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 SciHookTool 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	SLEResearch Paper Exceptions all Over the Shop: Modular, Customizable, Language-independe ... 09:00 - 09:30						SLEResearch Paper An Executable Semantics for Faster Development of Optimizing Python Com ... 09:30 - 10:00						SLEResearch Paper Adaptive Structural Operational Semantics 10:00 - 10:30												SLE SLE/GPCE Keynote 11:00 - 12:30																																				SLEResearch Paper A reference GLL implementation 14:00 - 14:30						SLEResearch Paper Sharing Trees and Contextual Information: Re-imagining Forwarding in At ... 14:30 - 15:00						SLEResearch Paper Nanopass Attribute Grammars 15:00 - 15:30												SLEResearch Paper Automated extraction of grammar optimization rule configurations in a m ... 16:00 - 16:30						SLEResearch Paper Reuse and Automated Integration of Recommenders for Modelling Languages 16:30 - 17:00						SLEResearch 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	SLEResearch Paper Temporal Breakpoints for Multiverse Debugging 09:00 - 09:30						SLEResearch Paper Cross-Level Debugging for Static Analysers 09:30 - 10:00						SLEResearch Paper Cascade: a Meta-Language for Change, Cause and Effect 10:00 - 10:30												SLEKeynote SLE Keynote 11:00 - 12:00												SLENew ideas / Vision paper Seamless Code Generator Synchronization in the Composition of Heterogen ... 12:00 - 12:20																								SLEResearch Paper Enabling Blended Modelling of Timing and Variability in EAST-ADL 14:00 - 14:30						SLEResearch Paper Towards Efficient Model Comparison Using Automated Program Rewriting 14:30 - 15:00						SLEResearch Paper Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneo ... 15:00 - 15:30												SLETool Paper A Low-Code Platform for Systematic Component-Oriented Language Composition 16:00 - 16:20				SLETool Paper A Tool for the Definition and Deployment of Platform-Independent Bots o ... 16:20 - 16:40				SLETool Paper Online Name-Based Navigation for Software Meta-languages 16:40 - 17:00				SLETool Paper Practical Runtime Instrumentation of Software Languages: the Case of Sc ... 17:00 - 17:20

Room information: Room VI

This program is tentative and subject to change.

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

SLE

SLE

SLE

SLE

Tue 24 Oct
Displayed time zone: Lisbon change

SLE

SLE

SLE

SLE

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Tracks

Co-hosted Conferences

Workshops

Room information: Room VI

This program is tentative and subject to change.

Program Display Configuration

Mon 23 OctDisplayed time zone: Lisbon change

Tue 24 OctDisplayed time zone: Lisbon change

Mon 23 OctDisplayed time zone: Lisbon change

SLE

SLE

SLE

SLE

Tue 24 OctDisplayed time zone: Lisbon change

SLE

SLE

SLE

SLE

Mon 23 OctDisplayed time zone: Lisbon change

Tue 24 OctDisplayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change