SPLASH Workshop/Symposium Events 2022
2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 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 
(University of Tokyo, Japan)

Publisher's Version

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

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

Publisher's Version

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

Publisher's Version Info

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

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)

Publisher's Version

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

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

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

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

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

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

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)

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)

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)

Publisher's Version Published Artifact 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)

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)

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)

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)

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)

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)

Publisher's Version Published Artifact Info 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)

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)

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)

Publisher's Version