| |
Abreu, Rui
|
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
Article: sle23main-p74-p (type: Full Paper) doi:10.1145/3623476.3623522
|
| |
Ait, Adem |
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
Article: sle23main-p79-p (type: Full Paper (Tool Paper: 5 pages + 1 page of bibliography/appendices)) doi:10.1145/3623476.3623524
|
| |
Ali, Qurat ul ain |
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
Article: sle23main-p45-p (type: Full Paper) doi:10.1145/3623476.3623519
|
| |
Almonte, Lissette |
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
Article: sle23main-p78-p (type: Full Paper) doi:10.1145/3623476.3623523
|
| |
Anwar, Muhammad Waseem |
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
Article: sle23main-p38-p (type: Full Paper) doi:10.1145/3623476.3623518
|
| |
Barais, Olivier
|
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
Article: sle23main-p29-p (type: Full Paper) doi:10.1145/3623476.3623517
|
| |
Barmpis, Konstantinos |
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
Article: sle23main-p45-p (type: Full Paper) doi:10.1145/3623476.3623519
|
| |
Brun, Matthias |
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
Article: sle23main-p85-p (type: Full Paper) doi:10.1145/3623476.3623526
|
| |
Bucaioni, Alessio |
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
Article: sle23main-p38-p (type: Full Paper) doi:10.1145/3623476.3623518
|
| |
Cabot, Jordi
|
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
Article: sle23main-p79-p (type: Full Paper (Tool Paper: 5 pages + 1 page of bibliography/appendices)) doi:10.1145/3623476.3623524
|
| |
Cánovas Izquierdo, Javier Luis |
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
Article: sle23main-p79-p (type: Full Paper (Tool Paper: 5 pages + 1 page of bibliography/appendices)) doi:10.1145/3623476.3623524
|
| |
Cazzola, Walter |
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
Article: sle23main-p19-p (type: Full Paper) doi:10.1145/3623476.3623513
|
| |
Ciccozzi, Federico |
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
Article: sle23main-p38-p (type: Full Paper) doi:10.1145/3623476.3623518
|
| |
Combemale, Benoit |
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
Article: sle23main-p99-p (type: Full Paper (Tool Paper: 5 pages + 1 page of bibliography/appendices)) doi:10.1145/3623476.3623531
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
Article: sle23main-p29-p (type: Full Paper) doi:10.1145/3623476.3623517
|
| |
De Lara, Juan
|
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
Article: sle23main-p78-p (type: Full Paper) doi:10.1145/3623476.3623523
|
| |
De Macedo, José Nuno Castro |
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
Article: sle23main-p74-p (type: Full Paper) doi:10.1145/3623476.3623522
|
| |
De Roover, Coen |
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
Article: sle23main-p6-p (type: Full Paper) doi:10.1145/3623476.3623512
|
| |
Favalli, Luca
|
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
Article: sle23main-p19-p (type: Full Paper) doi:10.1145/3623476.3623513
|
| |
Feeley, Marc |
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
Article: sle23main-p95-p (type: Full Paper) doi:10.1145/3623476.3623529
|
| |
Frölich, Damian |
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
Article: sle23main-p29-p (type: Full Paper) doi:10.1145/3623476.3623517
|
| |
Garmendia, Antonio
|
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
Article: sle23main-p78-p (type: Full Paper) doi:10.1145/3623476.3623523
|
| |
Guerra, Esther |
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
Article: sle23main-p78-p (type: Full Paper) doi:10.1145/3623476.3623523
|
| |
Hebig, Regina
|
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
Article: sle23main-p83-p (type: Full Paper) doi:10.1145/3623476.3623525
|
| |
Heithoff, Malte |
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
Article: sle23main-p87-p (type: Full Paper) doi:10.1145/3623476.3623527
|
| |
Jansen, Nico
|
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
Article: sle23main-p97-p (type: Full Paper (New Ideas/Vision Paper: 5 pages + 1 page of bibliography/appendices)) doi:10.1145/3623476.3623530
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
Article: sle23main-p87-p (type: Full Paper) doi:10.1145/3623476.3623527
|
| |
Johnstone, Adrian |
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
Article: sle23main-p69-p (type: Full Paper) doi:10.1145/3623476.3623521
|
| |
Jouault, Frédéric |
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
Article: sle23main-p85-p (type: Full Paper) doi:10.1145/3623476.3623526
|
| |
Jouneaux, Gwendal |
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
Article: sle23main-p29-p (type: Full Paper) doi:10.1145/3623476.3623517
|
| |
Kirchhof, Jörg Christian
|
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
Article: sle23main-p87-p (type: Full Paper) doi:10.1145/3623476.3623527
|
| |
Kolovos, Dimitris |
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
Article: sle23main-p45-p (type: Full Paper) doi:10.1145/3623476.3623519
|
| |
Kramer, Lucas |
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
Article: sle23main-p59-p (type: Full Paper) doi:10.1145/3623476.3623520
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
Article: sle23main-p24-p (type: Full Paper) doi:10.1145/3623476.3623514
|
| |
Lagadec, Loïc
|
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
Article: sle23main-p85-p (type: Full Paper) doi:10.1145/3623476.3623526
|
| |
Le Guernic, Gurvan |
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
Article: sle23main-p29-p (type: Full Paper) doi:10.1145/3623476.3623517
|
| |
Lelandais, Benoît |
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
Article: sle23main-p99-p (type: Full Paper (Tool Paper: 5 pages + 1 page of bibliography/appendices)) doi:10.1145/3623476.3623531
|
| |
Le Roux, Luka |
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
Article: sle23main-p85-p (type: Full Paper) doi:10.1145/3623476.3623526
|
| |
Leroy, Dorian |
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
Article: sle23main-p99-p (type: Full Paper (Tool Paper: 5 pages + 1 page of bibliography/appendices)) doi:10.1145/3623476.3623531
|
| |
Melançon, Olivier
|
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
Article: sle23main-p95-p (type: Full Paper) doi:10.1145/3623476.3623529
|
| |
Michael, Judith |
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
Article: sle23main-p87-p (type: Full Paper) doi:10.1145/3623476.3623527
|
| |
Mosses, Peter D. |
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
Article: sle23main-p91-p (type: Full Paper (Tool Paper: 5 pages + 1 page of bibliography/appendices)) doi:10.1145/3623476.3623528
|
| |
Mussbacher, Gunter |
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
Article: sle23main-p29-p (type: Full Paper) doi:10.1145/3623476.3623517
|
| |
Oudot, Marie-Pierre
|
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
Article: sle23main-p99-p (type: Full Paper (Tool Paper: 5 pages + 1 page of bibliography/appendices)) doi:10.1145/3623476.3623531
|
| |
Pasquier, Matthias
|
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
Article: sle23main-p85-p (type: Full Paper) doi:10.1145/3623476.3623526
|
| |
Pfeiffer, Jérôme |
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
Article: sle23main-p28-p (type: Full Paper (Tool Paper: 5 pages + 1 page of bibliography/appendices)) doi:10.1145/3623476.3623516
|
| |
Rademacher, Florian
|
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
Article: sle23main-p87-p (type: Full Paper) doi:10.1145/3623476.3623527
|
| |
Ribeiro, Francisco |
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
Article: sle23main-p74-p (type: Full Paper) doi:10.1145/3623476.3623522
|
| |
Ringo, Nathan |
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
Article: sle23main-p24-p (type: Full Paper) doi:10.1145/3623476.3623514
|
| |
Rumpe, Bernhard |
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
Article: sle23main-p97-p (type: Full Paper (New Ideas/Vision Paper: 5 pages + 1 page of bibliography/appendices)) doi:10.1145/3623476.3623530
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
Article: sle23main-p87-p (type: Full Paper) doi:10.1145/3623476.3623527
|
| |
Saraiva, João
|
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
Article: sle23main-p74-p (type: Full Paper) doi:10.1145/3623476.3623522
|
| |
Serrano, Manuel |
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
Article: sle23main-p95-p (type: Full Paper) doi:10.1145/3623476.3623529
|
| |
Steghöfer, Jan-Philipp |
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
Article: sle23main-p83-p (type: Full Paper) doi:10.1145/3623476.3623525
|
| |
Strüber, Daniel |
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
Article: sle23main-p83-p (type: Full Paper) doi:10.1145/3623476.3623525
|
| |
Teodorov, Ciprian
|
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
Article: sle23main-p85-p (type: Full Paper) doi:10.1145/3623476.3623526
|
| |
Tsushima, Kanae |
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
Article: sle23main-p74-p (type: Full Paper) doi:10.1145/3623476.3623522
|
| |
Van Binsbergen, L. Thomas
|
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
Article: sle23main-p29-p (type: Full Paper) doi:10.1145/3623476.3623517
|
| |
Vandenbogaerde, Bram |
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
Article: sle23main-p6-p (type: Full Paper) doi:10.1145/3623476.3623512
|
| |
Van Molle, Mats |
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
Article: sle23main-p6-p (type: Full Paper) doi:10.1145/3623476.3623512
|
| |
Van Rozen, Riemer |
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
Article: sle23main-p25-p (type: Full Paper) doi:10.1145/3623476.3623515
|
| |
Van Wyk, Eric |
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
Article: sle23main-p59-p (type: Full Paper) doi:10.1145/3623476.3623520
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
Article: sle23main-p24-p (type: Full Paper) doi:10.1145/3623476.3623514
|
| |
Wortmann, Andreas
|
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
Article: sle23main-p28-p (type: Full Paper (Tool Paper: 5 pages + 1 page of bibliography/appendices)) doi:10.1145/3623476.3623516
|
| |
Zhang, Weixing
|
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
Article: sle23main-p83-p (type: Full Paper) doi:10.1145/3623476.3623525
|