Topic T4C: Vertical Transformation

Summary

• Requested in 20/26 calls
• Requested in 17/19 pure calls (2008–2026 with the longest streak of 15 years)
• Primary tagged in 11/26 paper bundles
• Primary tagged in 9/19 pure proceedings (2010–2026 with the longest streak of 5 years)
• Secondary tagged in 19/26 paper bundles
• Secondary tagged in 18/19 pure proceedings (2008–2025 with the longest streak of 18 years)
• Top 3 co-occurring topics:
  • T4A: Workbenches (26 times)
  • T3C: DSLs (13 times)
  • T5D: Formal Methods (13 times)
• Top 3 contributors:
  • Bernd Fischer (5 times)
  • Adrian Johnstone (4 times)
  • Elizabeth Scott (4 times)

List of papers (63)

• (SLE 2008) Parse Table Composition: Separate Compilation and Binary Extensibility of Grammars (Martin Bravenboer, Eelco Visser) T1D T4C T1E
• (SLE 2008) Practical Scope Recovery Using Bridge Parsing (Emma Nilsson-Nyman, Torbjörn Ekman, Görel Hedin) T1B T4A T4C
• (SLE 2008 SI) Grammar Recovery from Parse Trees and Metrics-Guided Grammar Refactoring (Nicholas A. Kraft, Edward Duffy, Brian A. Malloy) T5B T4C T3A
• (SLE 2009) Eating Our Own Dog Food: DSLs for Generative and Transformational Engineering (James R. Cordy) T3C T4B T4C
• (SLE 2009) PIL: A Platform Independent Language for Retargetable DSLs (Zef Hemel, Eelco Visser) T2D T4C T3C
• (SLE 2009) Generating Smart Wrapper Libraries for Arbitrary APIs (Uwe Jugel) T3F T4C T5H
• (SLE 2010) Modelling GLL Parser Implementations (Adrian Johnstone, Elizabeth Scott) T4C T5F T5D
• (SLE 2010) Translator Generation Using ART (Adrian Johnstone, Elizabeth Scott) T4C T4A T1D
• (SLE 2010) Featherweight TEX and Parser Correctness (Sebastian Erdweg, Klaus Ostermann) T5D T4C T1A
• (SLE 2011) Metacompiling OWL Ontologies (Anders Nilsson, Görel Hedin) T3E T4C T3B
• (SLE 2012) A Framework for Bidirectional Model-to-Platform Transformations (Anthony Anjorin, Karsten Saller, Sebastian Rose, Andy Schürr) T4B T3B T4C
• (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) A Generic Framework for Symbolic Execution (Andrei Arusoaie, Dorel Lucanu, Vlad Rusu) T5D T1C T4C
• (SLE 2013) Towards Controlling Refinements of Statecharts (Conner Hansen, Eugene Syriani, Levi Lúcio) T2B T5D T4C T3C
• (SLE 2014) AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications (Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli) T3C T4D T1C T4C
• (SLE 2014) Streamlining Control Flow Graph Construction with DCFlow (Mark Hills) T3C T4C T4A T4F
• (SLE 2014 SI) Symbolic execution based on language transformation (Andrei Arusoaie, Dorel Lucanu, Vlad Rusu) T4C T1C T5D T4A
• (SLE 2015) XMLText: From XML Schema to Xtext (Patrick Neubauer, Alexander Bergmayr, Tanja Mayerhofer, Javier Troya, Manuel Wimmer) T4C T3C T4A T2D
• (SLE 2015) The Whiley Rewrite Language (WyRL) (David J. Pearce) T3B T4C T4A T5D
• (SLE 2016) BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment (Zhaoyi Luo, Joanne M. Atlee) T1D T3C T1C T4C
• (SLE 2016) Symbolic Execution of High-Level Transformations (Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wąsowski) T5D T3B T4C
• (SLE 2016) Raincode Assembler Compiler (Volodymyr Blagodarov, Ynès Jaradin, Vadim Zaytsev) T6B T4C T3D T2A
• (SLE 2017) Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools (Lechanceux Luhunu, Eugene Syriani) T4C T5F T5E T4A
• (SLE 2017) Ensuring Non-interference of Composable Language Extensions (Ted Kaminski, Eric Van Wyk) T1D T5D T1B T4C
• (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 2018) Bacatá: A Language Parametric Notebook Generator (Mauricio Verano Merino, Jurgen Vinju, Tijs van der Storm) T4A T4C T4D T5H
• (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) An Industrial Case Study in Compiler Testing (Vadim Zaytsev) T5C T4A T4C T6B
• (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 SI) MORBIG: A Static Parser for POSIX Shell (Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen) T4C T3D T5E
• (SLE 2018 SI) Purely functional GLL parsing (L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone) T4C T3A T5F
• (SLE 2019) Spectrum-based Fault Localization for Context-Free Grammars (Moeketsi Raselimo, Bernd Fischer) T1A T4C T6B
• (SLE 2019) From DSL Specification to Interactive Computer Programming Environment (Pierre Jeanjean, Benoît Combemale, Olivier Barais) T3B T4A T4C T4D
• (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) Extrinsically Typed Operational Semantics for Functional Languages (Matteo Cimini, Dale Miller, Jeremy G. Siek) T1B T4A T5D T4C
• (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 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) 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) 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) A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing (Houda Boukham, Guido Wachsmuth, Martijn Dwars, Dalila Chiadmi) T4C T3C T2D T5F
• (SLE 2022) Optimising First-Class Pattern Matching (Jeff Smits, Toine Hartman, Jesper Cockx) T4C T5F T1B
• (SLE 2022) jGuard: Programming Misuse-Resilient APIs (Simon Binder, Krishna Narasimhan, Svenja Kernig, Mira Mezini) T3F T4C T4D T5E
• (SLE 2022) Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles (Tetsuro Yamazaki, Tomoki Nakamaru, Shigeru Chiba) T4C T3F T1B
• (SLE 2023) An Executable Semantics for Faster Development of Optimizing Python Compilers (Olivier Melançon, Marc Feeley, Manuel Serrano) T1C T4C T5D
• (SLE 2023) Nanopass Attribute Grammars (Nathan Ringo, Lucas Kramer, Eric Van Wyk) T4C T3A T1B
• (SLE 2023) Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages (Nico Jansen, Bernhard Rumpe) T1D T4C T4A
• (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) The Design of a Self-Compiling C Transpiler Targeting POSIX Shell (Laurent Huberdeau, Cassandre Hamel, Stefan Monnier, Marc Feeley) T4C T2D T3D T5F
• (SLE 2024) Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages (Gizem Çaylak, Daniel Lundén, Viktor Senderov, David Broman) T1B T4C T4D T5E
• (SLE 2024) Trieste: A C++ DSL for Flexible Tree Rewriting (Sylvan Clebsch, Matilda Blomqvist, Elias Castegren, Matthew Johnson, Matthew Parkinson) T3B T4C T5F T1D
• (SLE 2024) Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions (Lars Hummelgren, Viktor Palmkvist, Linnea Stjerna, Xuechun Xu, Joakim Jaldén, David Broman) T3C T4C T5F
• (SLE 2025) Handling Grammar Cycles in the 1997 SML Definition (Elizabeth Scott, Adrian Johnstone) T4C T3A T4A
• (SLE 2025) Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars (Luke Bessant, Eric Van Wyk) T1B T3A T4C
• (SLE 2025) Boosting Parallel Parsing through Cyclic Operator Precedence Grammars (Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella) T4C T5F T3A
• (SLE 2025) A Model-Driven Approach to Design, Generation, and Deployment of GUI Component Libraries (Arkadii Gerasimov, Nico Jansen, Judith Michael, Bernhard Rumpe, Sebastian Will) T1E T4C T2D
• (SLE 2025) TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly (José Pedro Ferreira, João Bispo, Susana Maria de Sousa Lima) T4C T2D T3D
• (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 2026) Why Just-In-Time Compilation Matters: Evaluating Runtime and Energy Efficiency (Luís Maia, Simão Cunha, João Saraiva) T4C

---

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