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)


@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 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)


@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 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)


@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 Article: sle23main-p29-p doi:10.1145/3623476.3623517

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 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)


@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 Article: sle23main-p59-p doi:10.1145/3623476.3623520

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 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)


@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 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)


@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 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)


@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 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)


@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 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)


@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 Article: sle23main-p6-p doi:10.1145/3623476.3623512

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 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)


@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 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)


@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 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)


@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 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)


@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 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)


@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 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)


@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 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)


@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 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)


@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 Article: sle23main-p99-p doi:10.1145/3623476.3623531