Program

Schedule

Thursday, October 16
8:30 Registration
Session 1: Text
9:00 High fidelity source to source transformations with parse tree diff Jurgen Vinju
9:30 Protostar: an AST solution for ANTLR4 and LionWeb Alessio Stalla
10:00 Rejuvenating a 40y old DSL environment Davy Landman
10:30 Coffee break
Session 2: Apply
11:00 Apricot: Collaborative Modeling for SysML2 Pedro J. Molina, PhD
11:30 Leveraging a functional database in language engineering: the case of specifying product behavior. Jennek Geels, Pieter Verduin
12:00 Applying DSL methodology to digital hardware design: a case study of an AI accelerator Luca De Santis
12:30 Introducing Coco: a programming language designed for making formal verification accessible Thomas Gibson-Robinson, Alexander Darmonski
13:00 Lunch
Session 3: Bridge
14:30 Bridging Worlds: Real-time Synchronization between MPS and Web Apps with Modelix Alexei Quapp
15:00 LionWeb’s delta protocol: incremental model changes LionWeb initiative
15:30 Making DSLs conversable Krishna Narasimhan
16:00 Integrated graphical and textual modelling using GLSP and Langium Andreas Hell, Dominik Bork, BoFan Zhang, Steffen Zschaler
16:10 LZA-Editor: Accelerating Cloud Migrations with Compliance Pedro J. Molina
16:20 jjodel: Real-Time Rooms for Collaborative Modeling Antonio Bucchiarone, Juri Di Rocco, Damiano Di Vincenzo, Alfonso Pierantonio
16:30 Coffee break
Session 4: Edit
17:00 Freon-Powered: Crafting Web-Native DSL Editors That Wow Jos Warmer
17:30 Building Visual Models with Daga Javier Centeno Vega
18:00 Jjodel and Layout-Sensitive Notation: Ensuring Semantic Integrity Beyond Topology Alfonso Pierantonio, Antonio Bucchiarone, Antonio Cicchetti, Juri Di Rocco, Damiano Di Vincenzo
Friday, October 17
8:30 Registration
Session 5: Live
9:00 SpaceTime Programming: Live and Omniscient Exploration of Code and Execution Jean-Baptiste Doderlein
9:30 Omniscient Debugging for Change-Based DSLs Riemer van Rozen and Jakub Kaşıkcı
10:00 Grammar of Forms Herman Peeren
10:10 SysML v2 language in LionWeb Ulyana Tikhonova
10:20 CPSLint: A Domain-Specific Language Enabling Cyber-Physical Systems Dataset Validation and Sanitisation Uraz Odyurt, Ömer Sayilir, Vadim Zaytsev
10:30 Coffee break
Session 6: Meta
11:00 The Freon Scoping Meta-Language, A Novel and Simple Approach to Defining Name-Binding Rules for Domain-Specific Languages Anneke Kleppe
11:30 Meta-Generators in JetBrains MPS realized with the MPS Generator Language Torsten Görg
12:00 CoCoCoLa — Taste the Filtering Nhat Bui
12:30 Nelumbo Logic Meta Language Wim Bast
13:00 Lunch