SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 5 Dec

Displayed time zone: Auckland, Wellington change

09:00 - 10:00
Morning 1SPLASH-E at Seminar Room G125
Chair(s): Molly Feldman Oberlin College

The session is hybrid, with the first talk being in-person, and the second virtual. The physical venue G125 has video equipment for online presentation via airmeet. The SPLASH 2022 airmeet page is: https://tinyurl.com/splash2022virtual. Look for the SPLASH-E sessions there and bookmark them. For issues, use the airmeet chat if you are joining online, and look for the student volunteer Jiwon Park, if you in G125.

09:00
30m
Talk
Codehound: Helping Instructors Track Pedagogical Code Dependencies in Course MaterialsIn Person
SPLASH-E
Sam Lau University of California at San Diego, Philip Guo University of California at San Diego
DOI
09:30
30m
Talk
The Role of Abstraction in Introductory ProgrammingVirtual
SPLASH-E
Kezia Devathasan University of Victoria, Celina Berg University of Victoria, Daniela Damian University of Victoria
DOI
10:30 - 12:00
Morning 2SPLASH-E at Seminar Room G125
Chair(s): Martin Henz National University of Singapore

The session is hybrid, with the first talk being virtual (pre-recorded with live Q&A), and the second in-person. The physical venue G125 has video equipment for online presentation via airmeet. The SPLASH 2022 airmeet page is: https://tinyurl.com/splash2022virtual. Look for the SPLASH-E sessions there and bookmark them. For issues, use the airmeet chat if you are joining online, and look for the student volunteer Jiwon Park, if you in G125.

10:30
30m
Talk
Data Science Pedagogy to Support Industry, Governmental, and Research InitiativesPre-recorded
SPLASH-E
Kevin Dick Carleton University, Hoda Khalil Carleton University, Gabriel A. Wainer Carleton University
DOI
11:00
30m
Talk
Crossing Learning Thresholds Progressively via Active LearningIn Person
SPLASH-E
Sarnath Ramnath St. Cloud State University, Brahma Dathan Metropolitan State University
DOI
11:30
30m
Other
Discussion
SPLASH-E

13:30 - 15:00
Afternoon 1SPLASH-E at Seminar Room G125
Chair(s): Eli Tilevich Virginia Tech

The session is hybrid, with the first talk being virtual, and the second in-person. The physical venue G125 has video equipment for online presentation via airmeet. The SPLASH 2022 airmeet page is: https://tinyurl.com/splash2022virtual. Look for the SPLASH-E sessions there and bookmark them. For issues, use the airmeet chat if you are joining online, and look for the student volunteer Wang Chengpeng, if you in G125.

13:30
30m
Talk
Team Harmony before, during, and after COVID-19Virtual
SPLASH-E
Noa Heyl University of British Columbia, Elisa Baniassad University of British Columbia, Oluwakemi Ola University of British Columbia
DOI
14:00
30m
Talk
Expressions in Java: Essential, Prevalent, Neglected?In Person
SPLASH-E
Luca Chiodini USI Lugano, Igor Moreno Santos USI Lugano, Matthias Hauswirth USI Lugano
DOI
14:30
30m
Other
Discussion
SPLASH-E

15:30 - 17:00
Afternoon 2SPLASH-E at Seminar Room G125
Chair(s): Benjamin Lerner Northeastern University, United States

Both talks in this session are given in-person. The physical venue G125 has video equipment for online participation via airmeet. The SPLASH 2022 airmeet page is: https://tinyurl.com/splash2022virtual. Look for the SPLASH-E sessions there and bookmark them. For issues, use the airmeet chat if you are joining online, and look for the student volunteer Jiwon Park, if you in G125.

15:30
30m
Talk
Mio: A Block-Based Environment for Program DesignIn Person
SPLASH-E
Junya Nose SoftBank, Youyou Cong Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
DOI
16:00
30m
Talk
Evaluating the Quality of Student-Written Software Tests with Curated Mutation AnalysisIn Person
SPLASH-E
Braxton Hall University of British Columbia, Elisa Baniassad University of British Columbia
DOI
16:30
30m
Other
Discussion
SPLASH-E

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
13:30 - 14:35
GPCE KeynoteGPCE Keynote at Seminar Room G007
Chair(s): Bernhard Scholz The University of Sydney, Yukiyoshi Kameyama University of Tsukuba
13:30
65m
Keynote
Language Design meets Verifying CompilersIn PersonKeynote
GPCE Keynote
David J. Pearce ConsenSys
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: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