Topic T1B: Static Semantics

Summary

• Requested in 17/26 calls
• Requested in 16/19 pure calls (2009–2026 with the longest streak of 11 years)
• Primary tagged in 13/26 paper bundles
• Primary tagged in 13/19 pure proceedings (2008–2025 with the longest streak of 6 years)
• Secondary tagged in 12/26 paper bundles
• Secondary tagged in 10/19 pure proceedings (2009–2024 with the longest streak of 6 years)
• Top 3 co-occurring topics:
  • T4A: Workbenches (19 times)
  • T3A: Meta-languages (17 times)
  • T5D: Formal Methods (12 times)
• Top 3 contributors:
  • Eelco Visser (6 times)
  • Eric Van Wyk (5 times)
  • Jeff Smits (4 times)

List of papers (47)

• (SLE 2008) Practical Scope Recovery Using Bridge Parsing (Emma Nilsson-Nyman, Torbjörn Ekman, Görel Hedin) T1B T4A T4C
• (SLE 2009) Closing the Gap between Modelling and Java (Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Christian Wende) T4B T3A T1B
• (SLE 2011) Design of Concept Libraries for C++ (Andrew M. Sutton, Bjarne Stroustrup) T1B T1E T3F T3D
• (SLE 2011) Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages (Paweł T. Wojciechowski) T1B T1C T1A
• (SLE 2012) Declarative Name Binding and Scope Rules (Gabriël Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser) T1B T3A T4A
• (SLE 2012) Meta-language Support for Type-Safe Access to External Resources (Mark Hills, Paul Klint, Jurgen Vinju) T3A T1B T3F T4A
• (SLE 2012) Approaches and Tools for Implementing Type Systems in Xtext (Lorenzo Bettini, Dietmar Stoll, Markus Völter, Serano Colameo) T1B T4A T5H
• (SLE 2013) Whiley: A Platform for Research in Software Verification (David J. Pearce, Lindsay Groves) T5D T1A T1B
• (SLE 2013) A Language Independent Task Engine for Incremental Name and Type Analysis (Guido Wachsmuth, Gabriël Konat, Vlad Vergu, Danny M. Groenewegen, Eelco Visser) T1B T4A T1D
• (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 2015) Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview (Christoff Bürger) T1B T3A T5B T4B
• (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 2016) Redex: A Language for Lightweight Semantics Engineering (Robert Bruce Findler) T3A T1C T1B T5C
• (SLE 2016) Language Design and Implementation for the Domain of Coding Conventions (Boryana Goncharenko, Vadim Zaytsev) T3C T1B T5B
• (SLE 2016) Adding Uncertainty and Units to Quantity Types in Software Models (Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo) T1B T1A T6F
• (SLE 2016) DrAST: An Inspection Tool for Attributed Syntax Trees (Joel Lindholm, Johan Thorsberg, Görel Hedin) T4A T1B T5B
• (SLE 2016) Side Effects Take the Blame (Felipe Bañados Schwerter) T1B T1C T4D T5D
• (SLE 2017) FlowSpec: Declarative Dataflow Analysis Specification (Jeff Smits, Eelco Visser) T3C T1B T3A T4A
• (SLE 2017) Ensuring Non-interference of Composable Language Extensions (Ted Kaminski, Eric Van Wyk) T1D T5D T1B T4C
• (SLE 2017) A Formalisation of Parameterised Reference Attribute Grammars (Scott Buckley, Anthony M. Sloane) T3A T5D T1B T1D
• (SLE 2017) Concurrent Circular Reference Attribute Grammars (Jesper Öqvist, Görel Hedin) T4D T3A T5F T1B
• (SLE 2017) Robust Projectional Editing (Friedrich Steimann, Marcus Frenkel, Markus Völter) T4A T1B T5H T1D
• (SLE 2017) Structural Model Subtyping with OCL Constraints (Artur Boronat) T1B T5D T1E T3C
• (SLE 2017) Type-Safe Modular Parsing (Haoyuan Zhang, Huang Li, Bruno C. d. S. Oliveira) T1D T1B T4A T3A
• (SLE 2017 SI) FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis (Jeff Smits, Guido Wachsmuth, Eelco Visser) T3C T1B T3A T4A
• (SLE 2018) The Next 700 Unit of Measurement Checkers (Oscar Bennich-Björkman, Steve McKeever) T1B T4A T5E
• (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) Facet-Oriented Modelling: Open Objects for Model-Driven Engineering (Juan de Lara, Esther Guerra, Jörg Kienzle, Yanis Hattab) T1B T4B
• (SLE 2018) A Practical Type System for Safe Aliasing (Dimi Racordon, Didier Buchs) T1B T4A T5D T4D
• (SLE 2019) Generating Incremental Type Services (André Pacak, Sebastian Erdweg) T1B T4B
• (SLE 2020) Gradually Typing Strategies (Jeff Smits, Eelco Visser) T1B T4A T5D T4B
• (SLE 2020) Extrinsically Typed Operational Semantics for Functional Languages (Matteo Cimini, Dale Miller, Jeremy G. Siek) T1B T4A T5D T4C
• (SLE 2020) Featherweight Swift: A Core Calculus for Swift’s Type System (Dimi Racordon, Didier Buchs) T1B T4A T5D T5H
• (SLE 2020) Monadification of Attribute Grammars (Dawn Michaelson, Eric Van Wyk) T1B T4A T5D T5E
• (SLE 2020) Example-Driven Software Language Engineering (Mikhail Barash) T1B T4A T4B T5H
• (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 2022) Optimising First-Class Pattern Matching (Jeff Smits, Toine Hartman, Jesper Cockx) T4C T5F T1B
• (SLE 2022) Specializing Scope Graph Resolution Queries (Aron Zwaan) T1B T5F T3A
• (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) Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars (Lucas Kramer, Eric Van Wyk) T3A T1B T1D
• (SLE 2023) Nanopass Attribute Grammars (Nathan Ringo, Lucas Kramer, Eric Van Wyk) T4C T3A T1B
• (SLE 2023) GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair (Francisco Ribeiro, José Nuno Macedo, Kanae Tsushima, Rui Abreu, João Saraiva) T4G T1B T5H
• (SLE 2024) Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis (Idriss Riouak, Niklas Fors, Jesper Öqvist, Görel Hedin, Christoph Reichenbach) T3A T1B 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) Type Checking with Rewriting Rules (Dimi Racordon) T1B T5D T3A
• (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) Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars (Luke Bessant, Eric Van Wyk) T1B T3A T4C

---

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