SLE '23: "GPT-3-Powered Type Error Debugging: ..."
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
SLE '23: "A Tool for the Definition ..."
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
SLE '23: "Towards Efficient Model Comparison ..."
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
SLE '23: "Reuse and Automated Integration ..."
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
SLE '23: "Enabling Blended Modelling ..."
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
SLE '23: "Adaptive Structural Operational ..."
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
SLE '23: "Towards Efficient Model Comparison ..."
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
SLE '23: "Temporal Breakpoints for Multiverse ..."
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
SLE '23: "Enabling Blended Modelling ..."
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
SLE '23: "A Tool for the Definition ..."
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
SLE '23: "A Tool for the Definition ..."
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
SLE '23: "Exceptions all Over the Shop: ..."
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
SLE '23: "Enabling Blended Modelling ..."
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
SLE '23: "Practical Runtime Instrumentation ..."
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
SLE '23: "Adaptive Structural Operational ..."
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
SLE '23: "Reuse and Automated Integration ..."
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
SLE '23: "GPT-3-Powered Type Error Debugging: ..."
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
SLE '23: "Cross-Level Debugging for ..."
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
SLE '23: "Exceptions all Over the Shop: ..."
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
SLE '23: "An Executable Semantics for ..."
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
SLE '23: "Adaptive Structural Operational ..."
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
SLE '23: "Reuse and Automated Integration ..."
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
SLE '23: "Reuse and Automated Integration ..."
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
SLE '23: "Automated Extraction of Grammar ..."
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
SLE '23: "Deriving Integrated Multi-Viewpoint ..."
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
SLE '23: "Seamless Code Generator Synchronization ..."
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
SLE '23: "Deriving Integrated Multi-Viewpoint ..."
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
SLE '23: "A Reference GLL Implementation ..."
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
SLE '23: "Temporal Breakpoints for Multiverse ..."
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
SLE '23: "Adaptive Structural Operational ..."
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
SLE '23: "Deriving Integrated Multi-Viewpoint ..."
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
SLE '23: "Towards Efficient Model Comparison ..."
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
SLE '23: "Sharing Trees and Contextual ..."
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
SLE '23: "Nanopass Attribute Grammars ..."
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
SLE '23: "Temporal Breakpoints for Multiverse ..."
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
SLE '23: "Adaptive Structural Operational ..."
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
SLE '23: "Practical Runtime Instrumentation ..."
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
SLE '23: "Temporal Breakpoints for Multiverse ..."
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
SLE '23: "Practical Runtime Instrumentation ..."
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
SLE '23: "An Executable Semantics for ..."
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
SLE '23: "Deriving Integrated Multi-Viewpoint ..."
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
SLE '23: "Online Name-Based Navigation ..."
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
SLE '23: "Adaptive Structural Operational ..."
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
SLE '23: "Practical Runtime Instrumentation ..."
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
SLE '23: "Temporal Breakpoints for Multiverse ..."
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
SLE '23: "A Low-Code Platform for Systematic ..."
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
SLE '23: "Deriving Integrated Multi-Viewpoint ..."
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
SLE '23: "GPT-3-Powered Type Error Debugging: ..."
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
SLE '23: "Nanopass Attribute Grammars ..."
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
SLE '23: "Seamless Code Generator Synchronization ..."
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
SLE '23: "Deriving Integrated Multi-Viewpoint ..."
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
SLE '23: "GPT-3-Powered Type Error Debugging: ..."
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
SLE '23: "An Executable Semantics for ..."
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
SLE '23: "Automated Extraction of Grammar ..."
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
SLE '23: "Automated Extraction of Grammar ..."
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
SLE '23: "Temporal Breakpoints for Multiverse ..."
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
SLE '23: "GPT-3-Powered Type Error Debugging: ..."
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
SLE '23: "Adaptive Structural Operational ..."
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
SLE '23: "Cross-Level Debugging for ..."
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
SLE '23: "Cross-Level Debugging for ..."
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
SLE '23: "Cascade: A Meta-language for ..."
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
SLE '23: "Sharing Trees and Contextual ..."
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
SLE '23: "Nanopass Attribute Grammars ..."
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
SLE '23: "A Low-Code Platform for Systematic ..."
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
SLE '23: "Automated Extraction of Grammar ..."
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