Topic T4A: Workbenches

Summary

• Requested in 21/26 calls
• Requested in 19/19 pure calls (2008–2026 with the longest streak of 19 years)
• Primary tagged in 22/26 paper bundles
• Primary tagged in 19/19 pure proceedings (2008–2026 with the longest streak of 19 years)
• Secondary tagged in 25/26 paper bundles
• Secondary tagged in 18/19 pure proceedings (2008–2025 with the longest streak of 18 years)
• Top 3 co-occurring topics:
  • T1D: Composition (49 times)
  • T3C: DSLs (44 times)
  • T3A: Meta-languages (39 times)
• Top 3 contributors:
  • Eelco Visser (13 times)
  • Benoît Combemale (10 times)
  • Guido Wachsmuth (8 times)

List of papers (192)

• (ATEM 2006 SI) Extending Grammars and Metamodels for Reuse: the Reuseware Approach (Jakob Henriksson, Florian Heidenreich, Jendrik Johannes, Steffen Zschaler, Uwe Aßmann) T1E T1D T4A T3A
• (ATEM 2006 SI) Formalising Model Transformation Rules for UML/MOF 2 (Carsten Amelunxen, Andy Schürr) T3B T5D T3A T4A
• (ATEM 2006 SI) Aspect-Oriented Prolog in a Language Processing Context (Wolfgang Lohmann, Günter Riedewald, Guido Wachsmuth) T1D T3C T4A T3B
• (SLE 2008) The Field of Software Language Engineering (Anneke Kleppe) T6D T1A T4A
• (SLE 2008) Model-Driven Engineering Meets Generic Language Technology (Mark van den Brand) T6D T4A T4B
• (SLE 2008) Neon: A Library for Language Usage Analysis (Jurriaan Hage, Peter van Keeken) T4A T5B T2B
• (SLE 2008) Practical Scope Recovery Using Bridge Parsing (Emma Nilsson-Nyman, Torbjörn Ekman, Görel Hedin) T1B T4A T4C
• (SLE 2008) Generating Rewritable Abstract Syntax Trees: A Foundation for the Rapid Development of Source Code Transformation Tools (Jeffrey Overbey, Ralph E. Johnson) T4B T4A T1E
• (SLE 2008) Towards an Incremental Update Approach for Concrete Textual Syntaxes for UUID-Based Model Repositories (Thomas Goldschmidt) T2B T4A T1D
• (SLE 2008) A Model Engineering Approach to Tool Interoperability (Yu Sun, Zekai Demirezen, Frédéric Jouault, Robert Tairas, Jeffrey G. Gray) T4B T4A T6D
• (SLE 2008) DeFacto: Language-Parametric Fact Extraction from Source Code (Hendrikus J. S. Basten, Paul Klint) T5B T4A T1E
• (SLE 2008 SI) A Flexible Infrastructure for Multilevel Language Engineering (Colin Atkinson, Matthias Gutheil, Bastian Kennel) T4A T3A T1D
• (SLE 2008 SI) Engineering of Framework-Specific Modeling Languages (Michał Antkiewicz, Krzysztof Czarnecki, Matthew Stephan) T3C T3F T4A
• (SLE 2009) If MDE Is the Solution, Then What Is the Problem? (Jean Bézivín) T6D T3A T4A
• (SLE 2009) Language Evolution in Practice: The History of GMF (Markus Herrmannsdörfer, Daniel Ratiu, Guido Wachsmuth) T2B T4A T2A
• (SLE 2009) Towards Dynamic Evolution of Domain Specific Languages (Paul R. Laird, Stephen Barrett) T2B T3C T4A
• (SLE 2009) Verifiable Parse Table Composition for Deterministic Parsing (August Schwerdfeger, Eric Van Wyk) T1D T5D T4A
• (SLE 2009) Natural and Flexible Error Recovery for Generated Parsers (Maartje de Jonge, Emma Nilsson-Nyman, Lennart C. L. Kats, Eelco Visser) T4A T5H T4D
• (SLE 2009) A Role-Based Approach towards Modular Language Engineering (Christian Wende, Nils Thieme, Steffen Zschaler) T1D T1E T4A
• (SLE 2009) Language Boxes: Bending the Host Language with Modular Language Changes (Lukas Renggli, Marcus Denker, Oscar Nierstrasz) T1D T3C T4A
• (SLE 2009) An Automated Process for Implementing Multilevel Domain Models (Frédéric Mallet, François Lagarde, Charles André, Sébastien Gérard, François Terrier) T3A T4A T1A
• (SLE 2009) Domain-Specific Metamodelling Languages for Software Language Engineering (Steffen Zschaler, Dimitrios S. Kolovos, Nikolaos Drivalos, Richard F. Paige, Awais Rashid) T3A T4A T3C
• (SLE 2010) Reference Attribute Grammars for Metamodel Semantics (Christoff Bürger, Sven Karol, Christian Wende, Uwe Aßmann) T1C T3A T4A
• (SLE 2010) Automated Co-evolution of GMF Editor Models (Davide Di Ruscio, Ralf Lämmel, Alfonso Pierantonio) T2B T4B T4A
• (SLE 2010) A Unified Format for Language Documents (Vadim Zaytsev, Ralf Lämmel) T2E T4A T5B
• (SLE 2010) Debugging in Domain-Specific Modelling (Raphael Mannadiar, Hans Vangheluwe) T4A T5H T3C
• (SLE 2010) COPE — A Workbench for the Coupled Evolution of Metamodels and Models (Markus Herrmannsdörfer) T4A T2B T4B
• (SLE 2010) Translator Generation Using ART (Adrian Johnstone, Elizabeth Scott) T4C T4A T1D
• (SLE 2010) Interactive Disambiguation of Meta Programs with Concrete Object Syntax (Lennart C. L. Kats, Karl Trygve Kalleberg, Eelco Visser) T3A T4A T1A
• (SLE 2010) Extending DMM Behavior Specifications for Visual Execution and Debugging (Nils Bandener, Christian Soltenborn, Gregor Engels) T4F T1C T4A
• (SLE 2011) Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software (Paul Klint, Bert Lisser, Atze van der Ploeg) T4A T3A T4F
• (SLE 2011) Integrating Attribute Grammar and Functional Programming Language Features (Ted Kaminski, Eric Van Wyk) T3A T1D T4A
• (SLE 2011) Parse Forest Diagnostics with Dr. Ambiguity (Hendrikus J. S. Basten, Jurgen Vinju) T5B T4A T3A
• (SLE 2011) Ambiguity Detection: Scaling to Scannerless (Hendrikus J. S. Basten, Paul Klint, Jurgen Vinju) T5B T5F T4A
• (SLE 2011) RLSRunner: Linking Rascal with K for Program Analysis (Mark Hills, Paul Klint, Jurgen Vinju) T4A T3A T5B
• (SLE 2012) Analysing Contributions (Oege de Moor) T4A T5B T2B T6B
• (SLE 2012) Metamodelling for Grammarware Researchers (Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack) T6D T3A T4A
• (SLE 2012) Temporal Constraint Support for OCL (Bilal Kanso, Safouan Taha) T5D T5C T4A
• (SLE 2012) Model Transformation Co-evolution: A Semi-automatic Approach (Jokin García, Óscar Díaz, Maider Azanza) T2B T3B T4A
• (SLE 2012) Island Grammar-Based Parsing Using GLL and Tom (Ali Afroozeh, Jean-Christophe Bach, Mark van den Brand, Adrian Johnstone, Maarten Manders, Pierre-Etienne Moreau, Elizabeth Scott) T4A T1D T3A
• (SLE 2012) Layout-Sensitive Generalized Parsing (Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann) T4A T1D T3A
• (SLE 2012) PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars (Alessandro Barenghi, Ermes Viviani, Stefano Crespi Reghizzi, Dino Mandrioli, Matteo Pradella) T4A T5F T3A
• (SLE 2012) TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design (Wisam Al Abed, Valentin Bonnet, Matthias Schöttle, Engin Yıldırım, Omar Alam, Jörg Kienzle) T4F T5H T4A
• (SLE 2012) Declarative Name Binding and Scope Rules (Gabriël Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser) T1B T3A T4A
• (SLE 2012) Meta-language Support for Type-Safe Access to External Resources (Mark Hills, Paul Klint, Jurgen Vinju) T3A T1B T3F T4A
• (SLE 2012) Approaches and Tools for Implementing Type Systems in Xtext (Lorenzo Bettini, Dietmar Stoll, Markus Völter, Serano Colameo) T1B T4A T5H
• (SLE 2012 SI) A tutorial on metamodelling for grammar researchers (Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack) T3A T4A T6D T1A
• (SLE 2012 SI) Using a trope-based foundational ontology for bridging different areas of concern in ontology-driven conceptual modeling (Giancarlo Guizzardi, Veruska Zamborlini) T3E T1D T4B T4A
• (SLE 2012 SI) The design and implementation of Object Grammars (Tijs van der Storm, William R. Cook, Alex Loh) T3A T1D T4A T3C
• (SLE 2012 SI) Domain-specific program profiling and its application to attribute grammars and term rewriting (Anthony M. Sloane, Matthew Roberts) T3C T5F T4D T4A
• (SLE 2012 SI) Monolithic and modular termination analyses for higher-order attribute grammars (Lijesh Krishnan, Eric Van Wyk) T5B T5D T1D T4A
• (SLE 2012 SI) Specification of temporal properties with OCL (Bilal Kanso, Safouan Taha) T5D T1C T4A T5C
• (SLE 2013) A Pretty Good Formatting Pipeline (Anya Helene Bagge, Tero Hasu) T4B T4A T5H
• (SLE 2013) The State of the Art in Language Workbenches: Conclusions from the Language Workbench Challenge (Sebastian Erdweg, Tijs van der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning) T4A T5E T6D
• (SLE 2013) A Language Independent Task Engine for Incremental Name and Type Analysis (Guido Wachsmuth, Gabriël Konat, Vlad Vergu, Danny M. Groenewegen, Eelco Visser) T1B T4A T1D
• (SLE 2014) From Language Engineering to Viewpoint Engineering (Colin Atkinson) T5H T4A T4F T1D
• (SLE 2014) ProMoBox: A Framework for Generating Domain-Specific Property Languages (Bart Meyers, Romuald Deshayes, Levi Lúcio, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer) T5D T3C T4A T4B
• (SLE 2014) A SAT-Based Debugging Tool for State Machines and Sequence Diagrams (Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl) T5D T4A T1C T5C
• (SLE 2014) Towards User-Friendly Projectional Editors (Markus Völter, Janet Siegmund, Thorsten Berger, Bernd Kolb) T4A T1D T5H
• (SLE 2014) Eco: A Language Composition Editor (Lukas Diekmann, Laurence Tratt) T4A T1D T5B T5H
• (SLE 2014) The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers (Andrei Chiș, Tudor Gîrba, Oscar Nierstrasz) T4A T4D T3C T5H
• (SLE 2014) fUML as an Assembly Language for Model Transformation (Massimo Tisi, Frédéric Jouault, Jérôme Delatour, Zied Saidi, Hassene Choura) T4B T3B T4D T4A
• (SLE 2014) Monto: A Disintegrated Development Environment (Anthony M. Sloane, Matthew Roberts, Scott Buckley, Shaun Muscat) T4A T1D T6A
• (SLE 2014) Model Checking of CTL-Extended OCL Specifications (Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl) T5D T1A T4A
• (SLE 2014) Streamlining Control Flow Graph Construction with DCFlow (Mark Hills) T3C T4C T4A T4F
• (SLE 2014) Test-Data Generation for Xtext (Johannes Härtel, Lukas Härtel, Ralf Lämmel) T5C T4A T3B T5B
• (SLE 2014 SI) Evaluating and comparing language workbenches: Existing results and benchmarks for the future (Sebastian Erdweg, Tijs van der Storm, Markus Völter, Laurence Tratt, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, Jimi van der Woning) T4A T5E T3C T6D
• (SLE 2014 SI) Symbolic execution based on language transformation (Andrei Arusoaie, Dorel Lucanu, Vlad Rusu) T4C T1C T5D T4A
• (SLE 2014 SI) Practical domain-specific debuggers using the Moldable Debugger framework (Andrei Chiș, Marcus Denker, Tudor Gîrba, Oscar Nierstrasz) T4A T4D T5H T5F
• (SLE 2014 SI) Bounded seas (Jan Kurš, Mircea Lungu, Rathesan Iyadurai, Oscar Nierstrasz) T3A T1D T1E T4A
• (SLE 2015) What’s the Value of an End User? Platforms and Research: The Case of Pharo and Moose (Stéphane Ducasse) T4A T3D T5B T2B
• (SLE 2015) On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience (Salome Maro, Jan-Philipp Steghöfer, Anthony Anjorin, Matthias Tichy, Lars Gelin) T4A T4F T3C T6B
• (SLE 2015) XMLText: From XML Schema to Xtext (Patrick Neubauer, Alexander Bergmayr, Tanja Mayerhofer, Javier Troya, Manuel Wimmer) T4C T3C T4A T2D
• (SLE 2015) Designing Languages using Lightning (Loïc Gammaitoni, Pierre Kelsen, Christian Glodt) T4A T5D T1A T1C
• (SLE 2015) Analysis and Transformation with the Nuthatch Tree-Walking Library (Anya Helene Bagge) T3F T3B T5B T4A
• (SLE 2015) Example-Based Validation of Domain-Specific Visual Languages (Jesús J. López-Fernández, Esther Guerra, Juan de Lara) T5C T3C T4F T4A
• (SLE 2015) Supporting Efficient and Advanced Omniscient Debugging for xDSMLs (Erwan Bousse, Jonathan Corley, Benoît Combemale, Jeffrey G. Gray, Benoît Baudry) T4A T4D T5H T3C
• (SLE 2015) The Whiley Rewrite Language (WyRL) (David J. Pearce) T3B T4C T4A T5D
• (SLE 2016) Efficient Development of Consistent Projectional Editors using Grammar Cells (Markus Völter, Tamás Szabó, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, Thorsten Berger) T4A T1D T5H
• (SLE 2016) MetaEdit+ for Collaborative Language Engineering and Language Use (Juha-Pekka Tolvanen) T4A T2B T6B
• (SLE 2016) Execution Framework of the GEMOC Studio (Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien DeAntoni, Benoît Combemale) T4A T4D T4E T4F
• (SLE 2016) FRaMED: Full-Fledge Role Modeling Editor (Thomas Kühn, Kay Bierzynski, Sebastian Richly, Uwe Aßmann) T4A T4F T3C
• (SLE 2016) The IDE Portability Problem and Its Solution in Monto (Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg) T4A T2D T3F
• (SLE 2016) Principled Syntactic Code Completion using Placeholders (Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser) T4A T5H T1A
• (SLE 2016) DrAST: An Inspection Tool for Attributed Syntax Trees (Joel Lindholm, Johan Thorsberg, Görel Hedin) T4A T1B T5B
• (SLE 2016) Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Andre Luís de Medeiros Santos, Eduardo Gomes) T3C T4A T4F T1A
• (SLE 2017) Engineering Meta-Languages for Specifying Software Languages (Peter D. Mosses) T3A T1C T4A T5D
• (SLE 2017) A Development Environment for the Alf Language within the MagicDraw UML Tool (Ed Seidewitz) T4A T1D T3C T6B
• (SLE 2017) Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools (Lechanceux Luhunu, Eugene Syriani) T4C T5F T5E T4A
• (SLE 2017) FlowSpec: Declarative Dataflow Analysis Specification (Jeff Smits, Eelco Visser) T3C T1B T3A T4A
• (SLE 2017) A Chrestomathy of DSL Implementations (Simon Schauss, Ralf Lämmel, Johannes Härtel, Marcel Heinz, Kevin Klein, Lukas Härtel, Thorsten Berger) T2E T1E T3C T4A
• (SLE 2017) Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages (Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore) T4C T3C T5F T4A
• (SLE 2017) Towards a Taxonomy of Grammar Smells (Mats Stijlaart, Vadim Zaytsev) T5B T2B T3A T4A
• (SLE 2017) Debugging with Domain-Specific Events via Macros (Xiangqi Li, Matthew Flatt) T4A T1D T4D T5H
• (SLE 2017) Incremental Packrat Parsing (Patrick Dubroy, Alessandro Warth) T4D T5F T4A T3A
• (SLE 2017) Robust Projectional Editing (Friedrich Steimann, Marcus Frenkel, Markus Völter) T4A T1B T5H T1D
• (SLE 2017) Type-Safe Modular Parsing (Haoyuan Zhang, Huang Li, Bruno C. d. S. Oliveira) T1D T1B T4A T3A
• (SLE 2017 SI) FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis (Jeff Smits, Guido Wachsmuth, Eelco Visser) T3C T1B T3A T4A
• (SLE 2018) A New Approach for Software Correctness and Reliability (Martin C. Rinard) T5D T4A
• (SLE 2018) Bacatá: A Language Parametric Notebook Generator (Mauricio Verano Merino, Jurgen Vinju, Tijs van der Storm) T4A T4C T4D T5H
• (SLE 2018) Fostering Metamodels and Grammars within a Dedicated Environment for HPC: The NabLab Environment (Benoît Lelandais, Marie-Pierre Oudot, Benoît Combemale) T4A T1D T5H T6B
• (SLE 2018) Messir: A Text-first DSL-based Approach for UML Requirements Engineering (Benoît Ries, Alfredo Capozucca, Nicolas Guelfi) T4A T5D T1D T4C
• (SLE 2018) Migrating Custom DSL Implementations to a Language Workbench (Jasper Denkers, Louis van Gool, Eelco Visser) T4A T1D T6B
• (SLE 2018) Shape-diverse DSLs: Languages without Borders (Fabien Coulon, Thomas Degueule, Tijs van der Storm, Benoît Combemale) T6D T4A T5E T5H
• (SLE 2018) Storm: A Language Platform for Interacting and Extensible Languages (Filip Strömbäck) T4A
• (SLE 2018) An Industrial Case Study in Compiler Testing (Vadim Zaytsev) T5C T4A T4C T6B
• (SLE 2018) The Next 700 Unit of Measurement Checkers (Oscar Bennich-Björkman, Steve McKeever) T1B T4A T5E
• (SLE 2018) Continuous Model Validation using Reference Attribute Grammars (Johannes Mey, René Schöne, Görel Hedin, Emma Söderberg, Thomas Kühn, Niklas Fors, Jesper Öqvist, Uwe Aßmann) T3A T4A T5E T4B
• (SLE 2018) Declarative Specification of Indentation Rules (Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser) T1B T4A T4B T4C
• (SLE 2018) Deriving Fluent Internal Domain-Specific Languages from Grammars (Arvid Butting, Manuela Dalibor, Gerrit Leonhardt, Bernhard Rumpe, Andreas Wortmann) T3C T4A T5D T4C
• (SLE 2018) GLL Parsing with Flexible Combinators (L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone) T3A T4A T5H T6B
• (SLE 2018) Modular Language Composition for the Masses (Manuel Leduc, Thomas Degueule, Benoît Combemale) T3C T4A T1D T6B
• (SLE 2018) Morbig: A Static Parser for POSIX Shell (Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen) T1A T4A T5D T5E
• (SLE 2018) Translating Grammars to Accurate Metamodels (Arvid Butting, Nico Jansen, Bernhard Rumpe, Andreas Wortmann) T3A T4A T1D T4D
• (SLE 2018) A Practical Type System for Safe Aliasing (Dimi Racordon, Didier Buchs) T1B T4A T5D T4D
• (SLE 2018) Migrating Business Logic to an Incremental Computing DSL: A Case Study (Daco C. Harkes, Elmer van Chastelet, Eelco Visser) T3B T4A T5E T1D
• (SLE 2018 SI) Relational Reference Attribute Grammars: Improving continuous model validation (Johannes Mey, René Schöne, Görel Hedin, Emma Söderberg, Thomas Kühn, Niklas Fors, Jesper Öqvist, Uwe Aßmann) T3A T4A T2B T5E
• (SLE 2019) A Feature-based Classification of Triple Graph Grammar Variants (Nils B. Weidmann, Robin Oppermann, Patrick Robrecht) T3B T4A T5D T4B
• (SLE 2019) Consistency Management via a Combination of Triple Graph Grammars and Linear Programming (Nils B. Weidmann, Anthony Anjorin, Erhan Leblebici, Andy Schürr) T3B T4A T1D
• (SLE 2019) Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors (Vasco Sousa, Eugene Syriani, Khady Fall) T1C T4A T1D T5H
• (SLE 2019) A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning Compilation (David Broman) T3C T4A T5D T1D
• (SLE 2019) Shadow Models: Incremental Transformations for MPS (Markus Völter, Klaus Birken, Sascha Lisson, Alexander Rimer) T3B T4A T5H
• (SLE 2019) The Lands Platform: Lan.guages and D.omain S.yntax (Nick Papoulias) T3C T4A T5D T1D
• (SLE 2019) Multiple Lexicalisation (A Java Based Study) (Elizabeth Scott, Adrian Johnstone) T1A T4A T5E
• (SLE 2019) Breaking Parsers: Mutation-Based Generation of Programs with Guaranteed Syntax Errors (Moeketsi Raselimo, Jan Taljaard, Bernd Fischer) T1A T4A T6B
• (SLE 2019) Domain-Specific Model Differencing in Visual Concrete Syntax (Manouchehr Zadahmad, Eugene Syriani, Omar Alam, Esther Guerra, Juan de Lara) T3C T4A T4F
• (SLE 2019) Detecting and Exploring Side Effects when Repairing Model Inconsistencies (Djamel Eddine Khelladi, Roland Kretschmer, Alexander Egyed) T4A
• (SLE 2019) High-Level Mission Specification for Multiple Robots (Sergio García, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomáš Bureš) T3C T4A T1D T4D
• (SLE 2019) Efficient Late Binding of Dynamic Function Compositions (Lars Schütze, Jerónimo Castrillón) T1C T4A T5E T1D
• (SLE 2019) From DSL Specification to Interactive Computer Programming Environment (Pierre Jeanjean, Benoît Combemale, Olivier Barais) T3B T4A T4C T4D
• (SLE 2019) Analysis and Modeling of the Governance in General Programming Languages (Javier Luis Cánovas Izquierdo, Jordi Cabot) T4A T5E T5H
• (SLE 2019) Developing a Monadic Type Checker for an Object-Oriented Language: An Experience Report (Elias Castegren, Kiko Fernandez-Reyes) T1A T4A T4C T5H
• (SLE 2020) Gradually Typing Strategies (Jeff Smits, Eelco Visser) T1B T4A T5D T4B
• (SLE 2020) A Family of Languages for Trustworthy Agent-Based Simulation (Steffen Zschaler, Fiona Polack) T3C T4A T5E
• (SLE 2020) Annotating Executable DSLs with Energy Estimation Formulas (Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, Gerson Sunyé) T3C T4A T1D T4D
• (SLE 2020) A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars (Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, Gabriele Taentzer) T3B T4A T5D T4B
• (SLE 2020) Principles and Patterns of JastAdd-style Reference Attribute Grammars (Niklas Fors, Emma Söderberg, Görel Hedin) T3A T4A T5E T5H
• (SLE 2020) An Interactive Feedback System for Grammar Development (Chelsea Barraball, Moeketsi Raselimo, Bernd Fischer) T1A T4A T4B T5H
• (SLE 2020) Extrinsically Typed Operational Semantics for Functional Languages (Matteo Cimini, Dale Miller, Jeremy G. Siek) T1B T4A T5D T4C
• (SLE 2020) Towards the Optical Character Recognition of DSLs (Jorge Perianez-Pascual, Roberto Rodríguez-Echeverría, Lola Burgueño, Jordi Cabot) T3C T4A T5E
• (SLE 2020) Featherweight Swift: A Core Calculus for Swift’s Type System (Dimi Racordon, Didier Buchs) T1B T4A T5D T5H
• (SLE 2020) Monadification of Attribute Grammars (Dawn Michaelson, Eric Van Wyk) T1B T4A T5D T5E
• (SLE 2020) Behavior Trees in Action: A Study of Robotics Applications (Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wąsowski) T4A T5E T1D T6B
• (SLE 2020) A Semantic Framework for PEGs (Sérgio Queiróz de Medeiros, Carlos Olarte) T1C T4A T5D
• (SLE 2020) Example-Driven Software Language Engineering (Mikhail Barash) T1B T4A T4B T5H
• (SLE 2020) Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers (Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, Bernd Fischer) T1B T4A T4B T4C
• (SLE 2020) Modular and Distributed IDE (Fabien Coulon, Alex Auvolat, Benoît Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, Noël Plouzeau) T4A T1D T4C T4D
• (SLE 2020) Block-Based Syntax from Context-Free Grammars (Mauricio Verano Merino, Tijs van der Storm) T3C T4A T4C T5H
• (SLE 2021) Integrating Usability into Programming Language Design (Jonathan Aldrich) T6D T5H T4A T1D
• (SLE 2021) Monilogging for Executable Domain-Lpecific Languages (Dorian Leroy, Benoît Lelandais, Marie-Pierre Oudot, Benoît Combemale) T3C T4A T4D T5H
• (SLE 2021) The Next 700 Language Workbenches (Mikhail Barash) T4A T1D T2C
• (SLE 2021) Live Programming and Programming by Example: Better Together (Sorin Lerner) T4A T4G T5H T4D
• (SLE 2021) Automating the Synthesis of Recommender Systems for Modelling Languages (Lissette Almonte, Sara Pérez-Soler, Esther Guerra, Iván Cantador, Juan de Lara) T3C T4A T5D T5E
• (SLE 2021) Executing Certified Model Transformations on Apache Spark (Jolan Philippe, Massimo Tisi, Hélène Coullon, Gerson Sunyé) T3B T4A T5D T5E
• (SLE 2021) Automated Engineering of Metamorphic Testing Environments for Domain-Specific Languages (Pablo C. Cañizares, Pablo Gómez-Abajo, Alberto Núñez, Esther Guerra, Juan de Lara) T3C T4A T5D T5H
• (SLE 2021) Getting Grammars into Shape for Block-based Editors (Mauricio Verano Merino, Tom Beckmann, Tijs van der Storm, Robert Hirschfeld, Jurgen Vinju) T3B T4A T4B T4C
• (SLE 2021) Fast Incremental PEG Parsing (Zachary Yedidia, Stephen Chong) T1A T4A T5E T1D
• (SLE 2021) Automatic Grammar Repair (Moeketsi Raselimo, Bernd Fischer) T1A T4A T4C T4D
• (SLE 2021) Bias in Systematic Grammar-based Test Suite Construction Algorithms (Christoff Rossouw, Bernd Fischer) T1A T4A T4C T4D
• (SLE 2021) SEALS: A Framework for Building Self-Adaptive Virtual Machines (Gwendal Jouneaux, Olivier Barais, Benoît Combemale, Gunter Mussbacher) T1C T4A
• (SLE 2021) FIDDLR: Streamlining Reuse with Concern-Specific Modelling Languages (Maximilian Schiedermeier, Jörg Kienzle, Bettina Kemme) T3C T4A T5E T1D
• (SLE 2022) Freon: An Open Web Native Language Workbench (Jos Warmer, Anneke Kleppe) T4A T3C T5H
• (SLE 2022) Reflection as a Tool to Debug Objects (Steven Costiou, Vincent Aranega, Marcus Denker) T4A T4D T6A
• (SLE 2022) Workbench for Creating Block-Based Environments (Mauricio Verano Merino, Koen van Wijk) T4A T4F T5H
• (SLE 2022) Partial Parsing for Structured Editors (Tom Beckmann, Patrick Rein, Toni Mattis, Robert Hirschfeld) T4A T1A T5F
• (SLE 2022) Property Probes: Source Code Based Exploration of Program Analysis Results (Anton Risberg Alaküla, Görel Hedin, Niklas Fors, Adrian Pop) T4F T4A T5H
• (SLE 2022) 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, Benoît Combemale, Olivier Barais) T4A T1D T4D
• (SLE 2022) signatr: A Data-Driven Fuzzing Tool for R (Alexi Turcotte, Pierre Donat-Bouillud, Filip Křikava, Jan Vítek) T5C T3D T4A
• (SLE 2022) From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages (Faezeh Khorram, Erwan Bousse, Antonio Garmendía, Jean-Marie Mottu, Gerson Sunyé, Manuel Wimmer) T5C T3C T4A
• (SLE 2023) Coccinelle: Impact and Internals (Julia Lawall) T3B T2B T6B T4A
• (SLE 2023) A Reference GLL Implementation (Adrian Johnstone) T4A T5F T5E
• (SLE 2023) Reuse and Automated Integration of Recommenders for Modelling Languages (Lissette Almonte, Antonio Garmendía, Esther Guerra, Juan de Lara) T1E T4A T3C
• (SLE 2023) Cross-Level Debugging for Static Analysers (Mats Van Molle, Bram Vandenbogaerde, Coen De Roover) T5D T4A T5H
• (SLE 2023) Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages (Nico Jansen, Bernhard Rumpe) T1D T4C T4A
• (SLE 2023) A Low-Code Platform for Systematic Component-Oriented Language Composition (Jérôme Pfeiffer, Andreas Wortmann) T4A T1D T4F
• (SLE 2023) A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source Projects (Adem Ait, Javier Luis Cánovas Izquierdo, Jordi Cabot) T2D T4A T3C
• (SLE 2023) Online Name-Based Navigation for Software Meta-languages (Peter D. Mosses) T4A T3A T5H
• (SLE 2024) Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels (Nathan Richardson, Dimitrios S. Kolovos, Antonio García-Domínguez) T4A T4C T4F T3C
• (SLE 2024) Concrete Syntax Metapatterns (Luka Miljak, Casper Bach Poulsen, Rosilde Corvino) T4B T3B T2B T4A
• (SLE 2024 SI) Supporting reusable model migration with Edelta (Lorenzo Bettini, Amleto Di Salle, Ludovico Iovino, Alfonso Pierantonio) T2B T3B T4A T1E
• (SLE 2024 SI) iCoLa+: An extensible meta-language with support for exploratory language development (Damian Frölich, L. Thomas van Binsbergen) T3A T1D T4A T1A
• (SLE 2024 SI) A language-parametric test coverage framework for executable domain-specific languages (Faezeh Khorram, Erwan Bousse, Antonio Garmendía, Jean-Marie Mottu, Gerson Sunyé, Manuel Wimmer) T5C T3C T4A T5E
• (SLE 2024 SI) Zipper-based embedding of strategic attribute grammars (José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, João Saraiva) T3B T3A T4A T5F
• (SLE 2024 SI) Property probes: Live exploration of program analysis results (Anton Risberg Alaküla, Görel Hedin, Niklas Fors, Adrian Pop) T4A T5B T5H T5F
• (SLE 2024 SI) Supporting meta-model-based language evolution and rapid prototyping with automated grammar transformation (Weixing Zhang, Jörg Holtmann, Daniel Strüber, Regina Hebig, Jan-Philipp Steghöfer) T2B T3C T3B T4A
• (SLE 2025) Handling Grammar Cycles in the 1997 SML Definition (Elizabeth Scott, Adrian Johnstone) T4C T3A T4A
• (SLE 2025) Property-based Testing of Attribute Grammars (José Nuno Macedo, Marcos Viera, João Saraiva) T5C T3A T4A
• (SLE 2025) Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) Standardization (Philipp Riemer, Yury Nikulin, Ashley Claymore, Mikhail Barash) T1A T2B T4A
• (SLE 2025) AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP support (Georg Hinkel, Alexander Hert, Niklas Hettler, Kevin Weinert) T4A T4C T3A
• (SLE 2025) Lessons Learned from Developing the MontiCore Language Workbench: Challenges of Modular Language Design (Nico Jansen, Alex Lüpges, Bernhard Rumpe) T6A T1D T4A T1A
• (SLE 2025) Dynamic Dependency-Based Purity Checking (Anton Risberg Alaküla, Niklas Fors, Christoph Reichenbach) T5B T3A T4A
• (SLE 2026) Engineering Verified Model Transformations through a Proof-Based Language Workbench (Akram Idani, German Vega) T4A

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.