SLE 2023
| title | author | length |
|---|---|---|
| Exceptions all Over the Shop: Modular, Customizable, Language-independent Exceptio... | Walter Cazzola, Luca Favalli | 29m |
Claims a language-independent Java exception layer library that untangles exception handling into 10 modular components, uses five generic type parameters, and… | ||
| An Executable Semantics for Faster Development of Optimizing Python Compilers | Olivier Melançon, Marc Feeley, Manuel Serrano | 27m |
An executable semantics encodes Python’s lookup, boxing/unboxing and calls as Python-with-primitives (uses class_get_ATR and an int_to_host/int_from_host pair)… | ||
| Adaptive Structural Operational Semantics | Gwendal Jouneaux, Damian Frölich, Olivier Barais, Benoit Combemale, Gurvan Le Guernic, Gunter Mussbacher, L. Thomas van Binsbergen | 28m |
A new DSL metalanguage called ASOS metalanguage extends MSOS to express runtime adaptations as modular semantic rules, provides formal semantics and proofs for… | ||
| A reference GLL implementation | Adrian Johnstone | 30m |
A reference GLL implementation provides a deliberately unoptimized, easy-to-read interpreted parser plus a low-level alternative that hand-manages memory. It… | ||
| Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Gra... | Lucas Kramer, Eric Van Wyk | 31m |
Reimagines forwarding in Silver by adding an at-sign sharing operator and translation attributes so a forwarded child is decorated once and reused, avoiding… | ||
| Nanopass Attribute Grammars | Nathan Ringo, Lucas Kramer, Eric Van Wyk | 29m |
Presents a formalism and prototype that combine nanopass compilers with attribute grammars, implementing a significant subset of Go to validate the approach… | ||
| Automated extraction of grammar optimization rule configurations in a metamodel-gr... | Weixing Zhang, Regina Hebig, Daniel Strüber, Jan-Philipp Steghöfer | 24m |
Automated extraction produces configuration files that let a grammar optimizer replay manual syntax fixes after a metamodel change, implemented as a grammar… | ||
| Reuse and Automated Integration of Recommenders for Modelling Languages | Lissette Almonte, Antonio Garmendia, Esther Guerra, Juan de Lara | 23m |
An Eclipse plugin called IronMan provides a recommendation service API with two endpoints (features and recommend), JSON encodings for targets and items, and… | ||
| GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models... | Francisco Ribeiro, Kanae Tsushima, Rui Abreu, João Saraiva | 37m |
Uses GPT-3 to generate OCaml repairs by building rich prompts from source-code analysis (candidate locations via a magic function, inlining, and type… | ||
| Temporal Breakpoints for Multiverse Debugging | Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec | 28m |
Claim: adding temporal breakpoints lets a multiverse debugger reason over sets of executions, not just single traces, and it is practical. Implementation: a… | ||
| Cross-Level Debugging for Static Analysers | Mats Van Molle, Bram Vandenbogaerde, Coen De Roover | 29m |
A cross-level debugger is implemented inside the MAF framework that moves breakpoints into the analyzed program and evaluates meta-predicates (store, lce… | ||
| Cascade: a Meta-Language for Change, Cause and Effect | Riemer van Rozen | 29m |
Cascade is a compact meta-language that expresses changes, cause‑and‑effect and runtime migrations and generates interpreters from a 300-line compiler. It… | ||
| Artificial Languages are Dead. Long Live Artificial Languages! | Crista Lopes | 57m |
Claims that LLMs upend programming by automating translation and replacing many hand-designed languages, demonstrated with concrete experiments: a working… | ||
| Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeli... | Nico Jansen, Bernhard Rumpe | 24m |
Presents a concrete concept: augment symbol tables with generator information that stores small target-language code templates and exposes CRUD operations as a… | ||
| Enabling Blended Modelling of Timing and Variability in EAST-ADL | Muhammad Waseem Anwar, Federico Ciccozzi, Alessio Bucaioni | 27m |
Prototype that adds textual concrete syntaxes for timing and variability to EAST-ADL, links them to existing graphical tools via an EAXML synchronization… | ||
| Towards Efficient Model Comparison Using Automated Program Rewriting | Qurat ul ain Ali, Dimitris Kolovos, Konstantinos Barmpis | 26m |
Rewrites Epsilon ECL comparison programs with a static analyzer, dependency-graph scheduler and a program rewriter that injects pre-filtering indexes and… | ||
| Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling... | Malte Heithoff, Nico Jansen, Jörg Christian Kirchhof, Judith Michael, Florian Rademacher, Bernhard Rumpe | 29m |
Claims a practical recipe for building multi-viewpoint language families by combining grammar-level composition techniques (inheritance, conservative… | ||
| A Low-Code Platform for Systematic Component-Oriented Language Composition | Jérôme Pfeiffer, Andreas Wortmann | 15m |
A web platform implements a three‑tier low‑code pipeline that imports Monte cor projects, automatically extracts language components (syntax, well‑formedness… | ||
| A Tool for the Definition and Deployment of Platform-Independent Bots on Open Sour... | Adem Ait, Javier Luis Cánovas Izquierdo, Jordi Cabot | 19m |
Presents a prototype tool that defines and deploys platform-agnostic bots using a internal Java DSL and a domain meta-model that abstracts repositories… | ||
| Online Name-Based Navigation for Software Meta-languages | Peter D. Mosses | 24m |
Generates verbatim-copy websites called hyperlinked twins that add precise hyperlinks between name references and declarations by reusing Spoofax name-binding… | ||
| Practical Runtime Instrumentation of Software Languages: the Case of SciHook | Dorian Leroy, Benoit Combemale, Benoit Lelandais, Marie-Pierre Oudot | 20m |
A runtime bridge called SciHook implements a language-level instrumentation interface: generated C++ simulation code emits before/after job events and… | ||
| SLE Closing | 03m | |
Conference announces next edition most likely in Pasadena and collocated with SPLASH, PC chairs already assigned while there is still no general chair and the… | ||
| Welcome and Chair Report | 06m | |
Conference runs in Lisbon near the river and the westernmost rock, organized as a two-day program with six technical sessions and a 33-member program… | ||
| nothing matches | ||