SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand

One day, a student raised a question. I spent many years to learn a programming language. Why do you try to develop yet another language? I don’t wanna learn no more language. One is enough! My answer was, well, don’t you hate to learn a new library, either? People seem to accept learning a new library as necessary work although they might not be happy to learn a new language (they might not be very happy to learn a new library, either, but they seem much happier). However, a modern library is something we should consider as a programming language. During this talk, I will survey technology around language-like libraries, which are often called embedded domain specific languages. Then I will present my vision of where we, programming-language researchers, should go for further study.

Bio: Shigeru Chiba is Professor at Graduate School of Information Science and Technology, The University of Tokyo. After internship at XEROX Palo Alto Research Center, he received his PhD degree from The University of Tokyo in 1996. While doing research on programming languages, particularly, reflection, meta programming, and aspect orientation, he has been developing several software products. For example, his Java bytecode engineering library named Javassist has been widely used in both academia and industry. This work recently won AITO Test of Time Award 2000 in 2020. He is also the author of several Japanese books for practitioners and students.

Dates
Tracks
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 6 Dec

Displayed time zone: Auckland, Wellington change

08:45 - 08:57
SLE OpeningSLE at Seminar Room G007
Chair(s): Lola Burgueño University of Malaga, Walter Cazzola Università degli Studi di Milano
08:45
12m
Day opening
SLE Opening
SLE
Bernd Fischer Stellenbosch University, South Africa, Lola Burgueño University of Malaga, Walter Cazzola Università degli Studi di Milano
08:57 - 10:00
Session 1. Modeling Languages and TransformationSLE at Seminar Room G007
Chair(s): Takuo Watanabe Tokyo Institute of Technology
08:57
24m
Talk
Selective Traceability for Rule-Based Model-to-Model TransformationsResearch PaperIn Person
SLE
Qurat Ul Ain Ali University of York, Dimitris Kolovos University of York, Konstantinos Barmpis University of York
DOI
09:21
24m
Talk
Partial Loading of Repository-Based Models through Static AnalysisResearch PaperIn Person
SLE
Sorour Jahanbin University of York, Dimitris Kolovos University of York, Simos Gerasimou University of York, Gerson Sunyé University of Nantes
DOI
09:45
15m
Talk
Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSENew ideas / Vision paperIn Person
SLE
Vincent Bertram RWTH Aachen University, Miriam Boß RWTH Aachen University, Evgeny Kusmenko RWTH Aachen University, Imke Helene Nachmann RWTH Aachen University, Bernhard Rumpe RWTH Aachen University, Danilo Trotta RWTH Aachen University, Louis Wachtmeister RWTH Aachen University
DOI
10:30 - 12:00
Session 2. Language Workbenches and Programming EnvironmentsSLE at Seminar Room G007
Chair(s): Stefan Marr University of Kent
10:30
24m
Talk
Workbench for Creating Block-Based EnvironmentsResearch PaperIn Person
SLE
Mauricio Verano Merino Vrije Universiteit Amsterdam, Koen van Wijk ICT
DOI Pre-print
10:54
24m
Talk
Partial Parsing for Structured EditorsVirtualResearch Paper
SLE
Tom Beckmann University of Potsdam; Hasso Plattner Institute, Patrick Rein University of Potsdam; Hasso Plattner Institute, Toni Mattis University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute
DOI Pre-print
11:18
24m
Talk
A Language-Parametric Approach to Exploratory Programming EnvironmentsResearch PaperIn Person
SLE
L. Thomas van Binsbergen University of Amsterdam, Damian Frölich University of Amsterdam, Mauricio Verano Merino Vrije Universiteit Amsterdam, Joey Lai University of Amsterdam, Pierre Jeanjean Inria; University of Rennes; CNRS; IRISA, Tijs van der Storm CWI; University of Groningen, Benoit Combemale University of Rennes; Inria; CNRS; IRISA, Olivier Barais University of Rennes; Inria; CNRS; IRISA
DOI Pre-print
11:42
15m
Talk
Freon: An Open Web Native Language WorkbenchTool PaperVirtual
SLE
Jos Warmer Independent, Anneke Kleppe Independent
DOI
14:35 - 15:00
Session 3. DSLsSLE at Seminar Room G007
Chair(s): Yukiyoshi Kameyama University of Tsukuba
14:35
24m
Talk
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific LanguagesVirtualResearch Paper
SLE
Faezeh Khorram IMT Atlantique; Nantes Université; École Centrale Nantes, Erwan Bousse IMT Atlantique; Nantes Université; École Centrale Nantes, Antonio Garmendia JKU Linz, Jean-Marie Mottu IMT Atlantique; Nantes Université; École Centrale Nantes, Gerson Sunyé IMT Atlantique; Nantes Université; École Centrale Nantes, Manuel Wimmer JKU Linz
DOI Pre-print
15:30 - 17:10
Session 4. Programming Languages: Modularity, Composition and LibrariesSLE at Seminar Room G007
Chair(s): Jörg Kienzle McGill University, Canada
15:30
24m
Talk
Collection Skeletons: Declarative Abstractions for Data CollectionsResearch PaperIn Person
SLE
Björn Franke University of Edinburgh, Zhibo Li University of Edinburgh, Magnus Morton Huawei, Michel Steuwer University of Edinburgh
DOI
15:54
24m
Talk
iCoLa: A Compositional Meta-language with Support for Incremental Language DevelopmentResearch PaperIn Person
SLE
Damian Frölich University of Amsterdam, L. Thomas van Binsbergen University of Amsterdam
DOI Pre-print
16:18
24m
Talk
BatakJava: An Object-Oriented Programming Language with VersionsResearch PaperIn Person
SLE
Luthfan Anshar Lubis Tokyo Institute of Technology, Yudai Tanabe Tokyo Institute of Technology, Tomoyuki Aotani Mamezou, Hidehiko Masuhara Tokyo Institute of Technology
DOI
16:42
24m
Talk
Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining StylesVirtualResearch Paper
SLE
Tetsuro Yamazaki University of Tokyo, Tomoki Nakamaru University of Tokyo, Shigeru Chiba University of Tokyo
DOI

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

