SLE 2023
16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023)

Title Page

Article: sle23foreword-fm000-p doi:

Welcome from the Chairs

Article: sle23foreword-fm001-p doi:

SLE 2023 Organization

Article: sle23foreword-fm002-p doi:

Exceptions all Over the Shop: Modular, Customizable, Language-Independent Exception Handling Layer
Walter Cazzola and Luca Favalli
(University of Milan, Italy)

Publisher's Version Article: sle23main-p19-p doi:10.1145/3623476.3623513

An Executable Semantics for Faster Development of Optimizing Python Compilers
Olivier Melançon, Marc Feeley, and Manuel Serrano
(Université de Montréal, Canada; Inria - Université Côte d’Azur, France)

Publisher's Version Published Artifact Artifacts Available Article: sle23main-p95-p doi:10.1145/3623476.3623529

Adaptive Structural Operational Semantics
Gwendal Jouneaux, Damian Frölich, Olivier Barais, Benoit Combemale, Gurvan Le Guernic, Gunter Mussbacher, and L. Thomas van Binsbergen
(University of Rennes, France; Inria, France; IRISA, France; University of Amsterdam, Netherlands; CNRS, France; DGA Maîtrise de l’Information, France; McGill University, Canada)

Publisher's Version Article: sle23main-p29-p doi:10.1145/3623476.3623517

A Reference GLL Implementation
Adrian Johnstone
(Royal Holloway University of London, UK)

Publisher's Version Article: sle23main-p69-p doi:10.1145/3623476.3623521

Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars
Lucas Kramer and Eric Van Wyk
(University of Minnesota, USA)

Publisher's Version Published Artifact Artifacts Available Article: sle23main-p59-p doi:10.1145/3623476.3623520

Nanopass Attribute Grammars
Nathan Ringo, Lucas Kramer, and Eric Van Wyk
(University of Minnesota, USA)

Publisher's Version Published Artifact Artifacts Available Article: sle23main-p24-p doi:10.1145/3623476.3623514

Automated Extraction of Grammar Optimization Rule Configurations for Metamodel-Grammar Co-evolution
Weixing Zhang, Regina Hebig, Daniel Strüber, and Jan-Philipp Steghöfer
(Chalmers, Sweden; University of Gothenburg, Sweden; University of Rostock, Germany; Radboud University Nijmegen, Netherlands; Xitaso IT and Software Solutions, Germany)

Publisher's Version Article: sle23main-p83-p doi:10.1145/3623476.3623525

Reuse and Automated Integration of Recommenders for Modelling Languages
Lissette Almonte, Antonio Garmendia, Esther Guerra, and Juan de Lara
(Autonomous University of Madrid, Spain)

Publisher's Version Article: sle23main-p78-p doi:10.1145/3623476.3623523

GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
Francisco Ribeiro, José Nuno Castro de Macedo, Kanae Tsushima, Rui Abreu, and João Saraiva
(INESC TEC, Portugal; University of Minho, Portugal; National Institute of Informatics, Japan; Sokendai University, Japan; INESC-ID, Portugal; University of Porto, Portugal)

Publisher's Version Published Artifact Artifacts Available Article: sle23main-p74-p doi:10.1145/3623476.3623522

Temporal Breakpoints for Multiverse Debugging
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, and Loïc Lagadec
(Ertosgener, France; ENSTA Bretagne, France; ESEO, France; University of Angers, France)

Publisher's Version Article: sle23main-p85-p doi:10.1145/3623476.3623526

Cross-Level Debugging for Static Analysers
Mats Van Molle, Bram Vandenbogaerde, and Coen De Roover
(Vrije Universiteit Brussel, Belgium)

Publisher's Version Article: sle23main-p6-p doi:10.1145/3623476.3623512

Cascade: A Meta-language for Change, Cause and Effect
Riemer van Rozen
(CWI, Netherlands)

Publisher's Version Article: sle23main-p25-p doi:10.1145/3623476.3623515

Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages
Nico Jansen and Bernhard Rumpe
(RWTH Aachen University, Germany)

Publisher's Version Article: sle23main-p97-p doi:10.1145/3623476.3623530

Enabling Blended Modelling of Timing and Variability in EAST-ADL
Muhammad Waseem Anwar, Federico Ciccozzi, and Alessio Bucaioni
(Mälardalen University, Sweden)

Publisher's Version Article: sle23main-p38-p doi:10.1145/3623476.3623518

Towards Efficient Model Comparison using Automated Program Rewriting
Qurat ul ain Ali, Dimitris Kolovos, and Konstantinos Barmpis
(University of York, UK)

Publisher's Version Article: sle23main-p45-p doi:10.1145/3623476.3623519

Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report
Malte Heithoff, Nico Jansen, Jörg Christian Kirchhof, Judith Michael, Florian Rademacher, and Bernhard Rumpe
(RWTH Aachen University, Germany)

Publisher's Version Article: sle23main-p87-p doi:10.1145/3623476.3623527

A Low-Code Platform for Systematic Component-Oriented Language Composition
Jérôme Pfeiffer and Andreas Wortmann
(University of Stuttgart, Germany)

Publisher's Version Article: sle23main-p28-p doi:10.1145/3623476.3623516

A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source Projects
Adem Ait, Javier Luis Cánovas Izquierdo, and Jordi Cabot
(Open University of Catalonia, Spain; LIST, Luxembourg; University of Luxembourg, Luxembourg)

Publisher's Version Article: sle23main-p79-p doi:10.1145/3623476.3623524

Online Name-Based Navigation for Software Meta-languages
Peter D. Mosses
(TU Delft, Netherlands; Swansea University, UK)

Publisher's Version Article: sle23main-p91-p doi:10.1145/3623476.3623528

Practical Runtime Instrumentation of Software Languages: The Case of SciHook
Dorian Leroy, Benoit Combemale, Benoît Lelandais, and Marie-Pierre Oudot
(CEA - DAM - DIF, France; Université Paris-Saclay, France; University of Rennes, France)

Publisher's Version Article: sle23main-p99-p doi:10.1145/3623476.3623531