Topic T4D: Interpretation

Summary

• Requested in 4/26 calls
• Requested in 1/19 pure calls (2015–2015 with the longest streak of 1 years)
• Primary tagged in 5/26 paper bundles
• Primary tagged in 5/19 pure proceedings (2012–2025 with the longest streak of 2 years)
• Secondary tagged in 20/26 paper bundles
• Secondary tagged in 17/19 pure proceedings (2008–2025 with the longest streak of 15 years)
• Top 3 co-occurring topics:
  • T4A: Workbenches (22 times)
  • T3C: DSLs (13 times)
  • T1D: Composition (13 times)
• Top 3 contributors:
  • Benoît Combemale (9 times)
  • Olivier Barais (5 times)
  • Tijs van der Storm (4 times)

List of papers (56)

• (SLE 2008) Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude (José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo) T1C T5D T4D
• (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 2011) Join Token-Based Event Handling: A Comprehensive Framework for Game Programming (Taketoshi Nishimori, Yasushi Kuno) T1D T4D T3F
• (SLE 2012) Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs (Tijs van der Storm, William R. Cook, Alex Loh) T3A T1D T4D
• (SLE 2012) The Program Is the Model: Enabling Transformations@run.time (Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara) T4D T3F T3B
• (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 2013) xMOF: Executable DSMLs Based on fUML (Tanja Mayerhofer, Philip Langer, Manuel Wimmer, Gerti Kappel) T1C T4D T3C
• (SLE 2013) Reifying Concurrency for Executable Metamodeling (Benoît Combemale, Julien De Antoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoît Baudry, Robert B. France) T1C T4D T3C
• (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) 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) 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) Dynamic Scope Discovery for Model Transformations (Māris Jukšs, Clark Verbrugge, Dániel Varró, Hans Vangheluwe) T5F T3B T4D T4G
• (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 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) 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) Experiences of Models@run-time with EMF and CDO (Daniel Seybold, Jörg Domaschka, Alessandro Rossini, Christopher B. Hauser, Frank Griesinger, Athanasios Tsitsipas) T4D T6A T1D
• (SLE 2016) Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation (Salvador Martínez Perez, Jokin García, Jordi Cabot) T4D T4B T5A
• (SLE 2016) Object-Oriented Design Pattern for DSL Program Monitoring (Zoé Drey, Ciprian Teodorov) T4D T3C T5G
• (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) Automated Testing Support for Reactive Domain-Specific Modelling Languages (Bart Meyers, Joachim Denil, István Dávid, Hans Vangheluwe) T5C T3C T4D
• (SLE 2016) Side Effects Take the Blame (Felipe Bañados Schwerter) T1B T1C T4D T5D
• (SLE 2017) Red Shift: Procedural Shift-Reduce Parsing (Nicolas Laurent) T4D T3A T5F T1A
• (SLE 2017) A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing (Kimio Kuramitsu) T4D T3A T1D T5F
• (SLE 2017) Concurrent Circular Reference Attribute Grammars (Jesper Öqvist, Görel Hedin) T4D T3A T5F T1B
• (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 Programs with Filtered Iterators (Jiasi Shen, Martin C. Rinard) T1A T4D T5H T3D
• (SLE 2018) Bacatá: A Language Parametric Notebook Generator (Mauricio Verano Merino, Jurgen Vinju, Tijs van der Storm) T4A T4C T4D T5H
• (SLE 2018) Languages as First-Class Citizens (Matteo Cimini) T6D T5D T4D
• (SLE 2018) Constraint-based Run-time State Migration for Live Modeling (Ulyana Tikhonova, Jouke Stoel, Tijs van der Storm, Thomas Degueule) T3B T4D
• (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 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) From DSL Specification to Interactive Computer Programming Environment (Pierre Jeanjean, Benoît Combemale, Olivier Barais) T3B T4A T4C T4D
• (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) 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) 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 2021) Monilogging for Executable Domain-Lpecific Languages (Dorian Leroy, Benoît Lelandais, Marie-Pierre Oudot, Benoît Combemale) T3C T4A T4D T5H
• (SLE 2021) Live Programming and Programming by Example: Better Together (Sorin Lerner) T4A T4G T5H T4D
• (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) Reflection as a Tool to Debug Objects (Steven Costiou, Vincent Aranega, Marcus Denker) T4A T4D T6A
• (SLE 2022) jGuard: Programming Misuse-Resilient APIs (Simon Binder, Krishna Narasimhan, Svenja Kernig, Mira Mezini) T3F T4C T4D T5E
• (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 2023) Adaptive Structural Operational Semantics (Gwendal Jouneaux, Damian Frölich, Olivier Barais, Benoît Combemale, Gurvan Le Guernic, Gunter Mussbacher, L. Thomas van Binsbergen) T1C T4D T3C
• (SLE 2023) Temporal Breakpoints for Multiverse Debugging (Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec) T5C T4D T5G
• (SLE 2023) Cascade: A Meta-language for Change, Cause and Effect (Riemer van Rozen) T3A T3C T4B T4D
• (SLE 2023) Practical Runtime Instrumentation of Software Languages: The Case of SciHook (Dorian Leroy, Benoît Combemale, Benoît Lelandais, Marie-Pierre Oudot) T4D T1D T5G
• (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) Reducing Write Barrier Overheads for Orthogonal Persistence (Yilin Zhang, Omkar Dilip Dhawal, V. Krishna Nandivada, Shigeru Chiba, Tomoharu Ugawa) T5F T4D T3D
• (SLE 2024 SI) Collection skeletons: Declarative abstractions for data collections (Björn Franke, Zhibo Li, John Magnus Morton, Michel Steuwer) T3F T4D T5F T1D
• (SLE 2025) Integrating Model Checking into a Live Modeling Environment (Joeri Exelmans, Ciprian Teodorov, Hans Vangheluwe) T5D T4D T4E
• (SLE 2025) Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages (Damian Frölich, Tommaso Pacciani, L. Thomas van Binsbergen) T4D T5C T1C
• (SLE 2025) Optimize Effect Handling for Tail-resumption with Stack Unwinding (Yuze Fu, Shigeru Chiba) T4D T5F T1C

---

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