Topic T1C: Behavioural Semantics

Summary

• Requested in 14/26 calls
• Requested in 11/19 pure calls (2016–2026 with the longest streak of 11 years)
• Primary tagged in 12/26 paper bundles
• Primary tagged in 12/19 pure proceedings (2008–2026 with the longest streak of 5 years)
• Secondary tagged in 13/26 paper bundles
• Secondary tagged in 9/19 pure proceedings (2010–2025 with the longest streak of 5 years)
• Top 3 co-occurring topics:
  • T5D: Formal Methods (13 times)
  • T4A: Workbenches (11 times)
  • T4D: Interpretation (8 times)
• Top 3 contributors:
  • Benoît Combemale (5 times)
  • Olivier Barais (3 times)
  • Benoît Baudry (2 times)

List of papers (39)

• (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 2010) A Language for Software Variation Research (Martin Erwig) T2C T1C T3C
• (SLE 2010) Reference Attribute Grammars for Metamodel Semantics (Christoff Bürger, Sven Karol, Christian Wende, Uwe Aßmann) T1C T3A T4A
• (SLE 2010) Extending DMM Behavior Specifications for Visual Execution and Debugging (Nils Bandener, Christian Soltenborn, Gregor Engels) T4F T1C T4A
• (SLE 2011) Formalizing a Domain Specific Language Using SOS: An Industrial Case Study (Frank P. M. Stappers, Sven Weber, Michel Reniers, Suzana Andova, István Nagy) T1C T5D T6B
• (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) Bridging the Chasm between Executable Metamodeling and Models of Computation (Benoît Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoît Baudry) T1C T1D T2C T3C
• (SLE 2012 SI) Specification of temporal properties with OCL (Bilal Kanso, Safouan Taha) T5D T1C T4A T5C
• (SLE 2013) xMOF: Executable DSMLs Based on fUML (Tanja Mayerhofer, Philip Langer, Manuel Wimmer, Gerti Kappel) T1C T4D T3C
• (SLE 2013) A Generic Framework for Symbolic Execution (Andrei Arusoaie, Dorel Lucanu, Vlad Rusu) T5D T1C T4C
• (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) 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) 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) Respect Your Parents: How Attribution and Rewriting Can Get Along (Anthony M. Sloane, Matthew Roberts, Len Hamey) T3A T3B T1C
• (SLE 2014) Origin Tracking in Attribute Grammars (Kevin Williams, Eric Van Wyk) T3A T5G T3B T1C
• (SLE 2014 SI) Declarative rewriting through circular nonterminal attributes (Emma Söderberg, Görel Hedin) T3A T3B T1C T5E
• (SLE 2014 SI) Symbolic execution based on language transformation (Andrei Arusoaie, Dorel Lucanu, Vlad Rusu) T4C T1C T5D T4A
• (SLE 2015) Designing Languages using Lightning (Loïc Gammaitoni, Pierre Kelsen, Christian Glodt) T4A T5D T1A T1C
• (SLE 2015) Weaving Concurrency in Executable Domain-Specific Modeling Languages (Florent Latombe, Xavier Crégut, Benoît Combemale, Julien DeAntoni, Marc Pantel) T1C T3C T1D T6F
• (SLE 2016) Redex: A Language for Lightweight Semantics Engineering (Robert Bruce Findler) T3A T1C T1B T5C
• (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) Side Effects Take the Blame (Felipe Bañados Schwerter) T1B T1C T4D T5D
• (SLE 2017) Engineering Meta-Languages for Specifying Software Languages (Peter D. Mosses) T3A T1C T4A T5D
• (SLE 2017 SI) Software meta-language engineering and CBS (Peter D. Mosses) T3A T1C T1E T2B
• (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) Efficient Late Binding of Dynamic Function Compositions (Lars Schütze, Jerónimo Castrillón) T1C T4A T5E T1D
• (SLE 2020) A Semantic Framework for PEGs (Sérgio Queiróz de Medeiros, Carlos Olarte) T1C T4A T5D
• (SLE 2021) A Concurrency Model for JavaScript with Cooperative Cancellation (Tian Zhao, Yonglun Li) T1C T1A
• (SLE 2021) SEALS: A Framework for Building Self-Adaptive Virtual Machines (Gwendal Jouneaux, Olivier Barais, Benoît Combemale, Gunter Mussbacher) T1C T4A
• (SLE 2022) The Semantics of Plurals (Friedrich Steimann, Marius Freitag) T1C T1A T5D
• (SLE 2023) Exceptions all Over the Shop: Modular, Customizable, Language-Independent Exception Handling Layer (Walter Cazzola, Luca Favalli) T1D T1C T2B
• (SLE 2023) An Executable Semantics for Faster Development of Optimizing Python Compilers (Olivier Melançon, Marc Feeley, Manuel Serrano) T1C T4C T5D
• (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 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 2025) Can Programming Be Liberated from the Functional Style? (Friedrich Steimann) T3D T1A T1C
• (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
• (SLE 2026) Dynamic Wind for OCaml Effect Handlers with Escaping Continuation Support (Antonino Yann William Gillard, Tetsuro Yamazaki, Tomoharu Ugawa) T1C

---

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