09:00 - 10:00
SLE KeynoteSLE Keynote / SLE at Seminar Room G007
Chair(s): Lola Burgueño University of Malaga, Walter Cazzola Università degli Studi di Milano
09:00
60m
Keynote
People do not want to learn a new language but a new libraryIn PersonKeynote
SLE Keynote
Shigeru Chiba University of Tokyo
DOI
10:00 - 10:30
10:00
30m
Coffee break
Coffee break
Catering and Social Events

10:30 - 12:00
Session 6. Language Implementation, Debugging and OptimizationSLE at Seminar Room G007
Chair(s): Marco Servetto Victoria University of Wellington
10:30
24m
Talk
A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph ProcessingVirtualResearch Paper
SLE
Houda Boukham Ecole Mohammadia d'Ingénieurs; Oracle Labs, Guido Wachsmuth Oracle Labs, Martijn Dwars Oracle Labs, Dalila Chiadmi Ecole Mohammadia d'Ingénieurs
DOI
10:54
24m
Talk
Optimising First-Class Pattern MatchingResearch PaperIn Person
SLE
Jeff Smits Delft University of Technology, Toine Hartman Independent, Jesper Cockx Delft University of Technology
DOI
11:18
24m
Talk
Specializing Scope Graph Resolution QueriesResearch PaperIn Person
SLE
Aron Zwaan Delft University of Technology
DOI
11:42
15m
Talk
Reflection as a Tool to Debug ObjectsTool PaperVirtual
SLE
Steven Costiou INRIA Lille, Vincent Aranega Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 - CRIStAL, Marcus Denker INRIA Lille
DOI
13:30 - 15:00
Session 7. Grammars, Parsing and TheorySLE at Seminar Room G007
Chair(s): Marjan Mernik University of Maribor
13:30
40m
Talk
The Semantics of PluralsVirtualSLE Body of Knowledge
SLE
Friedrich Steimann Fernuniversität in Hagen, Marius Freitag Fernuniversität in Hagen
DOI
14:10
24m
Talk
Gradual Grammars: Syntax in Levels and LocalesVirtualResearch Paper
SLE
Tijs van der Storm CWI; University of Groningen, Felienne Hermans Vrije Universiteit Amsterdam
DOI Pre-print Media Attached
14:34
24m
Talk
Property Probes: Source Code Based Exploration of Program Analysis ResultsIncludes DemoResearch PaperIn Person
SLE
Anton Risberg Alaküla Lund University, Görel Hedin Lund University, Niklas Fors Lund University, Adrian Pop Linköping University
DOI Media Attached File Attached
15:30 - 16:57
Session 8. Verification, Validation and TestingSLE at Seminar Room G007
Chair(s): David H. Lorenz Open University of Israel
15:30
24m
Talk
Lang-n-Prove: A DSL for Language ProofsVirtualResearch Paper
SLE
Matteo Cimini University of Massachusetts Lowell
DOI
15:54
24m
Talk
Property-Based Testing: Climbing the Stairway to VerificationResearch PaperIn Person
SLE
Zilin Chen UNSW, Christine Rizkallah University of Melbourne, Liam O'Connor University of Edinburgh, Partha Susarla Independent, Gerwin Klein Proofcraft; UNSW, Gernot Heiser UNSW, Gabriele Keller Utrecht University
DOI
16:18
24m
Talk
jGuard: Programming Misuse-Resilient APIsResearch PaperIn Person
SLE
Simon Binder TU Darmstadt, Krishna Narasimhan TU Darmstadt, Svenja Kernig TU Darmstadt, Mira Mezini TU Darmstadt
DOI
16:42
15m
Talk
signatr: A Data-Driven Fuzzing Tool for RTool PaperIn Person
SLE
Alexi Turcotte Northeastern University, Pierre Donat-Bouillud Czech Technical University in Prague, Filip Křikava Czech Technical University in Prague, Jan Vitek Northeastern University
DOI
16:58 - 17:10
SLE ClosingSLE at Seminar Room G007
Chair(s): Lola Burgueño University of Malaga, Walter Cazzola Università degli Studi di Milano
16:58
12m
Day closing
SLE Closing
SLE