SLE 2022 – Proceedings

15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)

Frontmatter

Keynotes

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

Papers

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

proc time: 0.74