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

Title Page

Welcome from the Chairs

SLE 2023 Organization

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


@InProceedings{SLE23p1, author = {Walter Cazzola and Luca Favalli}, title = {Exceptions all Over the Shop: Modular, Customizable, Language-Independent Exception Handling Layer}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3623476.3623513}, year = {2023}, } Publisher's Version

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)


@InProceedings{SLE23p15, author = {Olivier Melançon and Marc Feeley and Manuel Serrano}, title = {An Executable Semantics for Faster Development of Optimizing Python Compilers}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {15-14}, doi = {10.1145/3623476.3623529}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

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)


@InProceedings{SLE23p29, author = {Gwendal Jouneaux and Damian Frölich and Olivier Barais and Benoit Combemale and Gurvan Le Guernic and Gunter Mussbacher and L. Thomas van Binsbergen}, title = {Adaptive Structural Operational Semantics}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {29-28}, doi = {10.1145/3623476.3623517}, year = {2023}, } Publisher's Version

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


@InProceedings{SLE23p43, author = {Adrian Johnstone}, title = {A Reference GLL Implementation}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {43-42}, doi = {10.1145/3623476.3623521}, year = {2023}, } Publisher's Version

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


@InProceedings{SLE23p57, author = {Lucas Kramer and Eric Van Wyk}, title = {Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {57-56}, doi = {10.1145/3623476.3623520}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

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


@InProceedings{SLE23p71, author = {Nathan Ringo and Lucas Kramer and Eric Van Wyk}, title = {Nanopass Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {71-70}, doi = {10.1145/3623476.3623514}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

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)


@InProceedings{SLE23p85, author = {Weixing Zhang and Regina Hebig and Daniel Strüber and Jan-Philipp Steghöfer}, title = {Automated Extraction of Grammar Optimization Rule Configurations for Metamodel-Grammar Co-evolution}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {85-84}, doi = {10.1145/3623476.3623525}, year = {2023}, } Publisher's Version

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


@InProceedings{SLE23p99, author = {Lissette Almonte and Antonio Garmendia and Esther Guerra and Juan de Lara}, title = {Reuse and Automated Integration of Recommenders for Modelling Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {99-98}, doi = {10.1145/3623476.3623523}, year = {2023}, } Publisher's Version

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)


@InProceedings{SLE23p113, author = {Francisco Ribeiro and José Nuno Castro de Macedo and Kanae Tsushima and Rui Abreu and João Saraiva}, title = {GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {113-112}, doi = {10.1145/3623476.3623522}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

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)


@InProceedings{SLE23p127, author = {Matthias Pasquier and Ciprian Teodorov and Frédéric Jouault and Matthias Brun and Luka Le Roux and Loïc Lagadec}, title = {Temporal Breakpoints for Multiverse Debugging}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {127-126}, doi = {10.1145/3623476.3623526}, year = {2023}, } Publisher's Version

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


@InProceedings{SLE23p141, author = {Mats Van Molle and Bram Vandenbogaerde and Coen De Roover}, title = {Cross-Level Debugging for Static Analysers}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3623476.3623512}, year = {2023}, } Publisher's Version

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


@InProceedings{SLE23p155, author = {Riemer van Rozen}, title = {Cascade: A Meta-language for Change, Cause and Effect}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {155-154}, doi = {10.1145/3623476.3623515}, year = {2023}, } Publisher's Version

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


@InProceedings{SLE23p169, author = {Nico Jansen and Bernhard Rumpe}, title = {Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {169-168}, doi = {10.1145/3623476.3623530}, year = {2023}, } Publisher's Version

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


@InProceedings{SLE23p183, author = {Muhammad Waseem Anwar and Federico Ciccozzi and Alessio Bucaioni}, title = {Enabling Blended Modelling of Timing and Variability in EAST-ADL}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {183-182}, doi = {10.1145/3623476.3623518}, year = {2023}, } Publisher's Version

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


@InProceedings{SLE23p197, author = {Qurat ul ain Ali and Dimitris Kolovos and Konstantinos Barmpis}, title = {Towards Efficient Model Comparison using Automated Program Rewriting}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {197-196}, doi = {10.1145/3623476.3623519}, year = {2023}, } Publisher's Version

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)


@InProceedings{SLE23p211, author = {Malte Heithoff and Nico Jansen and Jörg Christian Kirchhof and Judith Michael and Florian Rademacher and Bernhard Rumpe}, title = {Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {211-210}, doi = {10.1145/3623476.3623527}, year = {2023}, } Publisher's Version

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


@InProceedings{SLE23p225, author = {Jérôme Pfeiffer and Andreas Wortmann}, title = {A Low-Code Platform for Systematic Component-Oriented Language Composition}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {225-224}, doi = {10.1145/3623476.3623516}, year = {2023}, } Publisher's Version

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)


@InProceedings{SLE23p239, author = {Adem Ait and Javier Luis Cánovas Izquierdo and Jordi Cabot}, title = {A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source Projects}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {239-238}, doi = {10.1145/3623476.3623524}, year = {2023}, } Publisher's Version

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


@InProceedings{SLE23p253, author = {Peter D. Mosses}, title = {Online Name-Based Navigation for Software Meta-languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {253-252}, doi = {10.1145/3623476.3623528}, year = {2023}, } Publisher's Version

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)


@InProceedings{SLE23p267, author = {Dorian Leroy and Benoit Combemale and Benoît Lelandais and Marie-Pierre Oudot}, title = {Practical Runtime Instrumentation of Software Languages: The Case of SciHook}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {267-266}, doi = {10.1145/3623476.3623531}, year = {2023}, } Publisher's Version