| |
Ali, Qurat ul ain
|
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
Article: splashws22slemain-p29-p doi:10.1145/3567512.3567521
|
| |
Aotani, Tomoyuki |
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
Article: splashws22slemain-p55-p doi:10.1145/3567512.3567531
|
| |
Aranega, Vincent |
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
Article: splashws22slemain-p20-p doi:10.1145/3567512.3567517
|
| |
Barais, Olivier
|
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
Article: splashws22slemain-p46-p doi:10.1145/3567512.3567527
|
| |
Barmpis, Konstantinos |
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
Article: splashws22slemain-p29-p doi:10.1145/3567512.3567521
|
| |
Beckmann, Tom |
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
Article: splashws22slemain-p32-p doi:10.1145/3567512.3567522
|
| |
Bertram, Vincent |
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
Article: splashws22slemain-p62-p doi:10.1145/3567512.3567534
|
| |
Binder, Simon |
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
Article: splashws22slemain-p44-p doi:10.1145/3567512.3567526
|
| |
Boß, Miriam |
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
Article: splashws22slemain-p62-p doi:10.1145/3567512.3567534
|
| |
Boukham, Houda |
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
Article: splashws22slemain-p2-p doi:10.1145/3567512.3567513
|
| |
Bousse, Erwan |
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
Article: splashws22slemain-p59-p doi:10.1145/3567512.3567532
|
| |
Chen, Zilin
|
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
Article: splashws22slemain-p27-p doi:10.1145/3567512.3567520
|
| |
Chiadmi, Dalila |
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
Article: splashws22slemain-p2-p doi:10.1145/3567512.3567513
|
| |
Chiba, Shigeru |
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
Article: splashws22slemain-key1-p doi:10.1145/3567512.3571831
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
Article: splashws22slemain-p60-p doi:10.1145/3567512.3567533
|
| |
Cimini, Matteo |
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
Article: splashws22slemain-p7-p doi:10.1145/3567512.3567514
|
| |
Cockx, Jesper |
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
Article: splashws22slemain-p23-p doi:10.1145/3567512.3567519
|
| |
Combemale, Benoit |
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
Article: splashws22slemain-p46-p doi:10.1145/3567512.3567527
|
| |
Costiou, Steven |
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
Article: splashws22slemain-p20-p doi:10.1145/3567512.3567517
|
| |
Denker, Marcus
|
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
Article: splashws22slemain-p20-p doi:10.1145/3567512.3567517
|
| |
Donat-Bouillud, Pierre |
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
Article: splashws22slemain-p52-p doi:10.1145/3567512.3567530
|
| |
Dwars, Martijn |
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
Article: splashws22slemain-p2-p doi:10.1145/3567512.3567513
|
| |
Fors, Niklas
|
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
Article: splashws22slemain-p40-p doi:10.1145/3567512.3567525
|
| |
Franke, Björn |
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
Article: splashws22slemain-p48-p doi:10.1145/3567512.3567528
|
| |
Freitag, Marius |
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
Article: splashws22slemain-p15-p doi:10.1145/3567512.3567516
|
| |
Frölich, Damian |
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
Article: splashws22slemain-p46-p doi:10.1145/3567512.3567527
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
Article: splashws22slemain-p50-p doi:10.1145/3567512.3567529
|
| |
Garmendia, Antonio
|
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
Article: splashws22slemain-p59-p doi:10.1145/3567512.3567532
|
| |
Gerasimou, Simos |
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
Article: splashws22slemain-p67-p doi:10.1145/3567512.3567535
|
| |
Hartman, Toine
|
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
Article: splashws22slemain-p23-p doi:10.1145/3567512.3567519
|
| |
Hedin, Görel |
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
Article: splashws22slemain-p40-p doi:10.1145/3567512.3567525
|
| |
Heiser, Gernot |
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
Article: splashws22slemain-p27-p doi:10.1145/3567512.3567520
|
| |
Hermans, Felienne |
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
Article: splashws22slemain-p38-p doi:10.1145/3567512.3567524
|
| |
Hirschfeld, Robert |
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
Article: splashws22slemain-p32-p doi:10.1145/3567512.3567522
|
| |
Jahanbin, Sorour
|
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
Article: splashws22slemain-p67-p doi:10.1145/3567512.3567535
|
| |
Jeanjean, Pierre |
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
Article: splashws22slemain-p46-p doi:10.1145/3567512.3567527
|
| |
Keller, Gabriele
|
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
Article: splashws22slemain-p27-p doi:10.1145/3567512.3567520
|
| |
Kernig, Svenja |
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
Article: splashws22slemain-p44-p doi:10.1145/3567512.3567526
|
| |
Khorram, Faezeh |
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
Article: splashws22slemain-p59-p doi:10.1145/3567512.3567532
|
| |
Klein, Gerwin |
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
Article: splashws22slemain-p27-p doi:10.1145/3567512.3567520
|
| |
Kleppe, Anneke |
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
Article: splashws22slemain-p9-p doi:10.1145/3567512.3567515
|
| |
Kolovos, Dimitris |
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
Article: splashws22slemain-p29-p doi:10.1145/3567512.3567521
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
Article: splashws22slemain-p67-p doi:10.1145/3567512.3567535
|
| |
Křikava, Filip |
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
Article: splashws22slemain-p52-p doi:10.1145/3567512.3567530
|
| |
Kusmenko, Evgeny |
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
Article: splashws22slemain-p62-p doi:10.1145/3567512.3567534
|
| |
Lai, Joey
|
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
Article: splashws22slemain-p46-p doi:10.1145/3567512.3567527
|
| |
Li, Zhibo |
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
Article: splashws22slemain-p48-p doi:10.1145/3567512.3567528
|
| |
Lubis, Luthfan Anshar |
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
Article: splashws22slemain-p55-p doi:10.1145/3567512.3567531
|
| |
Masuhara, Hidehiko
|
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
Article: splashws22slemain-p55-p doi:10.1145/3567512.3567531
|
| |
Mattis, Toni |
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
Article: splashws22slemain-p32-p doi:10.1145/3567512.3567522
|
| |
Mezini, Mira |
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
Article: splashws22slemain-p44-p doi:10.1145/3567512.3567526
|
| |
Morton, Magnus |
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
Article: splashws22slemain-p48-p doi:10.1145/3567512.3567528
|
| |
Mottu, Jean-Marie |
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
Article: splashws22slemain-p59-p doi:10.1145/3567512.3567532
|
| |
Nachmann, Imke Helene
|
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
Article: splashws22slemain-p62-p doi:10.1145/3567512.3567534
|
| |
Nakamaru, Tomoki |
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
Article: splashws22slemain-p60-p doi:10.1145/3567512.3567533
|
| |
Narasimhan, Krishna |
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
Article: splashws22slemain-p44-p doi:10.1145/3567512.3567526
|
| |
O'Connor, Liam
|
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
Article: splashws22slemain-p27-p doi:10.1145/3567512.3567520
|
| |
Pop, Adrian
|
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
Article: splashws22slemain-p40-p doi:10.1145/3567512.3567525
|
| |
Rein, Patrick
|
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
Article: splashws22slemain-p32-p doi:10.1145/3567512.3567522
|
| |
Risberg Alaküla, Anton |
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
Article: splashws22slemain-p40-p doi:10.1145/3567512.3567525
|
| |
Rizkallah, Christine |
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
Article: splashws22slemain-p27-p doi:10.1145/3567512.3567520
|
| |
Rumpe, Bernhard |
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
Article: splashws22slemain-p62-p doi:10.1145/3567512.3567534
|
| |
Smits, Jeff
|
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
Article: splashws22slemain-p23-p doi:10.1145/3567512.3567519
|
| |
Steimann, Friedrich |
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
Article: splashws22slemain-p15-p doi:10.1145/3567512.3567516
|
| |
Steuwer, Michel |
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
Article: splashws22slemain-p48-p doi:10.1145/3567512.3567528
|
| |
Sunyé, Gerson |
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
Article: splashws22slemain-p59-p doi:10.1145/3567512.3567532
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
Article: splashws22slemain-p67-p doi:10.1145/3567512.3567535
|
| |
Susarla, Partha |
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
Article: splashws22slemain-p27-p doi:10.1145/3567512.3567520
|
| |
Tanabe, Yudai
|
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
Article: splashws22slemain-p55-p doi:10.1145/3567512.3567531
|
| |
Trotta, Danilo |
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
Article: splashws22slemain-p62-p doi:10.1145/3567512.3567534
|
| |
Turcotte, Alexi |
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
Article: splashws22slemain-p52-p doi:10.1145/3567512.3567530
|
| |
Van Binsbergen, L. Thomas
|
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
Article: splashws22slemain-p46-p doi:10.1145/3567512.3567527
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
Article: splashws22slemain-p50-p doi:10.1145/3567512.3567529
|
| |
Van der Storm, Tijs |
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
Article: splashws22slemain-p38-p doi:10.1145/3567512.3567524
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
Article: splashws22slemain-p46-p doi:10.1145/3567512.3567527
|
| |
Van Wijk, Koen |
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
Article: splashws22slemain-p21-p doi:10.1145/3567512.3567518
|
| |
Verano Merino, Mauricio |
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
Article: splashws22slemain-p21-p doi:10.1145/3567512.3567518
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
Article: splashws22slemain-p46-p doi:10.1145/3567512.3567527
|
| |
Vitek, Jan |
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
Article: splashws22slemain-p52-p doi:10.1145/3567512.3567530
|
| |
Wachsmuth, Guido
|
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
Article: splashws22slemain-p2-p doi:10.1145/3567512.3567513
|
| |
Wachtmeister, Louis |
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
Article: splashws22slemain-p62-p doi:10.1145/3567512.3567534
|
| |
Warmer, Jos |
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
Article: splashws22slemain-p9-p doi:10.1145/3567512.3567515
|
| |
Wimmer, Manuel |
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
Article: splashws22slemain-p59-p doi:10.1145/3567512.3567532
|
| |
Yamazaki, Tetsuro
|
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
Article: splashws22slemain-p60-p doi:10.1145/3567512.3567533
|
| |
Zwaan, Aron
|
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
Article: splashws22slemain-p36-p doi:10.1145/3567512.3567523
|