STAF 2025 (series) / SLE 2025 (series) /
SLE 2025 Program
This is the SLE 2025 program - see the full program for STAF 2025 and all affiliated events.
Filter Program
Dates
Thu 12 Jun 2025
Fri 13 Jun 2025
Rooms
B 233
M 001
Tracks
SLE
Badges
Artifact Available
Artifact Functional
Artifact Reusable
Your Program
Nothing to filter
Thu 12 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 12 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 15mDay opening | SLE Welcome SLE 2025 G: Görel Hedin Lund University, P: Regina Hebig Universität Rostock, Rostock, Germany, P: Vadim Zaytsev University of Twente | ||
09:15 75mKeynote | A New DSL Textbook in Town! SLE 2025 Pre-print | ||
11:00 - 12:30 | SLE Session 1: Parsing and Attribute GrammarsSLE 2025 at M 001 Chair(s): Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany | ||
11:00 22mTalk | Handling Grammar Cycles in the 1997 Standard ML Definition SLE 2025 Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway University of London, UK Pre-print | ||
11:22 22mTalk | Property-based Testing of Attribute Grammars SLE 2025 José Nuno Macedo University of Minho, Marcos Viera University of the Republic, Uruguay, João Saraiva HASLab/INESC TEC, University of Minho | ||
11:45 22mTalk | Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars SLE 2025 Luke Bessant University of Minnesota, Twin Cities, Eric Van Wyk University of Minnesota, Twin Cities Pre-print | ||
12:07 22mTalk | Boosting Parallel Parsing through Cyclic Operator Precedence Grammars SLE 2025 Michele Chiari TU Wien, Michele Giornetta Politecnico di Milano, Dino Mandrioli Politecnico di Milano, Matteo Pradella Politecnico di Milano, Italy Pre-print | ||
13:30 - 15:00 | SLE Session 2: Language and Framework DesignSLE 2025 at M 001 Chair(s): Elizabeth Scott Royal Holloway University of London | ||
13:30 22mTalk | A Model-Driven Approach to Design, Generation, and Deployment of GUI Component Libraries SLE 2025 Arkadii Gerasimov RWTH Aachen University, Nico Jansen Software Engineering, RWTH Aachen University, Judith Michael University of Regensburg, Bernhard Rumpe RWTH Aachen University, Sebastian Will RWTH Aachen Link to publication DOI | ||
13:52 22mTalk | TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly SLE 2025 José Pedro Ferreira University of Porto, Portugal, João Bispo Faculdade de Engenharia e Universidade do Porto, Susana Lima | ||
14:15 22mTalk | Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) Standardization SLE 2025 Philipp Riemer Leipzig University, Yury Nikulin University of Turku, Ashley Claymore , Mikhail Barash University of Bergen | ||
14:37 22mTalk | AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP support SLE 2025 Georg Hinkel RheinMain University of Applied Sciences, Wiesbaden, Germany, Alexander Hert RheinMain University of Applied Sciences, Wiesbaden, Germany, Niklas Hettler RheinMain University of Applied Sciences, Wiesbaden, Germany, Kevin Weinert RheinMain University of Applied Sciences, Wiesbaden, Germany | ||
15:30 - 17:00 | SLE Session 3: Language WorkbenchesSLE 2025 at M 001 Chair(s): Jeff Smits Delft University of Technology | ||
15:30 25mTalk | Lessons Learned from Developing the MontiCore Language Workbench: Challenges of Modular Language Design SLE 2025 Alex Lüpges RWTH Aachen, Nico Jansen Software Engineering, RWTH Aachen University, Bernhard Rumpe RWTH Aachen University | ||
15:55 20mTalk | Integrating Model Checking into a Live Modeling Environment SLE 2025 Joeri Exelmans , Ciprian Teodorov ENSTA Bretagne, Hans Vangheluwe University of Antwerp and Flanders Make | ||
16:15 15mAwards | SLE Awards SLE 2025 S: Eric Van Wyk University of Minnesota, Twin Cities, Marjan Mernik University of Maribor, P: Regina Hebig Universität Rostock, Rostock, Germany, P: Vadim Zaytsev University of Twente | ||
16:30 30mTalk | SLE MIP Talk SLE 2025 | ||
17:00 - 18:30 | |||
17:00 90mMeeting | Closed SLE Steering Committee Meeting SLE 2025 | ||
Fri 13 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 13 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 15mDay opening | SLE Second Day SLE 2025 | ||
09:15 75mKeynote | Can Programming Be Liberated from the Functional Style? SLE 2025 | ||
11:00 - 12:30 | SLE Session 4: Debugging and Dynamic CheckingSLE 2025 at M 001 Chair(s): Eric Van Wyk University of Minnesota, Twin Cities | ||
11:00 22mTalk | Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages SLE 2025 Damian Frölich University of Amsterdam, Tommaso Pacciani University of Amsterdam, L. Thomas van Binsbergen University of Amsterdam Pre-print | ||
11:22 22mTalk | Dynamic Dependency-Based Purity Checking SLE 2025 Anton Risberg Alaküla Lund University, Niklas Fors Lund University, Christoph Reichenbach Lund University Link to publication DOI | ||
11:45 45mPanel | SLE Panel: The Future of SLE SLE 2025 Thomas Degueule CNRS, Ralf Lämmel Universität Koblenz, Jeff Smits Delft University of Technology, Friedrich Steimann Fernuniversität in Hagen, Eric Van Wyk University of Minnesota, Twin Cities, Regina Hebig Universität Rostock, Rostock, Germany | ||
13:30 - 15:00 | |||
13:30 22mTalk | Optimize Effect Handling for Tail-resumption with Stack Unwinding SLE 2025 | ||
13:52 22mTalk | Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair SLE 2025 Aleksandar S. Dimovski Mother Teresa University, Skopje | ||
14:15 22mTalk | (Semantic) Feature Model Differences with (Q)SAT SLE 2025 Simone Heisinger JKU Linz, Maximilian Heisinger JKU Linz, Martina Seidl Johannes Kepler University Linz | ||
14:37 22mTalk | Detecting Resource Leaks on Android with Alpakka SLE 2025 Gustavo Amorim Santos Faculty of Engineering, University of Porto, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, João Bispo Faculdade de Engenharia e Universidade do Porto Pre-print | ||