Publications
On the Soundness of Auto-completion Services for Dynamically Typed Languages. Paper at Generative Programming: Concepts and Experiences (GPCE) 2024, Presented at SPLASH 2024. Damian Frölich, L. Thomas van Binsbergen. DOI Preprint
Cooperative Specification via Composition Control. Paper at Software Language Engineering (SLE) 2024, Presented at SPLASH 2024. Christopher A. Esterhuyse, L. Thomas van Binsbergen. DOI Preprint
Bridging Incremental Programming and Complex Software Development Environments. Paper at Programming Abstractions and Interactive Notations, Tools, and Environments (GPCE) 2024, Presented at SPLASH 2024. Max Boksem, L. Thomas van Binsbergen. DOI Preprint
iCoLa+: An extensible meta-language with support for exploratory language development
Journal of Systems and Software, volume 211. Damian Frölich, L. Thomas van Binsbergen. 2024. DOI
Block-Based Platform for Defining Adaptation Rules for Automotive Systems Luigi Altamirano, Mauricio Verano Merino, and Ion Barosan In Proceedings of Programming Abstractions and Interactive Notations, Tools, and Environments (PAINT), 2024 preprint
LiveRec: Prototyping Probes by Framing Debug Protocols Jean-Baptiste Döderlein, Riemer van Rozen, and Tijs van der Storm In: The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 3, Article 16. publication
Schema Evolution in Interactive Programming Systems Jonathan Edwards, Tomas Petricek, Tijs van der Storm, and Geoffrey Litt In: The Art, Science, and Engineering of Programming, 2025, Vol. 9, Issue 1, Article 2. publication
There Is Only One Time in Software (Language) Engineering! (Keynote) Benoît Combemale. In Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2024.
Adaptive Structural Operational Semantics Gwendal Jouneaux, Damian Frölich, Olivier Barais, Benoit Combemale, Gurvan Le Guernic, Gunter Mussbacher, L. Thomas van Binsbergen In Proceedings of the International Conference on Software Language Engineering (SLE), 2023 preprint
Cascade: A Meta-Language for Change, Cause and Effect Riemer van Rozen In Proceedings of the International Conference on Software Language Engineering (SLE), 2023 preprint
Semantics Engineering with Concrete Syntax Tijs van der Storm In Eelco Visser Commemorative Symposium 2023: 29:1-29:11 publication
Game Engine Wizardry for Programming Mischief Riemer van Rozen In Proceedings of Programming Abstractions and Interactive Notations, Tools, and Environments (PAINT), 2023 preprint
iCoLa: A Compositional Meta-language with Support for Incremental Language Development
Damian Frölich, L. Thomas van Binsbergen
In Proceedings of the International Conference on Software Language Engineering (SLE), 2022
doi
preprint
Workbench for Creating Block-Based Environments
Mauricio Verano Merino, Koen van Wijk
In Proceedings of the International Conference on Software Language Engineering (SLE), 2022
doi
preprint
Suppose You Had Blocks within a Notebook
Mauricio Verano Merino, Juan Pablo Sáenz
In Proceedings of Programming Abstractions and Interactive Notations, Tools, and Environments (PAINT), 2022
doi
preprint
A Language-Parametric Approach to Exploratory Programming Environments
L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, Olivier Barais
In Proceedings of the International Conference on Software Language Engineering (SLE), 2022
doi
preprint
Making the Invisible Visible in Computational Notebooks
Mauricio Verano Merino, L. Thomas van Binsbergen, Mazyar Seraj
In Proceedings of the IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC), 2022
doi
preprint
Gradual Grammars: Syntax in Levels and Locales
Tijs van der Storm, Felienne Hermans
In Proceedings of the International Conference on Software Language Engineering (SLE), 2022
doi
preprint
SEALS: A framework for building Self-Adaptive Virtual Machines
Gwendal Jouneaux, Olivier Barais, Benoît Combemale, Gunter Mussbacher
In Proceedings of International Conference on Software Language Engineering (SLE), 2021
doi
preprint
Towards self-adaptable languages
Gwendal Jouneaux, Olivier Barais, Benoît Combemale, Gunter Mussbacher
In International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2021), 2021
doi
preprint
IDE as Code: Reifying Language Protocols as First-Class Citizens
Pierre Jeanjean, Benoît Combemale, Olivier Barais
In 14th Innovations in Software Engineering Conference (ISEC 2021), 2021
doi
preprint
Modeling with Mocking
Jouke Stoel, Tijs van der Storm, Jurgen J. Vinju
In 14th IEEE Conference on Software Testing, Verification and Validation (ICST 2021) 2021
doi
preprint
What you Always Wanted to Know but Could not Find About Block-Based Environments (under review)
Mauricio Verano Merino, Jurgen Vinju, Mark van den Brand. 2021
preprint
Projecting Textual Languages
Mauricio Verano Merino, Jur Bartels, Mark van den Brand, Tijs van der Storm, Eugen Schindler.
In Domain-Specific Languages in Practice: with JetBrains MPS, 2021
doi
preprint
Getting Grammars into Shape for Block-based Editors (SLE’21 distinguished artifact award)
Mauricio Verano Merino, Tom Beckmann, Tijs van der Storm, Robert Hirschfeld, Jurgen Vinju
In Proceedings of International Conference on Software Language Engineering (SLE), 2021
doi
artifact
preprint
A Generic Back-End for Exploratory Programming
Damian Frölich and L. Thomas van Binsbergen
In Proceedings of TFP, 2021
doi
Automatic generation of Truffle-based interpreters for Domain-Specific Languages
Manuel Leduc, Gwendal Jouneaux, Thomas Degueule, Gurvan Le Guernic, Olivier Barais, Benoit Combemale
In Journal of Object Technology, 2020.
doi
preprint
eFLINT: a Domain-Specific Language for Executable Norm Specifications
L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, and Tom van Engers
In Proceedings of GPCE, 2020.
doi preprint
A principled approach to REPL interpreters
L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, Olivier Barais
In Proceedings of the Onward! (Papers) at SPLASH, 2020.
doi preprint
Block-Based Syntax from Context-Free Grammars
Mauricio Verano Merino, Tijs van der Storm
In Proceedings of the 13th International Conference on Software Language Engineering (SLE), 2020.
doi preprint
Modular and distributed IDE
Fabien Coulon, Alex Auvolat, Benoit Combemale, David Bromberg, François Taïni, Olivier Barais, Noël Plouzeau
In Proceedings of the 13th International Conference on Software Language Engineering (SLE), 2020.
doi preprint
Purely Functional GLL Parsing
L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone
In Journal of Computer Languages (JCOLA). 2020.
doi preprint
Bacatá: Notebooks for DSLs, Almost for Free
Mauricio Verano Merino, Jurgen Vinju, Tijs van der Storm,
In The Art, Science, and Engineering of Programming, Vol. 4, Issue 3, Article 11, 2020.
doi
The Software Language Extension Problem
Manuel Leduc, Thomas Degueule, Eric van Wyk, Benoit Combemale
In International Journal on Software and Systems Modeling (SoSyM), 2019.
doi preprint
From DSL Specification to Interactive Computer Programming Environment
Pierre Jeanjean, Benoit Combemale, Olivier Barais
In Proceedings of the 12th International Conference on Software Language Engineering (SLE), 2019.
doi preprint
Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering
Benoît Combemale, Jörg Kienzle, Gunter Mussbacher, et al.
In Computer Languages, Systems & Structures (COMLAN), 2018.
doi preprint
Contraint-based Run-time State Migration for Live Modeling (VERSEN Best Software Engineering Technology paper 2018)
Ulyana Tikhonova, Jouke Stoel, Tijs van der Storm, Thomas Degueule
In Proceedings of the 11th International Conference on Software Language Engineering (SLE), 2018.
doi preprint
Modular Language Composition for the Masses (SLE’18 best artifact)
Manuel Leduc, Thomas Degueule, Benoit Combemale
In Proceedings of the 11th International Conference on Software Language Engineering (SLE), 2018.
doi preprint
Shape-Diverse DSLs: Languages without Borders (SLE’18 best vision paper)
Fabien Coulon, Thomas Degueule, Tijs van der Storm, Benoit Combemale
In Proceedings of the 11th International Conference on Software Language Engineering (SLE), 2018.
doi preprint
Revisiting Visitors for Modular Extension of Executable DSMLs
Manuel Leduc, Thomas Degueule, Benoit Combemale, Tijs van der Storm, Olivier Barais
In Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2017.
PDF Companion webpage
Towards live domain-specific languages: from text differencing to adapting models at run time
Riemer van Rozen, Tijs van der Storm.
In International Journal on Software and Systems Modeling (SoSyM), 2017.
doi preprint