SLE '22: "Selective Traceability for ..."
Selective Traceability for Rule-Based Model-to-Model Transformations
Qurat ul ain Ali, Dimitris Kolovos, and Konstantinos Barmpis
(University of York, UK)
@InProceedings{SLE22p181,
author = {Qurat ul ain Ali and Dimitris Kolovos and Konstantinos Barmpis},
title = {Selective Traceability for Rule-Based Model-to-Model Transformations},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3567512.3567521},
year = {2022},
}
Publisher's Version
SLE '22: "BatakJava: An Object-Oriented ..."
BatakJava: An Object-Oriented Programming Language with Versions
Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, and Hidehiko Masuhara
(Tokyo Institute of Technology, Japan; Mamezou, Japan)
@InProceedings{SLE22p381,
author = {Luthfan Anshar Lubis and Yudai Tanabe and Tomoyuki Aotani and Hidehiko Masuhara},
title = {BatakJava: An Object-Oriented Programming Language with Versions},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {381-380},
doi = {10.1145/3567512.3567531},
year = {2022},
}
Publisher's Version
Artifacts Reusable
SLE '22: "Reflection as a Tool to Debug ..."
Reflection as a Tool to Debug Objects
Steven Costiou, Vincent Aranega, and Marcus Denker
(University of Lille, France; Inria, France; CNRS, France; Centrale Lille, France; UMR 9189 CRIStAL, France)
@InProceedings{SLE22p101,
author = {Steven Costiou and Vincent Aranega and Marcus Denker},
title = {Reflection as a Tool to Debug Objects},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {101-100},
doi = {10.1145/3567512.3567517},
year = {2022},
}
Publisher's Version
SLE '22: "A Language-Parametric Approach ..."
A Language-Parametric Approach to Exploratory Programming Environments
L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais
(University of Amsterdam, Netherlands; Vrije Universiteit Amsterdam, Netherlands; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; CWI, Netherlands; University of Groningen, Netherlands)
@InProceedings{SLE22p301,
author = {L. Thomas van Binsbergen and Damian Frölich and Mauricio Verano Merino and Joey Lai and Pierre Jeanjean and Tijs van der Storm and Benoit Combemale and Olivier Barais},
title = {A Language-Parametric Approach to Exploratory Programming Environments},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {301-300},
doi = {10.1145/3567512.3567527},
year = {2022},
}
Publisher's Version
Artifacts Functional
SLE '22: "Selective Traceability for ..."
Selective Traceability for Rule-Based Model-to-Model Transformations
Qurat ul ain Ali, Dimitris Kolovos, and Konstantinos Barmpis
(University of York, UK)
@InProceedings{SLE22p181,
author = {Qurat ul ain Ali and Dimitris Kolovos and Konstantinos Barmpis},
title = {Selective Traceability for Rule-Based Model-to-Model Transformations},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3567512.3567521},
year = {2022},
}
Publisher's Version
SLE '22: "Partial Parsing for Structured ..."
Partial Parsing for Structured Editors
Tom Beckmann, Patrick Rein, Toni Mattis, and Robert Hirschfeld
(University of Potsdam, Germany; Hasso Plattner Institute, Germany)
@InProceedings{SLE22p201,
author = {Tom Beckmann and Patrick Rein and Toni Mattis and Robert Hirschfeld},
title = {Partial Parsing for Structured Editors},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {201-200},
doi = {10.1145/3567512.3567522},
year = {2022},
}
Publisher's Version
SLE '22: "Neural Language Models and ..."
Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
Vincent Bertram, Miriam Boß, Evgeny Kusmenko, Imke Helene Nachmann, Bernhard Rumpe, Danilo Trotta, and Louis Wachtmeister
(RWTH Aachen University, Germany)
@InProceedings{SLE22p441,
author = {Vincent Bertram and Miriam Boß and Evgeny Kusmenko and Imke Helene Nachmann and Bernhard Rumpe and Danilo Trotta and Louis Wachtmeister},
title = {Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {441-440},
doi = {10.1145/3567512.3567534},
year = {2022},
}
Publisher's Version
SLE '22: "jGuard: Programming Misuse-Resilient ..."
jGuard: Programming Misuse-Resilient APIs
Simon Binder, Krishna Narasimhan, Svenja Kernig, and Mira Mezini
(TU Darmstadt, Germany)
@InProceedings{SLE22p281,
author = {Simon Binder and Krishna Narasimhan and Svenja Kernig and Mira Mezini},
title = {jGuard: Programming Misuse-Resilient APIs},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3567512.3567526},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
SLE '22: "Neural Language Models and ..."
Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
Vincent Bertram, Miriam Boß, Evgeny Kusmenko, Imke Helene Nachmann, Bernhard Rumpe, Danilo Trotta, and Louis Wachtmeister
(RWTH Aachen University, Germany)
@InProceedings{SLE22p441,
author = {Vincent Bertram and Miriam Boß and Evgeny Kusmenko and Imke Helene Nachmann and Bernhard Rumpe and Danilo Trotta and Louis Wachtmeister},
title = {Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {441-440},
doi = {10.1145/3567512.3567534},
year = {2022},
}
Publisher's Version
SLE '22: "A Multi-target, Multi-paradigm ..."
A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing
Houda Boukham, Guido Wachsmuth, Martijn Dwars, and Dalila Chiadmi
(Ecole Mohammadia d'Ingénieurs, Morocco; Oracle Labs, Morocco; Oracle Labs, Switzerland)
@InProceedings{SLE22p21,
author = {Houda Boukham and Guido Wachsmuth and Martijn Dwars and Dalila Chiadmi},
title = {A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3567512.3567513},
year = {2022},
}
Publisher's Version
SLE '22: "From Coverage Computation ..."
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
Faezeh Khorram, Erwan Bousse, Antonio Garmendia, Jean-Marie Mottu, Gerson Sunyé, and Manuel Wimmer
(IMT Atlantique, France; Nantes Université, France; École Centrale Nantes, France; JKU Linz, Austria)
@InProceedings{SLE22p401,
author = {Faezeh Khorram and Erwan Bousse and Antonio Garmendia and Jean-Marie Mottu and Gerson Sunyé and Manuel Wimmer},
title = {From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {401-400},
doi = {10.1145/3567512.3567532},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
SLE '22: "Property-Based Testing: Climbing ..."
Property-Based Testing: Climbing the Stairway to Verification
Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, and Gabriele Keller
(UNSW, Australia; University of Melbourne, Australia; University of Edinburgh, UK; Independent, Australia; Proofcraft, Australia; Utrecht University, Netherlands)
@InProceedings{SLE22p161,
author = {Zilin Chen and Christine Rizkallah and Liam O'Connor and Partha Susarla and Gerwin Klein and Gernot Heiser and Gabriele Keller},
title = {Property-Based Testing: Climbing the Stairway to Verification},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {161-160},
doi = {10.1145/3567512.3567520},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "A Multi-target, Multi-paradigm ..."
A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing
Houda Boukham, Guido Wachsmuth, Martijn Dwars, and Dalila Chiadmi
(Ecole Mohammadia d'Ingénieurs, Morocco; Oracle Labs, Morocco; Oracle Labs, Switzerland)
@InProceedings{SLE22p21,
author = {Houda Boukham and Guido Wachsmuth and Martijn Dwars and Dalila Chiadmi},
title = {A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3567512.3567513},
year = {2022},
}
Publisher's Version
SLE '22: "People Do Not Want to Learn ..."
People Do Not Want to Learn a New Language But a New Library (Keynote)
Shigeru Chiba
(University of Tokyo, Japan)
@InProceedings{SLE22p1,
author = {Shigeru Chiba},
title = {People Do Not Want to Learn a New Language But a New Library (Keynote)},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3567512.3571831},
year = {2022},
}
Publisher's Version
SLE '22: "Yet Another Generating Method ..."
Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles
Tetsuro Yamazaki, Tomoki Nakamaru, and Shigeru Chiba
(University of Tokyo, Japan)
@InProceedings{SLE22p421,
author = {Tetsuro Yamazaki and Tomoki Nakamaru and Shigeru Chiba},
title = {Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {421-420},
doi = {10.1145/3567512.3567533},
year = {2022},
}
Publisher's Version
SLE '22: "Lang-n-Prove: A DSL for Language ..."
Lang-n-Prove: A DSL for Language Proofs
Matteo Cimini
(University of Massachusetts Lowell, USA)
@InProceedings{SLE22p41,
author = {Matteo Cimini},
title = {Lang-n-Prove: A DSL for Language Proofs},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3567512.3567514},
year = {2022},
}
Publisher's Version
SLE '22: "Optimising First-Class Pattern ..."
Optimising First-Class Pattern Matching
Jeff Smits, Toine Hartman, and Jesper Cockx
(Delft University of Technology, Netherlands; Independent, Netherlands)
@InProceedings{SLE22p141,
author = {Jeff Smits and Toine Hartman and Jesper Cockx},
title = {Optimising First-Class Pattern Matching},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {141-140},
doi = {10.1145/3567512.3567519},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
SLE '22: "A Language-Parametric Approach ..."
A Language-Parametric Approach to Exploratory Programming Environments
L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais
(University of Amsterdam, Netherlands; Vrije Universiteit Amsterdam, Netherlands; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; CWI, Netherlands; University of Groningen, Netherlands)
@InProceedings{SLE22p301,
author = {L. Thomas van Binsbergen and Damian Frölich and Mauricio Verano Merino and Joey Lai and Pierre Jeanjean and Tijs van der Storm and Benoit Combemale and Olivier Barais},
title = {A Language-Parametric Approach to Exploratory Programming Environments},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {301-300},
doi = {10.1145/3567512.3567527},
year = {2022},
}
Publisher's Version
Artifacts Functional
SLE '22: "Reflection as a Tool to Debug ..."
Reflection as a Tool to Debug Objects
Steven Costiou, Vincent Aranega, and Marcus Denker
(University of Lille, France; Inria, France; CNRS, France; Centrale Lille, France; UMR 9189 CRIStAL, France)
@InProceedings{SLE22p101,
author = {Steven Costiou and Vincent Aranega and Marcus Denker},
title = {Reflection as a Tool to Debug Objects},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {101-100},
doi = {10.1145/3567512.3567517},
year = {2022},
}
Publisher's Version
SLE '22: "Reflection as a Tool to Debug ..."
Reflection as a Tool to Debug Objects
Steven Costiou, Vincent Aranega, and Marcus Denker
(University of Lille, France; Inria, France; CNRS, France; Centrale Lille, France; UMR 9189 CRIStAL, France)
@InProceedings{SLE22p101,
author = {Steven Costiou and Vincent Aranega and Marcus Denker},
title = {Reflection as a Tool to Debug Objects},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {101-100},
doi = {10.1145/3567512.3567517},
year = {2022},
}
Publisher's Version
SLE '22: "signatr: A Data-Driven Fuzzing ..."
signatr: A Data-Driven Fuzzing Tool for R
Alexi Turcotte, Pierre Donat-Bouillud, Filip Křikava, and Jan Vitek
(Northeastern University, USA; Czech Technical University in Prague, Czechia)
@InProceedings{SLE22p361,
author = {Alexi Turcotte and Pierre Donat-Bouillud and Filip Křikava and Jan Vitek},
title = {signatr: A Data-Driven Fuzzing Tool for R},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {361-360},
doi = {10.1145/3567512.3567530},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "A Multi-target, Multi-paradigm ..."
A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing
Houda Boukham, Guido Wachsmuth, Martijn Dwars, and Dalila Chiadmi
(Ecole Mohammadia d'Ingénieurs, Morocco; Oracle Labs, Morocco; Oracle Labs, Switzerland)
@InProceedings{SLE22p21,
author = {Houda Boukham and Guido Wachsmuth and Martijn Dwars and Dalila Chiadmi},
title = {A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3567512.3567513},
year = {2022},
}
Publisher's Version
SLE '22: "Property Probes: Source Code ..."
Property Probes: Source Code Based Exploration of Program Analysis Results
Anton Risberg Alaküla, Görel Hedin, Niklas Fors, and Adrian Pop
(Lund University, Sweden; Linköping University, Sweden)
@InProceedings{SLE22p261,
author = {Anton Risberg Alaküla and Görel Hedin and Niklas Fors and Adrian Pop},
title = {Property Probes: Source Code Based Exploration of Program Analysis Results},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {261-260},
doi = {10.1145/3567512.3567525},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "Collection Skeletons: Declarative ..."
Collection Skeletons: Declarative Abstractions for Data Collections
Björn Franke, Zhibo Li, Magnus Morton, and Michel Steuwer
(University of Edinburgh, UK; Huawei, UK)
@InProceedings{SLE22p321,
author = {Björn Franke and Zhibo Li and Magnus Morton and Michel Steuwer},
title = {Collection Skeletons: Declarative Abstractions for Data Collections},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {321-320},
doi = {10.1145/3567512.3567528},
year = {2022},
}
Publisher's Version
SLE '22: "The Semantics of Plurals ..."
The Semantics of Plurals
Friedrich Steimann and Marius Freitag
(Fernuniversität in Hagen, Germany)
@InProceedings{SLE22p81,
author = {Friedrich Steimann and Marius Freitag},
title = {The Semantics of Plurals},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3567512.3567516},
year = {2022},
}
Publisher's Version
SLE '22: "A Language-Parametric Approach ..."
A Language-Parametric Approach to Exploratory Programming Environments
L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais
(University of Amsterdam, Netherlands; Vrije Universiteit Amsterdam, Netherlands; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; CWI, Netherlands; University of Groningen, Netherlands)
@InProceedings{SLE22p301,
author = {L. Thomas van Binsbergen and Damian Frölich and Mauricio Verano Merino and Joey Lai and Pierre Jeanjean and Tijs van der Storm and Benoit Combemale and Olivier Barais},
title = {A Language-Parametric Approach to Exploratory Programming Environments},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {301-300},
doi = {10.1145/3567512.3567527},
year = {2022},
}
Publisher's Version
Artifacts Functional
SLE '22: "iCoLa: A Compositional Meta-language ..."
iCoLa: A Compositional Meta-language with Support for Incremental Language Development
Damian Frölich and L. Thomas van Binsbergen
(University of Amsterdam, Netherlands)
@InProceedings{SLE22p341,
author = {Damian Frölich and L. Thomas van Binsbergen},
title = {iCoLa: A Compositional Meta-language with Support for Incremental Language Development},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {341-340},
doi = {10.1145/3567512.3567529},
year = {2022},
}
Publisher's Version
SLE '22: "From Coverage Computation ..."
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
Faezeh Khorram, Erwan Bousse, Antonio Garmendia, Jean-Marie Mottu, Gerson Sunyé, and Manuel Wimmer
(IMT Atlantique, France; Nantes Université, France; École Centrale Nantes, France; JKU Linz, Austria)
@InProceedings{SLE22p401,
author = {Faezeh Khorram and Erwan Bousse and Antonio Garmendia and Jean-Marie Mottu and Gerson Sunyé and Manuel Wimmer},
title = {From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {401-400},
doi = {10.1145/3567512.3567532},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
SLE '22: "Partial Loading of Repository-Based ..."
Partial Loading of Repository-Based Models through Static Analysis
Sorour Jahanbin, Dimitris Kolovos, Simos Gerasimou, and Gerson Sunyé
(University of York, UK; University of Nantes, France)
@InProceedings{SLE22p461,
author = {Sorour Jahanbin and Dimitris Kolovos and Simos Gerasimou and Gerson Sunyé},
title = {Partial Loading of Repository-Based Models through Static Analysis},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {461-460},
doi = {10.1145/3567512.3567535},
year = {2022},
}
Publisher's Version
SLE '22: "Optimising First-Class Pattern ..."
Optimising First-Class Pattern Matching
Jeff Smits, Toine Hartman, and Jesper Cockx
(Delft University of Technology, Netherlands; Independent, Netherlands)
@InProceedings{SLE22p141,
author = {Jeff Smits and Toine Hartman and Jesper Cockx},
title = {Optimising First-Class Pattern Matching},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {141-140},
doi = {10.1145/3567512.3567519},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
SLE '22: "Property Probes: Source Code ..."
Property Probes: Source Code Based Exploration of Program Analysis Results
Anton Risberg Alaküla, Görel Hedin, Niklas Fors, and Adrian Pop
(Lund University, Sweden; Linköping University, Sweden)
@InProceedings{SLE22p261,
author = {Anton Risberg Alaküla and Görel Hedin and Niklas Fors and Adrian Pop},
title = {Property Probes: Source Code Based Exploration of Program Analysis Results},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {261-260},
doi = {10.1145/3567512.3567525},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "Property-Based Testing: Climbing ..."
Property-Based Testing: Climbing the Stairway to Verification
Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, and Gabriele Keller
(UNSW, Australia; University of Melbourne, Australia; University of Edinburgh, UK; Independent, Australia; Proofcraft, Australia; Utrecht University, Netherlands)
@InProceedings{SLE22p161,
author = {Zilin Chen and Christine Rizkallah and Liam O'Connor and Partha Susarla and Gerwin Klein and Gernot Heiser and Gabriele Keller},
title = {Property-Based Testing: Climbing the Stairway to Verification},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {161-160},
doi = {10.1145/3567512.3567520},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "Gradual Grammars: Syntax in ..."
Gradual Grammars: Syntax in Levels and Locales
Tijs van der Storm and Felienne Hermans
(CWI, Netherlands; University of Groningen, Netherlands; Vrije Universiteit Amsterdam, Netherlands)
@InProceedings{SLE22p241,
author = {Tijs van der Storm and Felienne Hermans},
title = {Gradual Grammars: Syntax in Levels and Locales},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {241-240},
doi = {10.1145/3567512.3567524},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "Partial Parsing for Structured ..."
Partial Parsing for Structured Editors
Tom Beckmann, Patrick Rein, Toni Mattis, and Robert Hirschfeld
(University of Potsdam, Germany; Hasso Plattner Institute, Germany)
@InProceedings{SLE22p201,
author = {Tom Beckmann and Patrick Rein and Toni Mattis and Robert Hirschfeld},
title = {Partial Parsing for Structured Editors},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {201-200},
doi = {10.1145/3567512.3567522},
year = {2022},
}
Publisher's Version
SLE '22: "Partial Loading of Repository-Based ..."
Partial Loading of Repository-Based Models through Static Analysis
Sorour Jahanbin, Dimitris Kolovos, Simos Gerasimou, and Gerson Sunyé
(University of York, UK; University of Nantes, France)
@InProceedings{SLE22p461,
author = {Sorour Jahanbin and Dimitris Kolovos and Simos Gerasimou and Gerson Sunyé},
title = {Partial Loading of Repository-Based Models through Static Analysis},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {461-460},
doi = {10.1145/3567512.3567535},
year = {2022},
}
Publisher's Version
SLE '22: "A Language-Parametric Approach ..."
A Language-Parametric Approach to Exploratory Programming Environments
L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais
(University of Amsterdam, Netherlands; Vrije Universiteit Amsterdam, Netherlands; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; CWI, Netherlands; University of Groningen, Netherlands)
@InProceedings{SLE22p301,
author = {L. Thomas van Binsbergen and Damian Frölich and Mauricio Verano Merino and Joey Lai and Pierre Jeanjean and Tijs van der Storm and Benoit Combemale and Olivier Barais},
title = {A Language-Parametric Approach to Exploratory Programming Environments},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {301-300},
doi = {10.1145/3567512.3567527},
year = {2022},
}
Publisher's Version
Artifacts Functional
SLE '22: "Property-Based Testing: Climbing ..."
Property-Based Testing: Climbing the Stairway to Verification
Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, and Gabriele Keller
(UNSW, Australia; University of Melbourne, Australia; University of Edinburgh, UK; Independent, Australia; Proofcraft, Australia; Utrecht University, Netherlands)
@InProceedings{SLE22p161,
author = {Zilin Chen and Christine Rizkallah and Liam O'Connor and Partha Susarla and Gerwin Klein and Gernot Heiser and Gabriele Keller},
title = {Property-Based Testing: Climbing the Stairway to Verification},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {161-160},
doi = {10.1145/3567512.3567520},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "jGuard: Programming Misuse-Resilient ..."
jGuard: Programming Misuse-Resilient APIs
Simon Binder, Krishna Narasimhan, Svenja Kernig, and Mira Mezini
(TU Darmstadt, Germany)
@InProceedings{SLE22p281,
author = {Simon Binder and Krishna Narasimhan and Svenja Kernig and Mira Mezini},
title = {jGuard: Programming Misuse-Resilient APIs},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3567512.3567526},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
SLE '22: "From Coverage Computation ..."
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
Faezeh Khorram, Erwan Bousse, Antonio Garmendia, Jean-Marie Mottu, Gerson Sunyé, and Manuel Wimmer
(IMT Atlantique, France; Nantes Université, France; École Centrale Nantes, France; JKU Linz, Austria)
@InProceedings{SLE22p401,
author = {Faezeh Khorram and Erwan Bousse and Antonio Garmendia and Jean-Marie Mottu and Gerson Sunyé and Manuel Wimmer},
title = {From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {401-400},
doi = {10.1145/3567512.3567532},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
SLE '22: "Property-Based Testing: Climbing ..."
Property-Based Testing: Climbing the Stairway to Verification
Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, and Gabriele Keller
(UNSW, Australia; University of Melbourne, Australia; University of Edinburgh, UK; Independent, Australia; Proofcraft, Australia; Utrecht University, Netherlands)
@InProceedings{SLE22p161,
author = {Zilin Chen and Christine Rizkallah and Liam O'Connor and Partha Susarla and Gerwin Klein and Gernot Heiser and Gabriele Keller},
title = {Property-Based Testing: Climbing the Stairway to Verification},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {161-160},
doi = {10.1145/3567512.3567520},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "Freon: An Open Web Native ..."
Freon: An Open Web Native Language Workbench
Jos Warmer and Anneke Kleppe
(Independent, Netherlands)
@InProceedings{SLE22p61,
author = {Jos Warmer and Anneke Kleppe},
title = {Freon: An Open Web Native Language Workbench},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3567512.3567515},
year = {2022},
}
Publisher's Version
SLE '22: "Selective Traceability for ..."
Selective Traceability for Rule-Based Model-to-Model Transformations
Qurat ul ain Ali, Dimitris Kolovos, and Konstantinos Barmpis
(University of York, UK)
@InProceedings{SLE22p181,
author = {Qurat ul ain Ali and Dimitris Kolovos and Konstantinos Barmpis},
title = {Selective Traceability for Rule-Based Model-to-Model Transformations},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3567512.3567521},
year = {2022},
}
Publisher's Version
SLE '22: "Partial Loading of Repository-Based ..."
Partial Loading of Repository-Based Models through Static Analysis
Sorour Jahanbin, Dimitris Kolovos, Simos Gerasimou, and Gerson Sunyé
(University of York, UK; University of Nantes, France)
@InProceedings{SLE22p461,
author = {Sorour Jahanbin and Dimitris Kolovos and Simos Gerasimou and Gerson Sunyé},
title = {Partial Loading of Repository-Based Models through Static Analysis},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {461-460},
doi = {10.1145/3567512.3567535},
year = {2022},
}
Publisher's Version
SLE '22: "signatr: A Data-Driven Fuzzing ..."
signatr: A Data-Driven Fuzzing Tool for R
Alexi Turcotte, Pierre Donat-Bouillud, Filip Křikava, and Jan Vitek
(Northeastern University, USA; Czech Technical University in Prague, Czechia)
@InProceedings{SLE22p361,
author = {Alexi Turcotte and Pierre Donat-Bouillud and Filip Křikava and Jan Vitek},
title = {signatr: A Data-Driven Fuzzing Tool for R},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {361-360},
doi = {10.1145/3567512.3567530},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "Neural Language Models and ..."
Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
Vincent Bertram, Miriam Boß, Evgeny Kusmenko, Imke Helene Nachmann, Bernhard Rumpe, Danilo Trotta, and Louis Wachtmeister
(RWTH Aachen University, Germany)
@InProceedings{SLE22p441,
author = {Vincent Bertram and Miriam Boß and Evgeny Kusmenko and Imke Helene Nachmann and Bernhard Rumpe and Danilo Trotta and Louis Wachtmeister},
title = {Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {441-440},
doi = {10.1145/3567512.3567534},
year = {2022},
}
Publisher's Version
SLE '22: "A Language-Parametric Approach ..."
A Language-Parametric Approach to Exploratory Programming Environments
L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais
(University of Amsterdam, Netherlands; Vrije Universiteit Amsterdam, Netherlands; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; CWI, Netherlands; University of Groningen, Netherlands)
@InProceedings{SLE22p301,
author = {L. Thomas van Binsbergen and Damian Frölich and Mauricio Verano Merino and Joey Lai and Pierre Jeanjean and Tijs van der Storm and Benoit Combemale and Olivier Barais},
title = {A Language-Parametric Approach to Exploratory Programming Environments},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {301-300},
doi = {10.1145/3567512.3567527},
year = {2022},
}
Publisher's Version
Artifacts Functional
SLE '22: "Collection Skeletons: Declarative ..."
Collection Skeletons: Declarative Abstractions for Data Collections
Björn Franke, Zhibo Li, Magnus Morton, and Michel Steuwer
(University of Edinburgh, UK; Huawei, UK)
@InProceedings{SLE22p321,
author = {Björn Franke and Zhibo Li and Magnus Morton and Michel Steuwer},
title = {Collection Skeletons: Declarative Abstractions for Data Collections},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {321-320},
doi = {10.1145/3567512.3567528},
year = {2022},
}
Publisher's Version
SLE '22: "BatakJava: An Object-Oriented ..."
BatakJava: An Object-Oriented Programming Language with Versions
Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, and Hidehiko Masuhara
(Tokyo Institute of Technology, Japan; Mamezou, Japan)
@InProceedings{SLE22p381,
author = {Luthfan Anshar Lubis and Yudai Tanabe and Tomoyuki Aotani and Hidehiko Masuhara},
title = {BatakJava: An Object-Oriented Programming Language with Versions},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {381-380},
doi = {10.1145/3567512.3567531},
year = {2022},
}
Publisher's Version
Artifacts Reusable
SLE '22: "BatakJava: An Object-Oriented ..."
BatakJava: An Object-Oriented Programming Language with Versions
Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, and Hidehiko Masuhara
(Tokyo Institute of Technology, Japan; Mamezou, Japan)
@InProceedings{SLE22p381,
author = {Luthfan Anshar Lubis and Yudai Tanabe and Tomoyuki Aotani and Hidehiko Masuhara},
title = {BatakJava: An Object-Oriented Programming Language with Versions},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {381-380},
doi = {10.1145/3567512.3567531},
year = {2022},
}
Publisher's Version
Artifacts Reusable
SLE '22: "Partial Parsing for Structured ..."
Partial Parsing for Structured Editors
Tom Beckmann, Patrick Rein, Toni Mattis, and Robert Hirschfeld
(University of Potsdam, Germany; Hasso Plattner Institute, Germany)
@InProceedings{SLE22p201,
author = {Tom Beckmann and Patrick Rein and Toni Mattis and Robert Hirschfeld},
title = {Partial Parsing for Structured Editors},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {201-200},
doi = {10.1145/3567512.3567522},
year = {2022},
}
Publisher's Version
SLE '22: "jGuard: Programming Misuse-Resilient ..."
jGuard: Programming Misuse-Resilient APIs
Simon Binder, Krishna Narasimhan, Svenja Kernig, and Mira Mezini
(TU Darmstadt, Germany)
@InProceedings{SLE22p281,
author = {Simon Binder and Krishna Narasimhan and Svenja Kernig and Mira Mezini},
title = {jGuard: Programming Misuse-Resilient APIs},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3567512.3567526},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
SLE '22: "Collection Skeletons: Declarative ..."
Collection Skeletons: Declarative Abstractions for Data Collections
Björn Franke, Zhibo Li, Magnus Morton, and Michel Steuwer
(University of Edinburgh, UK; Huawei, UK)
@InProceedings{SLE22p321,
author = {Björn Franke and Zhibo Li and Magnus Morton and Michel Steuwer},
title = {Collection Skeletons: Declarative Abstractions for Data Collections},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {321-320},
doi = {10.1145/3567512.3567528},
year = {2022},
}
Publisher's Version
SLE '22: "From Coverage Computation ..."
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
Faezeh Khorram, Erwan Bousse, Antonio Garmendia, Jean-Marie Mottu, Gerson Sunyé, and Manuel Wimmer
(IMT Atlantique, France; Nantes Université, France; École Centrale Nantes, France; JKU Linz, Austria)
@InProceedings{SLE22p401,
author = {Faezeh Khorram and Erwan Bousse and Antonio Garmendia and Jean-Marie Mottu and Gerson Sunyé and Manuel Wimmer},
title = {From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {401-400},
doi = {10.1145/3567512.3567532},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
SLE '22: "Neural Language Models and ..."
Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
Vincent Bertram, Miriam Boß, Evgeny Kusmenko, Imke Helene Nachmann, Bernhard Rumpe, Danilo Trotta, and Louis Wachtmeister
(RWTH Aachen University, Germany)
@InProceedings{SLE22p441,
author = {Vincent Bertram and Miriam Boß and Evgeny Kusmenko and Imke Helene Nachmann and Bernhard Rumpe and Danilo Trotta and Louis Wachtmeister},
title = {Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {441-440},
doi = {10.1145/3567512.3567534},
year = {2022},
}
Publisher's Version
SLE '22: "Yet Another Generating Method ..."
Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles
Tetsuro Yamazaki, Tomoki Nakamaru, and Shigeru Chiba
(University of Tokyo, Japan)
@InProceedings{SLE22p421,
author = {Tetsuro Yamazaki and Tomoki Nakamaru and Shigeru Chiba},
title = {Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {421-420},
doi = {10.1145/3567512.3567533},
year = {2022},
}
Publisher's Version
SLE '22: "jGuard: Programming Misuse-Resilient ..."
jGuard: Programming Misuse-Resilient APIs
Simon Binder, Krishna Narasimhan, Svenja Kernig, and Mira Mezini
(TU Darmstadt, Germany)
@InProceedings{SLE22p281,
author = {Simon Binder and Krishna Narasimhan and Svenja Kernig and Mira Mezini},
title = {jGuard: Programming Misuse-Resilient APIs},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3567512.3567526},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
SLE '22: "Property-Based Testing: Climbing ..."
Property-Based Testing: Climbing the Stairway to Verification
Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, and Gabriele Keller
(UNSW, Australia; University of Melbourne, Australia; University of Edinburgh, UK; Independent, Australia; Proofcraft, Australia; Utrecht University, Netherlands)
@InProceedings{SLE22p161,
author = {Zilin Chen and Christine Rizkallah and Liam O'Connor and Partha Susarla and Gerwin Klein and Gernot Heiser and Gabriele Keller},
title = {Property-Based Testing: Climbing the Stairway to Verification},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {161-160},
doi = {10.1145/3567512.3567520},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "Property Probes: Source Code ..."
Property Probes: Source Code Based Exploration of Program Analysis Results
Anton Risberg Alaküla, Görel Hedin, Niklas Fors, and Adrian Pop
(Lund University, Sweden; Linköping University, Sweden)
@InProceedings{SLE22p261,
author = {Anton Risberg Alaküla and Görel Hedin and Niklas Fors and Adrian Pop},
title = {Property Probes: Source Code Based Exploration of Program Analysis Results},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {261-260},
doi = {10.1145/3567512.3567525},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "Partial Parsing for Structured ..."
Partial Parsing for Structured Editors
Tom Beckmann, Patrick Rein, Toni Mattis, and Robert Hirschfeld
(University of Potsdam, Germany; Hasso Plattner Institute, Germany)
@InProceedings{SLE22p201,
author = {Tom Beckmann and Patrick Rein and Toni Mattis and Robert Hirschfeld},
title = {Partial Parsing for Structured Editors},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {201-200},
doi = {10.1145/3567512.3567522},
year = {2022},
}
Publisher's Version
SLE '22: "Property Probes: Source Code ..."
Property Probes: Source Code Based Exploration of Program Analysis Results
Anton Risberg Alaküla, Görel Hedin, Niklas Fors, and Adrian Pop
(Lund University, Sweden; Linköping University, Sweden)
@InProceedings{SLE22p261,
author = {Anton Risberg Alaküla and Görel Hedin and Niklas Fors and Adrian Pop},
title = {Property Probes: Source Code Based Exploration of Program Analysis Results},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {261-260},
doi = {10.1145/3567512.3567525},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "Property-Based Testing: Climbing ..."
Property-Based Testing: Climbing the Stairway to Verification
Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, and Gabriele Keller
(UNSW, Australia; University of Melbourne, Australia; University of Edinburgh, UK; Independent, Australia; Proofcraft, Australia; Utrecht University, Netherlands)
@InProceedings{SLE22p161,
author = {Zilin Chen and Christine Rizkallah and Liam O'Connor and Partha Susarla and Gerwin Klein and Gernot Heiser and Gabriele Keller},
title = {Property-Based Testing: Climbing the Stairway to Verification},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {161-160},
doi = {10.1145/3567512.3567520},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "Neural Language Models and ..."
Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
Vincent Bertram, Miriam Boß, Evgeny Kusmenko, Imke Helene Nachmann, Bernhard Rumpe, Danilo Trotta, and Louis Wachtmeister
(RWTH Aachen University, Germany)
@InProceedings{SLE22p441,
author = {Vincent Bertram and Miriam Boß and Evgeny Kusmenko and Imke Helene Nachmann and Bernhard Rumpe and Danilo Trotta and Louis Wachtmeister},
title = {Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {441-440},
doi = {10.1145/3567512.3567534},
year = {2022},
}
Publisher's Version
SLE '22: "Optimising First-Class Pattern ..."
Optimising First-Class Pattern Matching
Jeff Smits, Toine Hartman, and Jesper Cockx
(Delft University of Technology, Netherlands; Independent, Netherlands)
@InProceedings{SLE22p141,
author = {Jeff Smits and Toine Hartman and Jesper Cockx},
title = {Optimising First-Class Pattern Matching},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {141-140},
doi = {10.1145/3567512.3567519},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
SLE '22: "The Semantics of Plurals ..."
The Semantics of Plurals
Friedrich Steimann and Marius Freitag
(Fernuniversität in Hagen, Germany)
@InProceedings{SLE22p81,
author = {Friedrich Steimann and Marius Freitag},
title = {The Semantics of Plurals},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3567512.3567516},
year = {2022},
}
Publisher's Version
SLE '22: "Collection Skeletons: Declarative ..."
Collection Skeletons: Declarative Abstractions for Data Collections
Björn Franke, Zhibo Li, Magnus Morton, and Michel Steuwer
(University of Edinburgh, UK; Huawei, UK)
@InProceedings{SLE22p321,
author = {Björn Franke and Zhibo Li and Magnus Morton and Michel Steuwer},
title = {Collection Skeletons: Declarative Abstractions for Data Collections},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {321-320},
doi = {10.1145/3567512.3567528},
year = {2022},
}
Publisher's Version
SLE '22: "From Coverage Computation ..."
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
Faezeh Khorram, Erwan Bousse, Antonio Garmendia, Jean-Marie Mottu, Gerson Sunyé, and Manuel Wimmer
(IMT Atlantique, France; Nantes Université, France; École Centrale Nantes, France; JKU Linz, Austria)
@InProceedings{SLE22p401,
author = {Faezeh Khorram and Erwan Bousse and Antonio Garmendia and Jean-Marie Mottu and Gerson Sunyé and Manuel Wimmer},
title = {From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {401-400},
doi = {10.1145/3567512.3567532},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
SLE '22: "Partial Loading of Repository-Based ..."
Partial Loading of Repository-Based Models through Static Analysis
Sorour Jahanbin, Dimitris Kolovos, Simos Gerasimou, and Gerson Sunyé
(University of York, UK; University of Nantes, France)
@InProceedings{SLE22p461,
author = {Sorour Jahanbin and Dimitris Kolovos and Simos Gerasimou and Gerson Sunyé},
title = {Partial Loading of Repository-Based Models through Static Analysis},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {461-460},
doi = {10.1145/3567512.3567535},
year = {2022},
}
Publisher's Version
SLE '22: "Property-Based Testing: Climbing ..."
Property-Based Testing: Climbing the Stairway to Verification
Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, and Gabriele Keller
(UNSW, Australia; University of Melbourne, Australia; University of Edinburgh, UK; Independent, Australia; Proofcraft, Australia; Utrecht University, Netherlands)
@InProceedings{SLE22p161,
author = {Zilin Chen and Christine Rizkallah and Liam O'Connor and Partha Susarla and Gerwin Klein and Gernot Heiser and Gabriele Keller},
title = {Property-Based Testing: Climbing the Stairway to Verification},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {161-160},
doi = {10.1145/3567512.3567520},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "BatakJava: An Object-Oriented ..."
BatakJava: An Object-Oriented Programming Language with Versions
Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, and Hidehiko Masuhara
(Tokyo Institute of Technology, Japan; Mamezou, Japan)
@InProceedings{SLE22p381,
author = {Luthfan Anshar Lubis and Yudai Tanabe and Tomoyuki Aotani and Hidehiko Masuhara},
title = {BatakJava: An Object-Oriented Programming Language with Versions},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {381-380},
doi = {10.1145/3567512.3567531},
year = {2022},
}
Publisher's Version
Artifacts Reusable
SLE '22: "Neural Language Models and ..."
Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
Vincent Bertram, Miriam Boß, Evgeny Kusmenko, Imke Helene Nachmann, Bernhard Rumpe, Danilo Trotta, and Louis Wachtmeister
(RWTH Aachen University, Germany)
@InProceedings{SLE22p441,
author = {Vincent Bertram and Miriam Boß and Evgeny Kusmenko and Imke Helene Nachmann and Bernhard Rumpe and Danilo Trotta and Louis Wachtmeister},
title = {Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {441-440},
doi = {10.1145/3567512.3567534},
year = {2022},
}
Publisher's Version
SLE '22: "signatr: A Data-Driven Fuzzing ..."
signatr: A Data-Driven Fuzzing Tool for R
Alexi Turcotte, Pierre Donat-Bouillud, Filip Křikava, and Jan Vitek
(Northeastern University, USA; Czech Technical University in Prague, Czechia)
@InProceedings{SLE22p361,
author = {Alexi Turcotte and Pierre Donat-Bouillud and Filip Křikava and Jan Vitek},
title = {signatr: A Data-Driven Fuzzing Tool for R},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {361-360},
doi = {10.1145/3567512.3567530},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "A Language-Parametric Approach ..."
A Language-Parametric Approach to Exploratory Programming Environments
L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais
(University of Amsterdam, Netherlands; Vrije Universiteit Amsterdam, Netherlands; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; CWI, Netherlands; University of Groningen, Netherlands)
@InProceedings{SLE22p301,
author = {L. Thomas van Binsbergen and Damian Frölich and Mauricio Verano Merino and Joey Lai and Pierre Jeanjean and Tijs van der Storm and Benoit Combemale and Olivier Barais},
title = {A Language-Parametric Approach to Exploratory Programming Environments},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {301-300},
doi = {10.1145/3567512.3567527},
year = {2022},
}
Publisher's Version
Artifacts Functional
SLE '22: "iCoLa: A Compositional Meta-language ..."
iCoLa: A Compositional Meta-language with Support for Incremental Language Development
Damian Frölich and L. Thomas van Binsbergen
(University of Amsterdam, Netherlands)
@InProceedings{SLE22p341,
author = {Damian Frölich and L. Thomas van Binsbergen},
title = {iCoLa: A Compositional Meta-language with Support for Incremental Language Development},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {341-340},
doi = {10.1145/3567512.3567529},
year = {2022},
}
Publisher's Version
SLE '22: "Gradual Grammars: Syntax in ..."
Gradual Grammars: Syntax in Levels and Locales
Tijs van der Storm and Felienne Hermans
(CWI, Netherlands; University of Groningen, Netherlands; Vrije Universiteit Amsterdam, Netherlands)
@InProceedings{SLE22p241,
author = {Tijs van der Storm and Felienne Hermans},
title = {Gradual Grammars: Syntax in Levels and Locales},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {241-240},
doi = {10.1145/3567512.3567524},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "A Language-Parametric Approach ..."
A Language-Parametric Approach to Exploratory Programming Environments
L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais
(University of Amsterdam, Netherlands; Vrije Universiteit Amsterdam, Netherlands; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; CWI, Netherlands; University of Groningen, Netherlands)
@InProceedings{SLE22p301,
author = {L. Thomas van Binsbergen and Damian Frölich and Mauricio Verano Merino and Joey Lai and Pierre Jeanjean and Tijs van der Storm and Benoit Combemale and Olivier Barais},
title = {A Language-Parametric Approach to Exploratory Programming Environments},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {301-300},
doi = {10.1145/3567512.3567527},
year = {2022},
}
Publisher's Version
Artifacts Functional
SLE '22: "Workbench for Creating Block-Based ..."
Workbench for Creating Block-Based Environments
Mauricio Verano Merino and Koen van Wijk
(Vrije Universiteit Amsterdam, Netherlands; ICT, Netherlands)
@InProceedings{SLE22p121,
author = {Mauricio Verano Merino and Koen van Wijk},
title = {Workbench for Creating Block-Based Environments},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3567512.3567518},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
SLE '22: "Workbench for Creating Block-Based ..."
Workbench for Creating Block-Based Environments
Mauricio Verano Merino and Koen van Wijk
(Vrije Universiteit Amsterdam, Netherlands; ICT, Netherlands)
@InProceedings{SLE22p121,
author = {Mauricio Verano Merino and Koen van Wijk},
title = {Workbench for Creating Block-Based Environments},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3567512.3567518},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
SLE '22: "A Language-Parametric Approach ..."
A Language-Parametric Approach to Exploratory Programming Environments
L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais
(University of Amsterdam, Netherlands; Vrije Universiteit Amsterdam, Netherlands; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; CWI, Netherlands; University of Groningen, Netherlands)
@InProceedings{SLE22p301,
author = {L. Thomas van Binsbergen and Damian Frölich and Mauricio Verano Merino and Joey Lai and Pierre Jeanjean and Tijs van der Storm and Benoit Combemale and Olivier Barais},
title = {A Language-Parametric Approach to Exploratory Programming Environments},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {301-300},
doi = {10.1145/3567512.3567527},
year = {2022},
}
Publisher's Version
Artifacts Functional
SLE '22: "signatr: A Data-Driven Fuzzing ..."
signatr: A Data-Driven Fuzzing Tool for R
Alexi Turcotte, Pierre Donat-Bouillud, Filip Křikava, and Jan Vitek
(Northeastern University, USA; Czech Technical University in Prague, Czechia)
@InProceedings{SLE22p361,
author = {Alexi Turcotte and Pierre Donat-Bouillud and Filip Křikava and Jan Vitek},
title = {signatr: A Data-Driven Fuzzing Tool for R},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {361-360},
doi = {10.1145/3567512.3567530},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
SLE '22: "A Multi-target, Multi-paradigm ..."
A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing
Houda Boukham, Guido Wachsmuth, Martijn Dwars, and Dalila Chiadmi
(Ecole Mohammadia d'Ingénieurs, Morocco; Oracle Labs, Morocco; Oracle Labs, Switzerland)
@InProceedings{SLE22p21,
author = {Houda Boukham and Guido Wachsmuth and Martijn Dwars and Dalila Chiadmi},
title = {A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3567512.3567513},
year = {2022},
}
Publisher's Version
SLE '22: "Neural Language Models and ..."
Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
Vincent Bertram, Miriam Boß, Evgeny Kusmenko, Imke Helene Nachmann, Bernhard Rumpe, Danilo Trotta, and Louis Wachtmeister
(RWTH Aachen University, Germany)
@InProceedings{SLE22p441,
author = {Vincent Bertram and Miriam Boß and Evgeny Kusmenko and Imke Helene Nachmann and Bernhard Rumpe and Danilo Trotta and Louis Wachtmeister},
title = {Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {441-440},
doi = {10.1145/3567512.3567534},
year = {2022},
}
Publisher's Version
SLE '22: "Freon: An Open Web Native ..."
Freon: An Open Web Native Language Workbench
Jos Warmer and Anneke Kleppe
(Independent, Netherlands)
@InProceedings{SLE22p61,
author = {Jos Warmer and Anneke Kleppe},
title = {Freon: An Open Web Native Language Workbench},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3567512.3567515},
year = {2022},
}
Publisher's Version
SLE '22: "From Coverage Computation ..."
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
Faezeh Khorram, Erwan Bousse, Antonio Garmendia, Jean-Marie Mottu, Gerson Sunyé, and Manuel Wimmer
(IMT Atlantique, France; Nantes Université, France; École Centrale Nantes, France; JKU Linz, Austria)
@InProceedings{SLE22p401,
author = {Faezeh Khorram and Erwan Bousse and Antonio Garmendia and Jean-Marie Mottu and Gerson Sunyé and Manuel Wimmer},
title = {From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {401-400},
doi = {10.1145/3567512.3567532},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
SLE '22: "Yet Another Generating Method ..."
Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles
Tetsuro Yamazaki, Tomoki Nakamaru, and Shigeru Chiba
(University of Tokyo, Japan)
@InProceedings{SLE22p421,
author = {Tetsuro Yamazaki and Tomoki Nakamaru and Shigeru Chiba},
title = {Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {421-420},
doi = {10.1145/3567512.3567533},
year = {2022},
}
Publisher's Version
SLE '22: "Specializing Scope Graph Resolution ..."
Specializing Scope Graph Resolution Queries
Aron Zwaan
(Delft University of Technology, Netherlands)
@InProceedings{SLE22p221,
author = {Aron Zwaan},
title = {Specializing Scope Graph Resolution Queries},
booktitle = {Proc.\ SLE},
publisher = {ACM},
pages = {221-220},
doi = {10.1145/3567512.3567523},
year = {2022},
}
Publisher's Version
Artifacts Reusable