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)

Publisher's Version Article: splashws22slemain-key1-p (type: Invited Talk) doi:10.1145/3567512.3571831

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)

Publisher's Version Article: splashws22slemain-p2-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567513

Lang-n-Prove: A DSL for Language Proofs
Matteo Cimini
(University of Massachusetts Lowell, USA)

Publisher's Version Article: splashws22slemain-p7-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567514

Freon: An Open Web Native Language Workbench
Jos Warmer and Anneke Kleppe
(Independent, Netherlands)

Publisher's Version Article: splashws22slemain-p9-p (type: Full Paper (Tool Paper: 5 pages + 1 page of references)) doi:10.1145/3567512.3567515

The Semantics of Plurals
Friedrich Steimann and Marius Freitag
(Fernuniversität in Hagen, Germany)

Publisher's Version Article: splashws22slemain-p15-p (type: Full Paper (SLEBoK: 20 pages, references and appendices included)) doi:10.1145/3567512.3567516

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)

Publisher's Version Article: splashws22slemain-p20-p (type: Full Paper (Tool Paper: 5 pages + 1 page of references)) doi:10.1145/3567512.3567517

Workbench for Creating Block-Based Environments
Mauricio Verano Merino and Koen van Wijk
(Vrije Universiteit Amsterdam, Netherlands; ICT, Netherlands)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: splashws22slemain-p21-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567518

Optimising First-Class Pattern Matching
Jeff Smits, Toine Hartman, and Jesper Cockx
(Delft University of Technology, Netherlands; Independent, Netherlands)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: splashws22slemain-p23-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567519

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)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: splashws22slemain-p27-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567520

Selective Traceability for Rule-Based Model-to-Model Transformations
Qurat ul ain Ali, Dimitris Kolovos, and Konstantinos Barmpis
(University of York, UK)

Publisher's Version Article: splashws22slemain-p29-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567521

Partial Parsing for Structured Editors
Tom Beckmann, Patrick Rein, Toni Mattis, and Robert Hirschfeld
(University of Potsdam, Germany; Hasso Plattner Institute, Germany)

Publisher's Version Article: splashws22slemain-p32-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567522

Specializing Scope Graph Resolution Queries
Aron Zwaan
(Delft University of Technology, Netherlands)

Publisher's Version Artifacts Reusable Article: splashws22slemain-p36-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567523

Gradual Grammars: Syntax in Levels and Locales
Tijs van der Storm and Felienne Hermans
(CWI, Netherlands; University of Groningen, Netherlands; Vrije Universiteit Amsterdam, Netherlands)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: splashws22slemain-p38-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567524

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)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: splashws22slemain-p40-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567525

jGuard: Programming Misuse-Resilient APIs
Simon Binder, Krishna Narasimhan, Svenja Kernig, and Mira Mezini
(TU Darmstadt, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: splashws22slemain-p44-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567526

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)

Publisher's Version Artifacts Functional Article: splashws22slemain-p46-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567527

Collection Skeletons: Declarative Abstractions for Data Collections
Björn Franke, Zhibo Li, Magnus Morton, and Michel Steuwer
(University of Edinburgh, UK; Huawei, UK)

Publisher's Version Article: splashws22slemain-p48-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567528

iCoLa: A Compositional Meta-language with Support for Incremental Language Development
Damian Frölich and L. Thomas van Binsbergen
(University of Amsterdam, Netherlands)

Publisher's Version Article: splashws22slemain-p50-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567529

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)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: splashws22slemain-p52-p (type: Full Paper (Tool Paper: 5 pages + 1 page of references)) doi:10.1145/3567512.3567530

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)

Publisher's Version Artifacts Reusable Article: splashws22slemain-p55-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567531

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)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: splashws22slemain-p59-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567532

Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles
Tetsuro Yamazaki, Tomoki Nakamaru, and Shigeru Chiba
(University of Tokyo, Japan)

Publisher's Version Article: splashws22slemain-p60-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567533

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)

Publisher's Version Article: splashws22slemain-p62-p (type: Full Paper (New Ideas / Vision Paper: 5 pages + 1 page of references)) doi:10.1145/3567512.3567534

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)

Publisher's Version Article: splashws22slemain-p67-p (type: Full Paper (12 pages + 2 page of appendices, references)) doi:10.1145/3567512.3567535

proc time: 0.05