SLE 2026

14 papers

1. A Shallow Embedding of Datalog in Lean · Ramy Shahin
2. A nanopass approach to a modular RDF implementation · Duncan Guthrie, Paul Harvey, Michele Sevegnani
3. CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems · Uraz Odyurt, Ömer Sayilir, Mariëlle Stoelinga, Vadim Zaytsev
4. Dynamic Wind for OCaml Effect Handlers with Escaping Continuation Support · Antonino Yann William Gillard, Tetsuro Yamazaki, Tomoharu Ugawa
5. Enabling Navigability of Programming Language Specifications: A Case of ECMAScript (JavaScript) Standard Library Specification · Alberto Tontoni, Mikhail Barash
6. Engineering Verified Model Transformations through a Proof-Based Language Workbench · Akram Idani, Germán Vega
7. How much does an LLM know about my programming language? · David Delgado, Lola Burgueño, Robert Clarisó
8. Incremental, bidirectional text-to-text synchronizations with AnyText · Georg Hinkel
9. Multi-Dimensional Context-Oriented Programming with a Lightweight Domain Specific Language · Christian Gutsche, Sebastian Götz, Uwe Aßmann
10. SLE as an Evolving Body of Knowledge: A 19-Year Comparative Analysis of Calls and Proceedings · Vadim Zaytsev
11. Tool Paper: AGTix: Concise Use of Scope Graphs in Reference Attribute Grammars · Luke Bessant, Eric Van Wyk
12. We built the languages. That was the easy part · Cédric Brun
13. Why Just-In-Time Compilation Matters: Evaluating Runtime and Energy Efficiency · Luís Maia, Simão Cunha, João Saraiva
14. Ztrategic: Libraries and Tools For Software Language Specification, Transformation, and Testing · Emanuel Rodrigues, José Nuno Macedo, João Saraiva