Topic T1A: Design

Summary

• Requested in 22/26 calls
• Requested in 19/19 pure calls (2008–2026 with the longest streak of 19 years)
• Primary tagged in 15/26 paper bundles
• Primary tagged in 13/19 pure proceedings (2010–2025 with the longest streak of 6 years)
• Secondary tagged in 18/26 paper bundles
• Secondary tagged in 14/19 pure proceedings (2008–2025 with the longest streak of 10 years)
• Top 3 co-occurring topics:
  • T4A: Workbenches (20 times)
  • T3C: DSLs (16 times)
  • T1D: Composition (13 times)
• Top 3 contributors:
  • Bernd Fischer (6 times)
  • Moeketsi Raselimo (4 times)
  • Eelco Visser (3 times)

List of papers (69)

• (ATEM 2006 SI) Evaluating Formal Properties of Feature Diagram Languages (Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevičius, Andreas Claßen) T2C T5D T1A T5B
• (SLE 2008) The Field of Software Language Engineering (Anneke Kleppe) T6D T1A T4A
• (SLE 2008) Engineering Languages for Specifying Product-Derivation Processes in Software Product Lines (Pablo Sánchez, Neil Loughran, Lidia Fuentes, Alessandro Fabricio Garcia) T2C T3C T1A
• (SLE 2008 SI) The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering (Daniel Laurence Moody) T1A T5H T4F
• (SLE 2008 SI) FAML: A Generic Metamodel for MAS Development (Ghassan Beydoun, Graham Low, Brian Henderson-Sellers, Haralambos Mouratidis, Jorge J. Gómez-Sanz, Juán Pavón, César González-Pérez) T3A T1A T3C
• (SLE 2009) VML* – A Family of Languages for Variability Management in Software Product Lines (Steffen Zschaler, Pablo Sánchez, Jõao Santos, Mauricio Alférez, Awais Rashid, Lidia Fuentes, Ana Moreira, João Araújo, Uirá Kulesza) T2C T3C T1A
• (SLE 2009) Yet Another Language Extension Scheme (Anya Helene Bagge) T1D T1A T1E
• (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 2010) Subjective-C: Bringing Context to Mobile Platform Programming (Sebastián González, Nicolás Cardozo, Kim Mens, Alfredo Cádiz, Jean-Christophe Libbrecht, Julien Goffaux) T1A T3C T1D
• (SLE 2010) The Level-Agnostic Modeling Language (Colin Atkinson, Bastian Kennel, Björn Goß) T1A T3C 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) Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation (Nicolas Genon, Patrick Heymans, Daniel Amyot) T5H T4F T1A
• (SLE 2010) Featherweight TEX and Parser Correctness (Sebastian Erdweg, Klaus Ostermann) T5D T4C T1A
• (SLE 2011) Reusing Pattern Solutions in Modeling: A Generic Approach Based on a Role Language (Christophe Tombelle, Gilles Vanwormhoudt, Emmanuel Renaux) T1E T3C T1A
• (SLE 2011) Designing Variability Modeling Languages (Krzysztof Czarnecki) T2C T1A T3C
• (SLE 2011) Semantics First! Rethinking the Language Design Process (Martin Erwig, Eric Walkingshaw) T1A T1C T5D
• (SLE 2011) Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages (Paweł T. Wojciechowski) T1B T1C T1A
• (SLE 2012) A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling (Giancarlo Guizzardi, Veruska Zamborlini) T3E T1A T4B
• (SLE 2012 SI) A tutorial on metamodelling for grammar researchers (Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack) T3A T4A T6D T1A
• (SLE 2013) Dark Knowledge and Graph Grammars in Automated Software Design (Don S. Batory, Rui Carlos Gonçalves, Bryan Marker, Janet Siegmund) T4C T3B T1A
• (SLE 2013) Safe Specification of Operator Precedence Rules (Ali Afroozeh, Mark van den Brand, Adrian Johnstone, Elizabeth Scott, Jurgen Vinju) T1A T3A T3B
• (SLE 2013) Whiley: A Platform for Research in Software Verification (David J. Pearce, Lindsay Groves) T5D T1A T1B
• (SLE 2013) Partial Instances via Subclassing (Kacper Bąk, Zinovy Diskin, Michał Antkiewicz, Krzysztof Czarnecki, Andrzej Wąsowski) T1A T5D T3A
• (SLE 2014) A Metamodel Family for Role-Based Modeling and Programming Languages (Thomas Kühn, Max Leuthäuser, Sebastian Götz, Christoph Seidl, Uwe Aßmann) T1A T3A T1D T1B
• (SLE 2014) Model Checking of CTL-Extended OCL Specifications (Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl) T5D T1A T4A
• (SLE 2014) Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation (Daco C. Harkes, Eelco Visser) T1A T3C T1D
• (SLE 2015) An Empirical Study on Simplification of Business Process Modeling Languages (Eric Umuhoza, Marco Brambilla, Davide Ripamonti, Jordi Cabot) T5E T1A T2B T3C
• (SLE 2015) Designing Languages using Lightning (Loïc Gammaitoni, Pierre Kelsen, Christian Glodt) T4A T5D T1A T1C
• (SLE 2015) A Combined Formal Model for Relational Context-Dependent Roles (Thomas Kühn, Stephan Böhme, Sebastian Götz, Uwe Aßmann) T1A T5D T1B T3C
• (SLE 2015) Parsing Expression Grammars Made Practical (Nicolas Laurent, Kim Mens) T3A T1A T1D T4D
• (SLE 2016) Taming Context-Sensitive Languages with Principled Stateful Parsing (Nicolas Laurent, Kim Mens) T4D T1A T5B
• (SLE 2016) Adding Uncertainty and Units to Quantity Types in Software Models (Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo) T1B T1A T6F
• (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) Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Andre Luís de Medeiros Santos, Eduardo Gomes) T3C T4A T4F T1A
• (SLE 2017) Red Shift: Procedural Shift-Reduce Parsing (Nicolas Laurent) T4D T3A T5F T1A
• (SLE 2017) Better Call the Crowd: Using Crowdsourcing to Shape the Notation of Domain-Specific Languages (Marco Brambilla, Jordi Cabot, Javier Luis Cánovas Izquierdo, Andrea Mauri) T5H T1A T5E T3C
• (SLE 2017) Concrete Syntax: A Multi-Paradigm Modelling Approach (Yentl Van Tendeloo, Simon Van Mierlo, Bart Meyers, Hans Vangheluwe) T1A T3C T4F T1D
• (SLE 2017) Robust Programs with Filtered Iterators (Jiasi Shen, Martin C. Rinard) T1A T4D T5H T3D
• (SLE 2018) Morbig: A Static Parser for POSIX Shell (Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen) T1A T4A T5D T5E
• (SLE 2018) Analysing Meta-Model Product Lines (Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay) T1A T5D T2C
• (SLE 2019) Spectrum-based Fault Localization for Context-Free Grammars (Moeketsi Raselimo, Bernd Fischer) T1A T4C T6B
• (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) Default Disambiguation for Online Parsers (Lukas Diekmann, Laurence Tratt) T1A T5E T1D T5H
• (SLE 2019) Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects (Philipp Seifer, Johannes Härtel, Martin Leinberger, Ralf Lämmel, Steffen Staab) T1A T5D T5E
• (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) Software Language Engineers’ Worst Nightmare (Vadim Zaytsev) T1A T3C T2A
• (SLE 2020) An Interactive Feedback System for Grammar Development (Chelsea Barraball, Moeketsi Raselimo, Bernd Fischer) T1A T4A T4B T5H
• (SLE 2020) Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-automata (Christoff Rossouw, Bernd Fischer) T1A T4C T4D T6B
• (SLE 2020) Untangling Mechanized Proofs (Clément Pit-Claudel) T1A T5D T4C T4D
• (SLE 2021) A Concurrency Model for JavaScript with Cooperative Cancellation (Tian Zhao, Yonglun Li) T1C T1A
• (SLE 2021) There is More Than One Way to Zen Your Python (Aamir Farooq, Vadim Zaytsev) T1A T3D T2B
• (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 2022) The Semantics of Plurals (Friedrich Steimann, Marius Freitag) T1C T1A T5D
• (SLE 2022) Partial Parsing for Structured Editors (Tom Beckmann, Patrick Rein, Toni Mattis, Robert Hirschfeld) T4A T1A T5F
• (SLE 2022) Gradual Grammars: Syntax in Levels and Locales (Tijs van der Storm, Felienne Hermans) T1A T5H T1D
• (SLE 2022) Collection Skeletons: Declarative Abstractions for Data Collections (Björn Franke, Zhibo Li, John Magnus Morton, Michel Steuwer) T1A T1E T3D
• (SLE 2022) BatakJava: An Object-Oriented Programming Language with Versions (Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara) T2B T1A T3D
• (SLE 2024) Cooperative Specification via Composition Control (Christopher A. Esterhuyse, L. Thomas van Binsbergen) T1D T1A T3C T5A
• (SLE 2024) Design of Software Representation Languages: A Historical Perspective (Anthony Ira Wasserman) T1A T2B T2E T6D
• (SLE 2024) The Linguistic Theory behind Blockly Languages (Friedrich Steimann, Robin Stunic) T1A T4F T5H T3C
• (SLE 2024) Method Bundles (Dimi Racordon, Dave Abrahams) T1A T3F T5F
• (SLE 2024 SI) The eXchange Calculus (XC): A functional programming language design for distributed collective systems (Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli) T1A T1B T1C T6F
• (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 2025) Can Programming Be Liberated from the Functional Style? (Friedrich Steimann) T3D T1A T1C
• (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) Lessons Learned from Developing the MontiCore Language Workbench: Challenges of Modular Language Design (Nico Jansen, Alex Lüpges, Bernhard Rumpe) T6A T1D T4A T1A

---

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