SPLASH 2021 (series) / SLE 2021 (series) /
SLE 2021 Program
This is the SLE 2021 program - see the full program for SPLASH 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 17 OctDisplayed time zone: Central Time (US & Canada) change
Sun 17 Oct
Displayed time zone: Central Time (US & Canada) change
07:40 - 09:00 | |||
07:40 15mTalk | A Concurrency Model for JavaScript with Cooperative CancellationVirtual SLE | ||
07:55 15mTalk | There Is More Than One Way to Zen Your PythonVirtual SLE | ||
08:10 15mTalk | Getting Grammars into Shape for Block-based EditorsVirtual SLE Mauricio Verano Merino Eindhoven University of Technology, Tom Beckmann Hasso Plattner Institute, Tijs van der Storm CWI; University of Groningen, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, Jurgen Vinju CWI; Eindhoven University of Technology Pre-print | ||
08:25 15mTalk | Extracting The Power of Dependent TypesVirtual GPCE | ||
08:40 20mLive Q&A | Discussion, Questions, Answers GPCE | ||
09:00 - 10:20 | |||
09:00 20mDay opening | SLE/GPCE Joint WelcomeVirtual GPCE Coen De Roover Vrije Universiteit Brussel, Emma Söderberg Lund University, Dimitris Kolovos University of York | ||
09:20 30mKeynote | SLE Keynote - Integrating Usability into Programming Language DesignIn-PersonKeynote SLE Jonathan Aldrich Carnegie Mellon University | ||
09:50 15mTalk | Monilogging for Executable Domain-Specific LanguagesVirtual SLE Dorian Leroy University of Rennes 1, Inria, France, Benoît Lelandais CEA/DAM/DIF, France, Marie-Pierre Oudot CEA/DAM/DIF, France, Benoit Combemale University of Rennes; Inria; IRISA Pre-print | ||
10:05 8mTalk | Vision: The Next 700 Language WorkbenchesVirtual SLE Mikhail Barash University of Bergen | ||
10:13 7mLive Q&A | Discussion, Questions, Answers GPCE | ||
13:50 - 15:10 | |||
13:50 15mTalk | A Variational Database Management SystemVirtual GPCE Parisa Ataei Oregon State University, Fariba Khan Oregon State University, Eric Walkingshaw Unaffiliated | ||
14:05 15mTalk | The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and TimeVirtual GPCE Gabriela Karoline Michelon Johannes Kepler University Linz, Wesley Assunção Pontifical Catholic University of Rio de Janeiro (PUC-Rio), David Obermann Johannes Kepler University Linz, Lukas Linsbauer TU Braunschweig, Paul Grünbacher Johannes Kepler University Linz, Austria, Alexander Egyed Johannes Kepler University Linz | ||
14:20 15mTalk | Towards Supporting SPL Engineering in Low-Code Platforms using a DSL ApproachVirtual GPCE Alexandre Bragança Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Isabel Azevedo Games, Interaction and Learning Technologies (GILT) - Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Nuno Bettencourt Interdisciplinary Studies Research Center (ISRC) – Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Carlos Morais NumbersBelieve, Diogo Teixeira NumbersBelieve, David Caetano NumbersBelieve | ||
14:35 15mTalk | On-Stack Replacement for Program Generators and Source-to-Source CompilersVirtual GPCE | ||
14:50 20mLive Q&A | Discussion, Questions, Answers GPCE | ||
15:40 - 17:00 | |||
15:40 15mTalk | A Concurrency Model for JavaScript with Cooperative CancellationVirtual SLE | ||
15:55 15mTalk | There Is More Than One Way to Zen Your PythonVirtual SLE | ||
16:10 15mTalk | Getting Grammars into Shape for Block-based EditorsVirtual SLE Mauricio Verano Merino Eindhoven University of Technology, Tom Beckmann Hasso Plattner Institute, Tijs van der Storm CWI; University of Groningen, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, Jurgen Vinju CWI; Eindhoven University of Technology Pre-print | ||
16:25 15mTalk | Extracting The Power of Dependent TypesVirtual GPCE | ||
16:40 20mLive Q&A | Discussion, Questions, Answers GPCE | ||
17:00 - 18:20 | |||
17:00 20mDay opening | SLE/GPCE Joint WelcomeVirtual GPCE Coen De Roover Vrije Universiteit Brussel, Emma Söderberg Lund University, Dimitris Kolovos University of York | ||
17:20 30mKeynote | SLE Keynote - Integrating Usability into Programming Language DesignIn-PersonKeynote SLE Jonathan Aldrich Carnegie Mellon University | ||
17:50 15mTalk | Monilogging for Executable Domain-Specific LanguagesVirtual SLE Dorian Leroy University of Rennes 1, Inria, France, Benoît Lelandais CEA/DAM/DIF, France, Marie-Pierre Oudot CEA/DAM/DIF, France, Benoit Combemale University of Rennes; Inria; IRISA Pre-print | ||
18:05 8mTalk | Vision: The Next 700 Language WorkbenchesVirtual SLE Mikhail Barash University of Bergen | ||
18:13 7mLive Q&A | Discussion, Questions, Answers GPCE | ||
21:50 - 23:10 | |||
21:50 15mTalk | A Variational Database Management SystemVirtual GPCE Parisa Ataei Oregon State University, Fariba Khan Oregon State University, Eric Walkingshaw Unaffiliated | ||
22:05 15mTalk | The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and TimeVirtual GPCE Gabriela Karoline Michelon Johannes Kepler University Linz, Wesley Assunção Pontifical Catholic University of Rio de Janeiro (PUC-Rio), David Obermann Johannes Kepler University Linz, Lukas Linsbauer TU Braunschweig, Paul Grünbacher Johannes Kepler University Linz, Austria, Alexander Egyed Johannes Kepler University Linz | ||
22:20 15mTalk | Towards Supporting SPL Engineering in Low-Code Platforms using a DSL ApproachVirtual GPCE Alexandre Bragança Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Isabel Azevedo Games, Interaction and Learning Technologies (GILT) - Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Nuno Bettencourt Interdisciplinary Studies Research Center (ISRC) – Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Carlos Morais NumbersBelieve, Diogo Teixeira NumbersBelieve, David Caetano NumbersBelieve | ||
22:35 15mTalk | On-Stack Replacement for Program Generators and Source-to-Source CompilersVirtual GPCE | ||
22:50 20mLive Q&A | Discussion, Questions, Answers GPCE | ||
Mon 18 OctDisplayed time zone: Central Time (US & Canada) change
Mon 18 Oct
Displayed time zone: Central Time (US & Canada) change
07:40 - 09:00 | |||
07:40 15mTalk | Leveraging Relational Concept Analysis for Automated Feature Location in Software Product LinesVirtual GPCE Nicolas Hlad LIRMM, CNRS, Bérénice Lemoine LIRMM, CNRS, Marianne Huchard LIRMM, Abdelhak Seriai LIRMM, CNRS and University of Montpellier | ||
07:55 15mTalk | FIDDLR: Streamlining Reuse with Concern-Specific Modelling LanguagesVirtual SLE Maximilian Schiedermeier McGill University, Jörg Kienzle McGill University, Canada, Bettina Kemme McGill University, Canada | ||
08:10 15mTalk | Lifted Termination Analysis by Abstract Interpretation and its ApplicationsVirtual GPCE Aleksandar S. Dimovski Mother Teresa University, Skopje | ||
08:25 15mTalk | Delta-based Verification of Software Product FamiliesVirtual GPCE Marco Scaletta Technische Universität Darmstadt, Reiner Hähnle Technical University of Darmstadt, Dominic Steinhöfel CISPA Helmholtz Center for Information Security, Richard Bubel Technische Universität Darmstadt | ||
08:40 20mLive Q&A | Discussion, Questions and Answers SLE | ||
10:50 - 12:10 | SLE/GPCE Session 6SLE / GPCE at Zurich C +8h Chair(s): Vadim Zaytsev University of Twente, Netherlands | ||
10:50 15mTalk | Fast Incremental PEG ParsingVirtual SLE | ||
11:05 15mTalk | Faster Reachability Analysis for LR(1) ParsersVirtual SLE | ||
11:20 15mTalk | Automatic Grammar RepairVirtual SLE Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa | ||
11:35 8mTalk | Vision: Bias in Systematic Grammar-Based Test Suite Construction AlgorithmsVirtual SLE Christoff Rossouw Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa | ||
11:43 8mTalk | Compiling pattern matching to in-place modificationsVirtual GPCE | ||
11:51 19mLive Q&A | Discussion, Questions and Answers SLE | ||
15:40 - 17:00 | |||
15:40 15mTalk | Leveraging Relational Concept Analysis for Automated Feature Location in Software Product LinesVirtual GPCE Nicolas Hlad LIRMM, CNRS, Bérénice Lemoine LIRMM, CNRS, Marianne Huchard LIRMM, Abdelhak Seriai LIRMM, CNRS and University of Montpellier | ||
15:55 15mTalk | FIDDLR: Streamlining Reuse with Concern-Specific Modelling LanguagesVirtual SLE Maximilian Schiedermeier McGill University, Jörg Kienzle McGill University, Canada, Bettina Kemme McGill University, Canada | ||
16:10 15mTalk | Lifted Termination Analysis by Abstract Interpretation and its ApplicationsVirtual GPCE Aleksandar S. Dimovski Mother Teresa University, Skopje | ||
16:25 15mTalk | Delta-based Verification of Software Product FamiliesVirtual GPCE Marco Scaletta Technische Universität Darmstadt, Reiner Hähnle Technical University of Darmstadt, Dominic Steinhöfel CISPA Helmholtz Center for Information Security, Richard Bubel Technische Universität Darmstadt | ||
16:40 20mLive Q&A | Discussion, Questions and Answers SLE | ||
18:50 - 20:10 | SLE/GPCE Session 6GPCE / SLE at Zurich C Chair(s): Ran Wei Dalian University of Technology, Paddy Krishnan Oracle Labs, Australia | ||
18:50 15mTalk | Fast Incremental PEG ParsingVirtual SLE | ||
19:05 15mTalk | Faster Reachability Analysis for LR(1) ParsersVirtual SLE | ||
19:20 15mTalk | Automatic Grammar RepairVirtual SLE Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa | ||
19:35 8mTalk | Vision: Bias in Systematic Grammar-Based Test Suite Construction AlgorithmsVirtual SLE Christoff Rossouw Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa | ||
19:43 8mTalk | Compiling pattern matching to in-place modificationsVirtual GPCE | ||
19:51 19mLive Q&A | Discussion, Questions and Answers SLE | ||
21:50 - 23:10 | |||
21:50 15mTalk | A DSL for Explanatory Decision MakingVirtual GPCE | ||
22:05 15mTalk | SEALS: A framework for building Self-Adaptive Virtual MachinesVirtual SLE Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University | ||
22:20 15mTalk | Understanding and Improving Model-Driven IoT Systems Through Accompanying Digital TwinsVirtual GPCE Jörg Christian Kirchhof RWTH Aachen University, Lukas Malcher RWTH Aachen University, Bernhard Rumpe RWTH Aachen | ||
22:35 15mTalk | Artifact and Reference Models for Generative AI Frameworks and Build SystemsVirtual GPCE Abdallah Atouani RWTH Aachen University, Jörg Christian Kirchhof RWTH Aachen University, Evgeny Kusmenko RWTH Aachen University, Bernhard Rumpe RWTH Aachen | ||
22:50 20mLive Q&A | Discussion, Questions and Answers SLE | ||