Papers

Paper lists look much better and more navigable when viewed per conference year.

• (2006) Extending Grammars and Metamodels for Reuse: the Reuseware Approach by Jakob Henriksson, Florian Heidenreich, Jendrik Johannes, Steffen Zschaler, Uwe Aßmann
• (2006) Ontological Approach for the Semantic Recovery of Traceability Links between Software Artefacts by Yonggang Zhang, René Witte, Juergen Rilling, Volker Haarslev
• (2006) Formalising Model Transformation Rules for UML/MOF 2 by Carsten Amelunxen, Andy Schürr
• (2006) Learning Context-Free Grammar Rules from a Set of Program by Alpana Dubey, Pankaj Jalote, Shubhani Aggarwal
• (2006) Aspect-Oriented Prolog in a Language Processing Context by Wolfgang Lohmann, Günter Riedewald, Guido Wachsmuth
• (2006) Integration of Safety Analysis in Model-Driven Software Development by Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso
• (2006) Evaluating Formal Properties of Feature Diagram Languages by Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevičius, Andreas Claßen
• (2008) Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UML Family of Diagrams by Daniel Laurence Moody, Jos van Hillegersberg
• (2008) Neon: A Library for Language Usage Analysis by Jurriaan Hage, Peter van Keeken
• (2008) Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude by José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo
• (2008) Parse Table Composition: Separate Compilation and Binary Extensibility of Grammars by Martin Bravenboer, Eelco Visser
• (2008) Practical Scope Recovery Using Bridge Parsing by Emma Nilsson-Nyman, Torbjörn Ekman, Görel Hedin
• (2008) Generating Rewritable Abstract Syntax Trees: A Foundation for the Rapid Development of Source Code Transformation Tools by Jeffrey Overbey, Ralph E. Johnson
• (2008) Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains by Mathias Fritzsche, Jendrik Johannes, Uwe Aßmann, Simon Mitschke, Wasif Gilani, Ivor Spence, John Brown, Peter Kilpatrick
• (2008) Engineering a DSL for Software Traceability by Nikolaos Drivalos, Dimitrios S. Kolovos, Richard F. Paige, Kiran Fernandes
• (2008) Engineering Languages for Specifying Product-Derivation Processes in Software Product Lines by Pablo Sánchez, Neil Loughran, Lidia Fuentes, Alessandro Fabricio Garcia
• (2008) Transformation Language Integration Based on Profiles and Higher Order Transformations by Pieter Van Gorp, Anne Keller, Dirk Janssens
• (2008) Formalization and Rule-Based Transformation of EMF Ecore-Based Models by Bernhard Schätz
• (2008) A Practical Evaluation of Using TXL for Model Transformation by Hongzhi Liang, Jürgen Dingel
• (2008) DeFacto: Language-Parametric Fact Extraction from Source Code by Hendrikus J. S. Basten, Paul Klint
• (2008) A Case Study in Grammar Engineering by Tiago L. Alves, Joost Visser
• (2008) Sudoku – A Language Description Case Study by Terje Gjøsæter, Ingelin F. Isfeldt, Andreas Prinz
• (2008) The Java Programmer’s Phrase Book by Einar W. Høst, Bjarte M. Østvold
• (2008) A Flexible Infrastructure for Multilevel Language Engineering by Colin Atkinson, Matthias Gutheil, Bastian Kennel
• (2008) The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering by Daniel Laurence Moody
• (2008) Grammar Recovery from Parse Trees and Metrics-Guided Grammar Refactoring by Nicholas A. Kraft, Edward Duffy, Brian A. Malloy
• (2008) Engineering of Framework-Specific Modeling Languages by Michał Antkiewicz, Krzysztof Czarnecki, Matthew Stephan
• (2008) A Model-Based Approach to Families of Embedded Domain-Specific Languages by Jesús Sánchez Cuadrado, Jesús Garćıa Molina
• (2008) FAML: A Generic Metamodel for MAS Development by Ghassan Beydoun, Graham Low, Brian Henderson-Sellers, Haralambos Mouratidis, Jorge J. Gómez-Sanz, Juán Pavón, César González-Pérez
• (2009) Language Evolution in Practice: The History of GMF by Markus Herrmannsdörfer, Daniel Ratiu, Guido Wachsmuth
• (2009) A Novel Approach to Semi-automated Evolution of DSML Model Transformation by Tihamér Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gábor Karsai
• (2009) Study of an API Migration for Two XML APIs by Thiago Tonelli Bartolomei, Krzysztof Czarnecki, Ralf Lämmel, Tijs van der Storm
• (2009) Composing Feature Models by Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
• (2009) VML* – A Family of Languages for Variability Management in Software Product Lines by Steffen Zschaler, Pablo Sánchez, Jõao Santos, Mauricio Alférez, Awais Rashid, Lidia Fuentes, Ana Moreira, João Araújo, Uirá Kulesza
• (2009) Multi-view Composition Language for Software Product Line Requirements by Mauricio Alférez, Jõao Santos, Ana Moreira, Alessandro Fabricio Garcia, Uirá Kulesza, João Araújo, Vasco Amaral
• (2009) Verifiable Parse Table Composition for Deterministic Parsing by August Schwerdfeger, Eric Van Wyk
• (2009) Natural and Flexible Error Recovery for Generated Parsers by Maartje de Jonge, Emma Nilsson-Nyman, Lennart C. L. Kats, Eelco Visser
• (2009) PIL: A Platform Independent Language for Retargetable DSLs by Zef Hemel, Eelco Visser
• (2009) A Role-Based Approach towards Modular Language Engineering by Christian Wende, Nils Thieme, Steffen Zschaler
• (2009) Language Boxes: Bending the Host Language with Modular Language Changes by Lukas Renggli, Marcus Denker, Oscar Nierstrasz
• (2009) Declarative Scripting in Haskell by Tim Bauer, Martin Erwig
• (2009) An Automated Process for Implementing Multilevel Domain Models by Frédéric Mallet, François Lagarde, Charles André, Sébastien Gérard, François Terrier
• (2009) Domain-Specific Metamodelling Languages for Software Language Engineering by Steffen Zschaler, Dimitrios S. Kolovos, Nikolaos Drivalos, Richard F. Paige, Awais Rashid
• (2009) Generating Smart Wrapper Libraries for Arbitrary APIs by Uwe Jugel
• (2010) Automated Selective Caching for Reference Attribute Grammars by Emma Söderberg, Görel Hedin
• (2010) Reference Attribute Grammars for Metamodel Semantics by Christoff Bürger, Sven Karol, Christian Wende, Uwe Aßmann
• (2010) Modelling GLL Parser Implementations by Adrian Johnstone, Elizabeth Scott
• (2010) Metamodel Usage Analysis for Identifying Metamodel Improvements by Markus Herrmannsdörfer, Daniel Ratiu, Maximilian Koegel
• (2010) Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF by Benjamin Braatz, Christoph Brandt
• (2010) Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled by Kacper Bąk, Krzysztof Czarnecki, Andrzej Wąsowski
• (2010) Support for the Evolution of C++ Generic Functions by Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup
• (2010) Automated Co-evolution of GMF Editor Models by Davide Di Ruscio, Ralf Lämmel, Alfonso Pierantonio
• (2010) An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models by Markus Herrmannsdörfer, Sander D. Vermolen, Guido Wachsmuth
• (2010) JTL: A Bidirectional and Change Propagating Transformation Language by Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio
• (2010) A Unified Format for Language Documents by Vadim Zaytsev, Ralf Lämmel
• (2010) Canonical Method Names for Java: Using Implementation Semantics to Identify Synonymous Verbs by Einar W. Høst, Bjarte M. Østvold
• (2010) Subjective-C: Bringing Context to Mobile Platform Programming by Sebastián González, Nicolás Cardozo, Kim Mens, Alfredo Cádiz, Jean-Christophe Libbrecht, Julien Goffaux
• (2010) Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies by Arnaud Hubaux, Quentin Boucher, Herman Hartmann, Raphaël Michel, Patrick Heymans
• (2010) Extending DMM Behavior Specifications for Visual Execution and Debugging by Nils Bandener, Christian Soltenborn, Gregor Engels
• (2010) Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation by Nicolas Genon, Patrick Heymans, Daniel Amyot
• (2010) Featherweight TEX and Parser Correctness by Sebastian Erdweg, Klaus Ostermann
• (2011) A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations by Andreas Seibel, Regina Hebig, Stefan Neumann, Holger Giese
• (2011) An Algorithm for Layout Preservation in Refactoring Transformations by Maartje de Jonge, Eelco Visser
• (2011) Cloning in DSLs: Experiments with OCL by Robert Tairas, Jordi Cabot
• (2011) Uniform Modularization of Workflow Concerns Using Unify by Niels Joncheere, Ragnhild Van Der Straeten
• (2011) Design of Concept Libraries for C++ by Andrew M. Sutton, Bjarne Stroustrup
• (2011) Join Token-Based Event Handling: A Comprehensive Framework for Game Programming by Taketoshi Nishimori, Yasushi Kuno
• (2011) Reusing Pattern Solutions in Modeling: A Generic Approach Based on a Role Language by Christophe Tombelle, Gilles Vanwormhoudt, Emmanuel Renaux
• (2011) An Architecture for Information Exchange Based on Reference Models by Heiko Paulheim, Daniel Oberle, Roland Plendl, Florian Probst
• (2011) MoScript: A DSL for Querying and Manipulating Model Repositories by Wolfgang Kling, Frédéric Jouault, Dennis Wagelaar, Marco Brambilla, Jordi Cabot
• (2011) Reconstructing Complex Metamodel Evolution by Sander D. Vermolen, Guido Wachsmuth, Eelco Visser
• (2011) Formalizing a Domain Specific Language Using SOS: An Industrial Case Study by Frank P. M. Stappers, Sven Weber, Michel Reniers, Suzana Andova, István Nagy
• (2011) Semantics First! Rethinking the Language Design Process by Martin Erwig, Eric Walkingshaw
• (2011) Integrating Attribute Grammar and Functional Programming Language Features by Ted Kaminski, Eric Van Wyk
• (2011) Parse Forest Diagnostics with Dr. Ambiguity by Hendrikus J. S. Basten, Jurgen Vinju
• (2011) Ambiguity Detection: Scaling to Scannerless by Hendrikus J. S. Basten, Paul Klint, Jurgen Vinju
• (2011) Comparison of Context-Free Grammars Based on Parsing Generated Test Data by Bernd Fischer, Ralf Lämmel, Vadim Zaytsev
• (2012) Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs by Tijs van der Storm, William R. Cook, Alex Loh
• (2012) Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation by Anthony M. Sloane
• (2012) Termination Analysis for Higher-Order Attribute Grammars by Lijesh Krishnan, Eric Van Wyk
• (2012) Metamodelling for Grammarware Researchers by Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack
• (2012) Temporal Constraint Support for OCL by Bilal Kanso, Safouan Taha
• (2012) The Program Is the Model: Enabling Transformations@run.time by Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara
• (2012) A Framework for Bidirectional Model-to-Platform Transformations by Anthony Anjorin, Karsten Saller, Sebastian Rose, Andy Schürr
• (2012) Model Transformation Co-evolution: A Semi-automatic Approach by Jokin García, Óscar Díaz, Maider Azanza
• (2012) Guided Merging of Sequence Diagrams by Magdalena Widl, Armin Biere, Petra Kaufmann, Uwe Egly, Marijn J. H. Heule, Gerti Kappel, Martina Seidl, Hans Tompits
• (2012) Bridging the Chasm between Executable Metamodeling and Models of Computation by Benoît Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoît Baudry
• (2012) Grammatical Inference in Software Engineering: An Overview of the State of the Art by Andrew W. Stevenson, James R. Cordy
• (2012) Island Grammar-Based Parsing Using GLL and Tom by Ali Afroozeh, Jean-Christophe Bach, Mark van den Brand, Adrian Johnstone, Maarten Manders, Pierre-Etienne Moreau, Elizabeth Scott
• (2012) Layout-Sensitive Generalized Parsing by Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann
• (2012) A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling by Giancarlo Guizzardi, Veruska Zamborlini
• (2012) Declarative Name Binding and Scope Rules by Gabriël Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser
• (2012) On the Reusable Specification of Non-functional Properties in DSLs by Francisco Durán, Steffen Zschaler, Javier Troya
• (2012) Modular Well-Definedness Analysis for Attribute Grammars by Ted Kaminski, Eric Van Wyk
• (2012) Meta-language Support for Type-Safe Access to External Resources by Mark Hills, Paul Klint, Jurgen Vinju
• (2012) Approaches and Tools for Implementing Type Systems in Xtext by Lorenzo Bettini, Dietmar Stoll, Markus Völter, Serano Colameo
• (2012) A tutorial on metamodelling for grammar researchers by Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack
• (2012) Using a trope-based foundational ontology for bridging different areas of concern in ontology-driven conceptual modeling by Giancarlo Guizzardi, Veruska Zamborlini
• (2012) A survey of grammatical inference in software engineering by Andrew W. Stevenson, James R. Cordy
• (2012) The design and implementation of Object Grammars by Tijs van der Storm, William R. Cook, Alex Loh
• (2012) Domain-specific program profiling and its application to attribute grammars and term rewriting by Anthony M. Sloane, Matthew Roberts
• (2012) Monolithic and modular termination analyses for higher-order attribute grammars by Lijesh Krishnan, Eric Van Wyk
• (2012) Specification of temporal properties with OCL by Bilal Kanso, Safouan Taha
• (2013) Developing a Domain-Specific Language for Scheduling in the European Energy Sector by Stefan Sobernig, Mark Strembeck, Andreas J. Beck
• (2013) Micro-Machinations: A DSL for Game Economies by Paul Klint, Riemer van Rozen
• (2013) xMOF: Executable DSMLs Based on fUML by Tanja Mayerhofer, Philip Langer, Manuel Wimmer, Gerti Kappel
• (2013) Variability Support in Domain-Specific Language Development by Edoardo Vacchi, Walter Cazzola, Suresh Pillay, Benoît Combemale
• (2013) Software Evolution to Domain-Specific Languages by Stefan Fehrenbach, Sebastian Erdweg, Klaus Ostermann
• (2013) Micropatterns in Grammars by Vadim Zaytsev
• (2013) Safe Specification of Operator Precedence Rules by Ali Afroozeh, Mark van den Brand, Adrian Johnstone, Elizabeth Scott, Jurgen Vinju
• (2013) Detecting Ambiguity in Programming Language Grammars by Naveneetha Vasudevan, Laurence Tratt
• (2013) A Pretty Good Formatting Pipeline by Anya Helene Bagge, Tero Hasu
• (2013) The State of the Art in Language Workbenches: Conclusions from the Language Workbench Challenge by 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
• (2013) A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation by Papa Issa Diallo, Joël Champeau, Loïc Lagadec
• (2013) A Language Independent Task Engine for Incremental Name and Type Analysis by Guido Wachsmuth, Gabriël Konat, Vlad Vergu, Danny M. Groenewegen, Eelco Visser
• (2013) A Generic Framework for Symbolic Execution by Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
• (2013) Circular Higher-Order Reference Attribute Grammars by Emma Söderberg, Görel Hedin
• (2013) Mapping-Aware Megamodeling: Design Patterns and Laws by Zinovy Diskin, Sahar Kokaly, Tom Maibaum
• (2013) Partial Instances via Subclassing by Kacper Bąk, Zinovy Diskin, Michał Antkiewicz, Krzysztof Czarnecki, Andrzej Wąsowski
• (2013) Reifying Concurrency for Executable Metamodeling by Benoît Combemale, Julien De Antoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoît Baudry, Robert B. France
• (2014) ProMoBox: A Framework for Generating Domain-Specific Property Languages by Bart Meyers, Romuald Deshayes, Levi Lúcio, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer
• (2014) A SAT-Based Debugging Tool for State Machines and Sequence Diagrams by Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
• (2014) Towards User-Friendly Projectional Editors by Markus Völter, Janet Siegmund, Thorsten Berger, Bernd Kolb
• (2014) Bounded Seas: Island Parsing Without Shipwrecks by Jan Kurš, Mircea Lungu, Oscar Nierstrasz
• (2014) Eco: A Language Composition Editor by Lukas Diekmann, Laurence Tratt
• (2014) The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers by Andrei Chiș, Tudor Gîrba, Oscar Nierstrasz
• (2014) Evaluating the Usability of a Visual Feature Modeling Notation by Aleksandar Jakšic, Robert B. France, Philippe Collet, Sudipto Ghosh
• (2014) A Metamodel Family for Role-Based Modeling and Programming Languages by Thomas Kühn, Max Leuthäuser, Sebastian Götz, Christoph Seidl, Uwe Aßmann
• (2014) fUML as an Assembly Language for Model Transformation by Massimo Tisi, Frédéric Jouault, Jérôme Delatour, Zied Saidi, Hassene Choura
• (2014) Respect Your Parents: How Attribution and Rewriting Can Get Along by Anthony M. Sloane, Matthew Roberts, Len Hamey
• (2014) Model Checking of CTL-Extended OCL Specifications by Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl
• (2014) Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation by Daco C. Harkes, Eelco Visser
• (2014) Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle by Tom Ridge
• (2014) Origin Tracking in Attribute Grammars by Kevin Williams, Eric Van Wyk
• (2014) Dynamic Scope Discovery for Model Transformations by Māris Jukšs, Clark Verbrugge, Dániel Varró, Hans Vangheluwe
• (2014) Streamlining Control Flow Graph Construction with DCFlow by Mark Hills
• (2014) Declarative rewriting through circular nonterminal attributes by Emma Söderberg, Görel Hedin
• (2014) Evaluating and comparing language workbenches: Existing results and benchmarks for the future by 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
• (2014) Symbolic execution based on language transformation by Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
• (2014) Intra- and interdiagram consistency checking of behavioral multiview models by Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
• (2014) Practical domain-specific debuggers using the Moldable Debugger framework by Andrei Chiș, Marcus Denker, Tudor Gîrba, Oscar Nierstrasz
• (2014) Bounded seas by Jan Kurš, Mircea Lungu, Rathesan Iyadurai, Oscar Nierstrasz
• (2015) On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience by Salome Maro, Jan-Philipp Steghöfer, Anthony Anjorin, Matthias Tichy, Lars Gelin
• (2015) An Empirical Study on Simplification of Business Process Modeling Languages by Eric Umuhoza, Marco Brambilla, Davide Ripamonti, Jordi Cabot
• (2015) Melange: A Meta-Language for Modular and Reusable Development of DSLs by Thomas Degueule, Benoît Combemale, Arnaud Blouin, Olivier Barais, Jean-Marc Jezéquél
• (2015) Distributed Model-to-Model Transformation with ATL on MapReduce by Amine Benelallam, Abel Gómez, Massimo Tisi, Jordi Cabot
• (2015) Managing Uncertainty in Bidirectional Model Transformations by Romina Eramo, Alfonso Pierantonio, Gianni Rosa
• (2015) Modular Capture Avoidance for Program Transformations by Nico Ritschel, Sebastian Erdweg
• (2015) Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview by Christoff Bürger
• (2015) Example-Based Validation of Domain-Specific Visual Languages by Jesús J. López-Fernández, Esther Guerra, Juan de Lara
• (2015) A Combined Formal Model for Relational Context-Dependent Roles by Thomas Kühn, Stephan Böhme, Sebastian Götz, Uwe Aßmann
• (2015) Weaving Concurrency in Executable Domain-Specific Modeling Languages by Florent Latombe, Xavier Crégut, Benoît Combemale, Julien DeAntoni, Marc Pantel
• (2015) Supporting Efficient and Advanced Omniscient Debugging for xDSMLs by Erwan Bousse, Jonathan Corley, Benoît Combemale, Jeffrey G. Gray, Benoît Baudry
• (2015) Using Decision Rules for Solving Conflicts in Extended Feature Models by Lina Ochoa, Oscar González-Rojas, Thomas Thüm
• (2016) Parsing and Reflective Printing, Bidirectionally by Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu
• (2016) Taming Context-Sensitive Languages with Principled Stateful Parsing by Nicolas Laurent, Kim Mens
• (2016) Efficient Development of Consistent Projectional Editors using Grammar Cells by Markus Völter, Tamás Szabó, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, Thorsten Berger
• (2016) Experiences of Models@run-time with EMF and CDO by Daniel Seybold, Jörg Domaschka, Alessandro Rossini, Christopher B. Hauser, Frank Griesinger, Athanasios Tsitsipas
• (2016) Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation by Salvador Martínez Perez, Jokin García, Jordi Cabot
• (2016) Object-Oriented Design Pattern for DSL Program Monitoring by Zoé Drey, Ciprian Teodorov
• (2016) Language Design and Implementation for the Domain of Coding Conventions by Boryana Goncharenko, Vadim Zaytsev
• (2016) BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment by Zhaoyi Luo, Joanne M. Atlee
• (2016) Adding Uncertainty and Units to Quantity Types in Software Models by Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo
• (2016) Towards a Universal Code Formatter through Machine Learning by Terence Parr, Jurgen Vinju
• (2016) The IDE Portability Problem and Its Solution in Monto by Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg
• (2016) Principled Syntactic Code Completion using Placeholders by Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser
• (2016) Automated Testing Support for Reactive Domain-Specific Modelling Languages by Bart Meyers, Joachim Denil, István Dávid, Hans Vangheluwe
• (2016) Side Effects Take the Blame by Felipe Bañados Schwerter
• (2016) Symbolic Execution of High-Level Transformations by Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wąsowski
• (2016) Efficient Model Partitioning for Distributed Model Transformations by Amine Benelallam, Massimo Tisi, Jesús Sánchez Cuadrado, Juan de Lara, Jordi Cabot
• (2016) Coupled Software Transformations — Revisited by Ralf Lämmel
• (2017) Better Call the Crowd: Using Crowdsourcing to Shape the Notation of Domain-Specific Languages by Marco Brambilla, Jordi Cabot, Javier Luis Cánovas Izquierdo, Andrea Mauri
• (2017) Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools by Lechanceux Luhunu, Eugene Syriani
• (2017) FlowSpec: Declarative Dataflow Analysis Specification by Jeff Smits, Eelco Visser
• (2017) A Chrestomathy of DSL Implementations by Simon Schauss, Ralf Lämmel, Johannes Härtel, Marcel Heinz, Kevin Klein, Lukas Härtel, Thorsten Berger
• (2017) A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing by Kimio Kuramitsu
• (2017) Concrete Syntax: A Multi-Paradigm Modelling Approach by Yentl Van Tendeloo, Simon Van Mierlo, Bart Meyers, Hans Vangheluwe
• (2017) Energy Efficiency across Programming Languages by Rui Pereira, Marco Couto, Francisco Ribeiro, Rui Rua, Jácome Cunha, João Paulo Fernandes, João Saraiva
• (2017) Ensuring Non-interference of Composable Language Extensions by Ted Kaminski, Eric Van Wyk
• (2017) Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages by Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore
• (2017) Towards a Taxonomy of Grammar Smells by Mats Stijlaart, Vadim Zaytsev
• (2017) A Formalisation of Parameterised Reference Attribute Grammars by Scott Buckley, Anthony M. Sloane
• (2017) Concurrent Circular Reference Attribute Grammars by Jesper Öqvist, Görel Hedin
• (2017) Debugging with Domain-Specific Events via Macros by Xiangqi Li, Matthew Flatt
• (2017) Deep Priority Conflicts in the Wild: A Pilot Study by Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser
• (2017) Incremental Packrat Parsing by Patrick Dubroy, Alessandro Warth
• (2017) Robust Programs with Filtered Iterators by Jiasi Shen, Martin C. Rinard
• (2017) Robust Projectional Editing by Friedrich Steimann, Marcus Frenkel, Markus Völter
• (2017) Structural Model Subtyping with OCL Constraints by Artur Boronat
• (2017) Type-Safe Modular Parsing by Haoyuan Zhang, Huang Li, Bruno C. d. S. Oliveira
• (2017) Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation by Robert Bill, Patrick Neubauer, Manuel Wimmer
• (2017) A Requirements Engineering Approach for Usability-Driven DSL Development by Ankica Barišić, Dominique Blouin, Vasco Amaral, Miguel Goulão
• (2017) Software meta-language engineering and CBS by Peter D. Mosses
• (2017) FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis by Jeff Smits, Guido Wachsmuth, Eelco Visser
• (2018) The Next 700 Unit of Measurement Checkers by Oscar Bennich-Björkman, Steve McKeever
• (2018) Constraint-based Run-time State Migration for Live Modeling by Ulyana Tikhonova, Jouke Stoel, Tijs van der Storm, Thomas Degueule
• (2018) Continuous Model Validation using Reference Attribute Grammars by Johannes Mey, René Schöne, Görel Hedin, Emma Söderberg, Thomas Kühn, Niklas Fors, Jesper Öqvist, Uwe Aßmann
• (2018) Declarative Specification of Indentation Rules by Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Sebastian Erdweg, Eelco Visser
• (2018) Deriving Fluent Internal Domain-Specific Languages from Grammars by Arvid Butting, Manuela Dalibor, Gerrit Leonhardt, Bernhard Rumpe, Andreas Wortmann
• (2018) Facet-Oriented Modelling: Open Objects for Model-Driven Engineering by Juan de Lara, Esther Guerra, Jörg Kienzle, Yanis Hattab
• (2018) GLL Parsing with Flexible Combinators by L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone
• (2018) Modular Language Composition for the Masses by Manuel Leduc, Thomas Degueule, Benoît Combemale
• (2018) Morbig: A Static Parser for POSIX Shell by Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
• (2018) Translating Grammars to Accurate Metamodels by Arvid Butting, Nico Jansen, Bernhard Rumpe, Andreas Wortmann
• (2018) A Practical Type System for Safe Aliasing by Dimi Racordon, Didier Buchs
• (2018) Analysing Meta-Model Product Lines by Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay
• (2018) Migrating Business Logic to an Incremental Computing DSL: A Case Study by Daco C. Harkes, Elmer van Chastelet, Eelco Visser
• (2018) Relational Reference Attribute Grammars: Improving continuous model validation by Johannes Mey, René Schöne, Görel Hedin, Emma Söderberg, Thomas Kühn, Niklas Fors, Jesper Öqvist, Uwe Aßmann
• (2018) MORBIG: A Static Parser for POSIX Shell by Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
• (2018) Purely functional GLL parsing by L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone
• (2019) A Feature-based Classification of Triple Graph Grammar Variants by Nils B. Weidmann, Robin Oppermann, Patrick Robrecht
• (2019) Spectrum-based Fault Localization for Context-Free Grammars by Moeketsi Raselimo, Bernd Fischer
• (2019) Consistency Management via a Combination of Triple Graph Grammars and Linear Programming by Nils B. Weidmann, Anthony Anjorin, Erhan Leblebici, Andy Schürr
• (2019) Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors by Vasco Sousa, Eugene Syriani, Khady Fall
• (2019) Multiple Lexicalisation (A Java Based Study) by Elizabeth Scott, Adrian Johnstone
• (2019) Default Disambiguation for Online Parsers by Lukas Diekmann, Laurence Tratt
• (2019) Domain-Specific Model Differencing in Visual Concrete Syntax by Manouchehr Zadahmad, Eugene Syriani, Omar Alam, Esther Guerra, Juan de Lara
• (2019) Detecting and Exploring Side Effects when Repairing Model Inconsistencies by Djamel Eddine Khelladi, Roland Kretschmer, Alexander Egyed
• (2019) High-Level Mission Specification for Multiple Robots by Sergio García, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomáš Bureš
• (2019) Efficient Late Binding of Dynamic Function Compositions by Lars Schütze, Jerónimo Castrillón
• (2019) Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects by Philipp Seifer, Johannes Härtel, Martin Leinberger, Ralf Lämmel, Steffen Staab
• (2019) From DSL Specification to Interactive Computer Programming Environment by Pierre Jeanjean, Benoît Combemale, Olivier Barais
• (2019) Transactional Editing: Giving ACID to Programmers by Friedrich Steimann, Nils Kurowsky
• (2020) Gradually Typing Strategies by Jeff Smits, Eelco Visser
• (2020) Annotating Executable DSLs with Energy Estimation Formulas by Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, Gerson Sunyé
• (2020) A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars by Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, Gabriele Taentzer
• (2020) A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation by Nils B. Weidmann, Lars Fritsche, Anthony Anjorin
• (2020) Software Language Engineers’ Worst Nightmare by Vadim Zaytsev
• (2020) Principles and Patterns of JastAdd-style Reference Attribute Grammars by Niklas Fors, Emma Söderberg, Görel Hedin
• (2020) Extrinsically Typed Operational Semantics for Functional Languages by Matteo Cimini, Dale Miller, Jeremy G. Siek
• (2020) Featherweight Swift: A Core Calculus for Swift’s Type System by Dimi Racordon, Didier Buchs
• (2020) Untangling Mechanized Proofs by Clément Pit-Claudel
• (2020) Monadification of Attribute Grammars by Dawn Michaelson, Eric Van Wyk
• (2020) Behavior Trees in Action: A Study of Robotics Applications by Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wąsowski
• (2020) Strategic Tree Rewriting in Attribute Grammars by Lucas Kramer, Eric Van Wyk
• (2020) A Semantic Framework for PEGs by Sérgio Queiróz de Medeiros, Carlos Olarte
• (2020) Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers by Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, Bernd Fischer
• (2020) Modular and Distributed IDE by Fabien Coulon, Alex Auvolat, Benoît Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, Noël Plouzeau
• (2020) Block-Based Syntax from Context-Free Grammars by Mauricio Verano Merino, Tijs van der Storm
• (2021) Monilogging for Executable Domain-Lpecific Languages by Dorian Leroy, Benoît Lelandais, Marie-Pierre Oudot, Benoît Combemale
• (2021) Automating the Synthesis of Recommender Systems for Modelling Languages by Lissette Almonte, Sara Pérez-Soler, Esther Guerra, Iván Cantador, Juan de Lara
• (2021) Executing Certified Model Transformations on Apache Spark by Jolan Philippe, Massimo Tisi, Hélène Coullon, Gerson Sunyé
• (2021) A Concurrency Model for JavaScript with Cooperative Cancellation by Tian Zhao, Yonglun Li
• (2021) There is More Than One Way to Zen Your Python by Aamir Farooq, Vadim Zaytsev
• (2021) Getting Grammars into Shape for Block-based Editors by Mauricio Verano Merino, Tom Beckmann, Tijs van der Storm, Robert Hirschfeld, Jurgen Vinju
• (2021) Fast Incremental PEG Parsing by Zachary Yedidia, Stephen Chong
• (2021) Faster Reachability Analysis for LR(1) Parsers by Frédéric Bour, François Pottier
• (2021) Automatic Grammar Repair by Moeketsi Raselimo, Bernd Fischer
• (2021) SEALS: A Framework for Building Self-Adaptive Virtual Machines by Gwendal Jouneaux, Olivier Barais, Benoît Combemale, Gunter Mussbacher
• (2021) FIDDLR: Streamlining Reuse with Concern-Specific Modelling Languages by Maximilian Schiedermeier, Jörg Kienzle, Bettina Kemme
• (2022) A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing by Houda Boukham, Guido Wachsmuth, Martijn Dwars, Dalila Chiadmi
• (2022) Lang-n-Prove: A DSL for Language Proofs by Matteo Cimini
• (2022) Workbench for Creating Block-Based Environments by Mauricio Verano Merino, Koen van Wijk
• (2022) Optimising First-Class Pattern Matching by Jeff Smits, Toine Hartman, Jesper Cockx
• (2022) Property-Based Testing: Climbing the Stairway to Verification by Zilin Chen, Christine Rizkallah, Liam O’Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller
• (2022) Selective Traceability for Rule-Based Model-to-Model Transformations by Qurat Ul Ain Ali, Dimitrios S. Kolovos, Konstantinos Barmpis
• (2022) Partial Parsing for Structured Editors by Tom Beckmann, Patrick Rein, Toni Mattis, Robert Hirschfeld
• (2022) Specializing Scope Graph Resolution Queries by Aron Zwaan
• (2022) Gradual Grammars: Syntax in Levels and Locales by Tijs van der Storm, Felienne Hermans
• (2022) Property Probes: Source Code Based Exploration of Program Analysis Results by Anton Risberg Alaküla, Görel Hedin, Niklas Fors, Adrian Pop
• (2022) jGuard: Programming Misuse-Resilient APIs by Simon Binder, Krishna Narasimhan, Svenja Kernig, Mira Mezini
• (2022) A Language-Parametric Approach to Exploratory Programming Environments by L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoît Combemale, Olivier Barais
• (2022) Collection Skeletons: Declarative Abstractions for Data Collections by Björn Franke, Zhibo Li, John Magnus Morton, Michel Steuwer
• (2022) iCoLa: A Compositional Meta-language with Support for Incremental Language Development by Damian Frölich, L. Thomas van Binsbergen
• (2022) BatakJava: An Object-Oriented Programming Language with Versions by Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
• (2022) From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages by Faezeh Khorram, Erwan Bousse, Antonio Garmendía, Jean-Marie Mottu, Gerson Sunyé, Manuel Wimmer
• (2022) Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles by Tetsuro Yamazaki, Tomoki Nakamaru, Shigeru Chiba
• (2022) Partial Loading of Repository-Based Models through Static Analysis by Sorour Jahanbin, Dimitrios S. Kolovos, Simos Gerasimou, Gerson Sunyé
• (2023) Exceptions all Over the Shop: Modular, Customizable, Language-Independent Exception Handling Layer by Walter Cazzola, Luca Favalli
• (2023) An Executable Semantics for Faster Development of Optimizing Python Compilers by Olivier Melançon, Marc Feeley, Manuel Serrano
• (2023) Adaptive Structural Operational Semantics by Gwendal Jouneaux, Damian Frölich, Olivier Barais, Benoît Combemale, Gurvan Le Guernic, Gunter Mussbacher, L. Thomas van Binsbergen
• (2023) A Reference GLL Implementation by Adrian Johnstone
• (2023) Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars by Lucas Kramer, Eric Van Wyk
• (2023) Nanopass Attribute Grammars by Nathan Ringo, Lucas Kramer, Eric Van Wyk
• (2023) Automated Extraction of Grammar Optimization Rule Configurations for Metamodel-Grammar Co-evolution by Weixing Zhang, Regina Hebig, Daniel Strüber, Jan-Philipp Steghöfer
• (2023) Reuse and Automated Integration of Recommenders for Modelling Languages by Lissette Almonte, Antonio Garmendía, Esther Guerra, Juan de Lara
• (2023) GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair by Francisco Ribeiro, José Nuno Macedo, Kanae Tsushima, Rui Abreu, João Saraiva
• (2023) Temporal Breakpoints for Multiverse Debugging by Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
• (2023) Cross-Level Debugging for Static Analysers by Mats Van Molle, Bram Vandenbogaerde, Coen De Roover
• (2023) Cascade: A Meta-language for Change, Cause and Effect by Riemer van Rozen
• (2023) Enabling Blended Modelling of Timing and Variability in EAST-ADL by Muhammad Waseem Anwar, Federico Ciccozzi, Alessio Bucaioni
• (2023) Towards Efficient Model Comparison using Automated Program Rewriting by Qurat Ul Ain Ali, Dimitrios S. Kolovos, Konstantinos Barmpis
• (2023) Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report by Malte Heithoff, Nico Jansen, Jörg Christian Kirchhof, Judith Michael, Florian Rademacher, Bernhard Rumpe
• (2024) Cooperative Specification via Composition Control by Christopher A. Esterhuyse, L. Thomas van Binsbergen
• (2024) Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels by Nathan Richardson, Dimitrios S. Kolovos, Antonio García-Domínguez
• (2024) Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views by James Pontes Miranda, Hugo Brunelière, Massimo Tisi, Gerson Sunyé
• (2024) Concrete Syntax Metapatterns by Luka Miljak, Casper Bach Poulsen, Rosilde Corvino
• (2024) Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis by Idriss Riouak, Niklas Fors, Jesper Öqvist, Görel Hedin, Christoph Reichenbach
• (2024) The Design of a Self-Compiling C Transpiler Targeting POSIX Shell by Laurent Huberdeau, Cassandre Hamel, Stefan Monnier, Marc Feeley
• (2024) Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages by Simão Cunha, Luís Silva, João Saraiva, João Paulo Fernandes
• (2024) Cloud Programming Languages and Infrastructure from Code: An Empirical Study by Georg Simhandl, Uwe Zdun
• (2024) Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages by Gizem Çaylak, Daniel Lundén, Viktor Senderov, David Broman
• (2024) Type Checking with Rewriting Rules by Dimi Racordon
• (2024) Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions by Lars Hummelgren, Viktor Palmkvist, Linnea Stjerna, Xuechun Xu, Joakim Jaldén, David Broman
• (2024) Reducing Write Barrier Overheads for Orthogonal Persistence by Yilin Zhang, Omkar Dilip Dhawal, V. Krishna Nandivada, Shigeru Chiba, Tomoharu Ugawa
• (2024) Bugfox: A Trace-Based Analyzer for Localizing the Cause of Software Regression in JavaScript by Yuefeng Hu, Hiromu Ishibe, Feng Dai, Tetsuro Yamazaki, Shigeru Chiba
• (2024) The eXchange Calculus (XC): A functional programming language design for distributed collective systems by Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
• (2024) Supporting reusable model migration with Edelta by Lorenzo Bettini, Amleto Di Salle, Ludovico Iovino, Alfonso Pierantonio
• (2024) Collection skeletons: Declarative abstractions for data collections by Björn Franke, Zhibo Li, John Magnus Morton, Michel Steuwer
• (2024) iCoLa+: An extensible meta-language with support for exploratory language development by Damian Frölich, L. Thomas van Binsbergen
• (2024) A language-parametric test coverage framework for executable domain-specific languages by Faezeh Khorram, Erwan Bousse, Antonio Garmendía, Jean-Marie Mottu, Gerson Sunyé, Manuel Wimmer
• (2024) Translating meaning representations to behavioural interface specifications by Iat Tou Leong, Raul Barbosa
• (2024) Zipper-based embedding of strategic attribute grammars by José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, João Saraiva
• (2024) Spectrum-based rule- and item-level localization of faults in context-free grammars by Moeketsi Raselimo, Bernd Fischer
• (2024) Property probes: Live exploration of program analysis results by Anton Risberg Alaküla, Görel Hedin, Niklas Fors, Adrian Pop
• (2024) Grammar-based test suite construction using coverage-directed algorithms over LR-graphs by Christoff Rossouw, Bernd Fischer
• (2024) Supporting meta-model-based language evolution and rapid prototyping with automated grammar transformation by Weixing Zhang, Jörg Holtmann, Daniel Strüber, Regina Hebig, Jan-Philipp Steghöfer
• (2025) Handling Grammar Cycles in the 1997 SML Definition by Elizabeth Scott, Adrian Johnstone
• (2025) Property-based Testing of Attribute Grammars by José Nuno Macedo, Marcos Viera, João Saraiva
• (2025) Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars by Luke Bessant, Eric Van Wyk
• (2025) Boosting Parallel Parsing through Cyclic Operator Precedence Grammars by Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella
• (2025) A Model-Driven Approach to Design, Generation, and Deployment of GUI Component Libraries by Arkadii Gerasimov, Nico Jansen, Judith Michael, Bernhard Rumpe, Sebastian Will
• (2025) TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly by José Pedro Ferreira, João Bispo, Susana Maria de Sousa Lima
• (2025) Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) Standardization by Philipp Riemer, Yury Nikulin, Ashley Claymore, Mikhail Barash
• (2025) AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP support by Georg Hinkel, Alexander Hert, Niklas Hettler, Kevin Weinert
• (2025) Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages by Damian Frölich, Tommaso Pacciani, L. Thomas van Binsbergen
• (2025) Dynamic Dependency-Based Purity Checking by Anton Risberg Alaküla, Niklas Fors, Christoph Reichenbach
• (2025) Optimize Effect Handling for Tail-resumption with Stack Unwinding by Yuze Fu, Shigeru Chiba
• (2025) Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair by Aleksandar S. Dimovski
• (2025) (Semantic) Feature Model Differences with (Q)SAT by Simone Heisinger, Maximilian Heisinger, Martina Seidl
• (2025) Detecting Resource Leaks on Android with Alpakka by Gustavo Soares Santos, João Bispo, Alexandra Mendes
• (2026) A Nanopass Approach to a Modular RDF Implementation by Duncan Guthrie, Michele Sevegnani, Paul Harvey
• (2026) A Shallow Embedding of Datalog in Lean by Ramy Shahin
• (2026) CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems by Uraz Odyurt, Ömer Faruk Sayilir, Mariëlle Stoelinga, Vadim Zaytsev
• (2026) Dynamic Wind for OCaml Effect Handlers with Escaping Continuation Support by Antonino Yann William Gillard, Tetsuro Yamazaki, Tomoharu Ugawa
• (2026) Enabling Navigability of Programming Language Specifications: A Case of ECMAScript (JavaScript) Standard Library Specification by Alberto Tontoni, Mikhail Barash
• (2026) Engineering Verified Model Transformations through a Proof-Based Language Workbench by Akram Idani, German Vega
• (2026) How Much Does an LLM Know about My Programming Language? by David Delgado, Lola Burgueño, Robert Clarisó
• (2026) Incremental, Bidirectional Text-to-Text Synchronizations with AnyText by Georg Hinkel
• (2026) Multi-Dimensional Context-Oriented Programming with a Lightweight Domain Specific Language by Christian Gutsche, Sebastian Götz, Uwe Aßmann
• (2026) AGTix: Concise Use of Scope Graphs in Reference Attribute Grammars by Luke Bessant, Eric Van Wyk
• (2026) Why Just-In-Time Compilation Matters: Evaluating Runtime and Energy Efficiency by Luís Maia, Simão Cunha, João Saraiva
• (2026) Ztrategic: Libraries and Tools for Software Language Specification, Transformation, and Testing by Emanuel Rodrigues, José Nuno Macedo, João Saraiva

---

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