SPLASH Workshop/Symposium Events 2022
2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2022)
Powered by
Conference Publishing Consulting

15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022), December 6–7, 2022, Auckland, New Zealand

SLE 2022 – Proceedings

Contents - Abstracts - Authors

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


Title Page
Welcome from the Chairs
SLE 2022 Organization


People Do Not Want to Learn a New Language But a New Library (Keynote)
Shigeru Chiba ORCID logo
(University of Tokyo, Japan)
Publisher's Version


A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing
Houda Boukham ORCID logo, Guido Wachsmuth ORCID logo, Martijn Dwars ORCID logo, and Dalila Chiadmi ORCID logo
(Ecole Mohammadia d'Ingénieurs, Morocco; Oracle Labs, Morocco; Oracle Labs, Switzerland)
Publisher's Version
Lang-n-Prove: A DSL for Language Proofs
Matteo Cimini ORCID logo
(University of Massachusetts Lowell, USA)
Publisher's Version
Freon: An Open Web Native Language Workbench
Jos Warmer ORCID logo and Anneke Kleppe ORCID logo
(Independent, Netherlands)
Publisher's Version Info
The Semantics of Plurals
Friedrich Steimann ORCID logo and Marius Freitag ORCID logo
(Fernuniversität in Hagen, Germany)
Publisher's Version
Reflection as a Tool to Debug Objects
Steven Costiou ORCID logo, Vincent Aranega ORCID logo, and Marcus Denker ORCID logo
(University of Lille, France; Inria, France; CNRS, France; Centrale Lille, France; UMR 9189 CRIStAL, France)
Publisher's Version
Workbench for Creating Block-Based Environments
Mauricio Verano Merino ORCID logo and Koen van Wijk ORCID logo
(Vrije Universiteit Amsterdam, Netherlands; ICT, Netherlands)
Publisher's Version Artifacts Functional
Optimising First-Class Pattern Matching
Jeff Smits ORCID logo, Toine Hartman ORCID logo, and Jesper Cockx ORCID logo
(Delft University of Technology, Netherlands; Independent, Netherlands)
Publisher's Version Artifacts Functional
Property-Based Testing: Climbing the Stairway to Verification
Zilin Chen ORCID logo, Christine Rizkallah ORCID logo, Liam O'ConnorORCID logo, Partha SusarlaORCID logo, Gerwin Klein ORCID logo, Gernot Heiser ORCID logo, and Gabriele Keller ORCID logo
(UNSW, Australia; University of Melbourne, Australia; University of Edinburgh, UK; Independent, Australia; Proofcraft, Australia; Utrecht University, Netherlands)
Publisher's Version Artifacts Reusable
Selective Traceability for Rule-Based Model-to-Model Transformations
Qurat ul ain Ali ORCID logo, Dimitris KolovosORCID logo, and Konstantinos BarmpisORCID logo
(University of York, UK)
Publisher's Version
Partial Parsing for Structured Editors
Tom Beckmann ORCID logo, Patrick Rein ORCID logo, Toni Mattis ORCID logo, and Robert Hirschfeld ORCID logo
(University of Potsdam, Germany; Hasso Plattner Institute, Germany)
Publisher's Version
Specializing Scope Graph Resolution Queries
Aron Zwaan ORCID logo
(Delft University of Technology, Netherlands)
Publisher's Version Artifacts Reusable
Gradual Grammars: Syntax in Levels and Locales
Tijs van der Storm ORCID logo and Felienne Hermans ORCID logo
(CWI, Netherlands; University of Groningen, Netherlands; Vrije Universiteit Amsterdam, Netherlands)
Publisher's Version Artifacts Reusable
Property Probes: Source Code Based Exploration of Program Analysis Results
Anton Risberg Alaküla ORCID logo, Görel Hedin ORCID logo, Niklas Fors ORCID logo, and Adrian Pop ORCID logo
(Lund University, Sweden; Linköping University, Sweden)
Publisher's Version Artifacts Reusable
jGuard: Programming Misuse-Resilient APIs
Simon Binder ORCID logo, Krishna Narasimhan ORCID logo, Svenja Kernig ORCID logo, and Mira Mezini ORCID logo
(TU Darmstadt, Germany)
Publisher's Version Artifacts Functional
A Language-Parametric Approach to Exploratory Programming Environments
L. Thomas van BinsbergenORCID logo, Damian Frölich ORCID logo, Mauricio Verano Merino ORCID logo, Joey Lai ORCID logo, Pierre Jeanjean ORCID logo, Tijs van der Storm ORCID logo, Benoit Combemale ORCID logo, and Olivier Barais ORCID logo
(University of Amsterdam, Netherlands; Vrije Universiteit Amsterdam, Netherlands; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; CWI, Netherlands; University of Groningen, Netherlands)
Publisher's Version Artifacts Functional
Collection Skeletons: Declarative Abstractions for Data Collections
Björn Franke ORCID logo, Zhibo LiORCID logo, Magnus Morton ORCID logo, and Michel SteuwerORCID logo
(University of Edinburgh, UK; Huawei, UK)
Publisher's Version
iCoLa: A Compositional Meta-language with Support for Incremental Language Development
Damian Frölich ORCID logo and L. Thomas van BinsbergenORCID logo
(University of Amsterdam, Netherlands)
Publisher's Version
signatr: A Data-Driven Fuzzing Tool for R
Alexi Turcotte ORCID logo, Pierre Donat-BouilludORCID logo, Filip Křikava ORCID logo, and Jan Vitek ORCID logo
(Northeastern University, USA; Czech Technical University in Prague, Czechia)
Publisher's Version Artifacts Reusable
BatakJava: An Object-Oriented Programming Language with Versions
Luthfan Anshar Lubis ORCID logo, Yudai TanabeORCID logo, Tomoyuki Aotani ORCID logo, and Hidehiko MasuharaORCID logo
(Tokyo Institute of Technology, Japan; Mamezou, Japan)
Publisher's Version Artifacts Reusable
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
Faezeh Khorram ORCID logo, Erwan Bousse ORCID logo, Antonio Garmendia ORCID logo, Jean-Marie Mottu ORCID logo, Gerson Sunyé ORCID logo, and Manuel Wimmer ORCID logo
(IMT Atlantique, France; Nantes Université, France; École Centrale Nantes, France; JKU Linz, Austria)
Publisher's Version Info Artifacts Functional
Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles
Tetsuro Yamazaki ORCID logo, Tomoki NakamaruORCID logo, and Shigeru Chiba ORCID logo
(University of Tokyo, Japan)
Publisher's Version
Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
Vincent BertramORCID logo, Miriam BoßORCID logo, Evgeny KusmenkoORCID logo, Imke Helene NachmannORCID logo, Bernhard RumpeORCID logo, Danilo Trotta ORCID logo, and Louis WachtmeisterORCID logo
(RWTH Aachen University, Germany)
Publisher's Version
Partial Loading of Repository-Based Models through Static Analysis
Sorour Jahanbin ORCID logo, Dimitris KolovosORCID logo, Simos Gerasimou ORCID logo, and Gerson Sunyé ORCID logo
(University of York, UK; University of Nantes, France)
Publisher's Version

proc time: 5.11