SLE 2024
as the organisers put it
The ACM SIGPLAN International Conference on Software Language Engineering (SLE) is devoted to the principles of software languages: their design, their implementation, and their evolution. With the ubiquity of computers, software has become the dominating intellectual asset of our time. In turn, this software depends on software languages, namely the languages it is written in, the languages used to describe its environment, and the languages driving its development process. Given that everything depends on software and that software depends on software languages, it seems fair to say that ...
| title | author | length |
|---|---|---|
| Award Presentations | 13m | |
The conference gives the distinguished research paper to Idris Ruak, Nicholas Force, Yesper Urquist, Yural Hedin, and Kristoff Rekenbach for a paper that… | ||
| AI Effects on Research and Education: A Programming and Software Language Perspective | Ralf Lämmel | 01h 02m |
Panelists report concrete experiments and tradeoffs: an LLM pipeline GPT‑4 translates ~1,000 type‑checked programs into a target language and teams validate… | ||
| Bugfox: A Trace-based Analyzer for Localizing the Cause of Software Regression in JavaScript | Yuefeng Hu, Hiromu Ishibe, Feng Dai, Tetsuro Yamazaki, Shigeru Chiba | 36m |
Bugfox is a trace-based analyzer for JavaScript that instruments programs to log per-call identifiers, argument/this/return values and function-body hashes… | ||
| Reducing Write Barrier Overheads for Orthogonal Persistence | Yilin Zhang, Omkar Dilip Dhawal, V Krishna Nandivada, Shigeru Chiba, Tomoharu Ugawa | 28m |
Implements replication-based persistency (RBP) inside HotSpot VM (OpenJDK) and shifts the expensive fence from every putfield to copier-weight handshakes that… | ||
| Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions | Lars Hummelgren, Viktor Palmkvist, Linnea Stjerna, Xuechun Xu, Joakim Jalden, David Broman | 27m |
Trellis is a DSL that specifies sparse HMMs and compiles to CUDA with a Python wrapper, using a predecessor analyzer and two predecessor strategies: a… | ||
| Method Bundles (New Ideas/Vision paper) | Dimi Racordon, Dave Abrahams | 28m |
Hyo introduces method bundles that group in-place, copy, and consuming variants under one name and let the compiler pick the right implementation. A linear… | ||
| Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper) | Sylvan Clebsch, Matilda Blomqvist, Elias Castegren, Matthew A. Johnson, Matthew J. Parkinson | 29m |
Trieste is a C++ DSL that implements in-place subtree pattern matching to run multipass compiler pipelines, with each pass checked by dynamic well-formedness… | ||
| Type Checking with Rewriting Rules | Dimi Racordon | 29m |
Claims that recursive type-class constraints are undecidable are addressed by encoding constraints as term rewriting rules and using Knuth-Bendix completion to… | ||
| Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages | Gizem Caylak, Daniel Lundén, Viktor Senderov, David Broman | 25m |
Implements statically delayed sampling as a compile-time transform for Miking CorePPL that builds programmatic Bayesian networks, applies local marginalization… | ||
| Cloud Programming Languages and Infrastructure From Code: An Empirical Study | Georg Simhandl, Uwe Zdun | 31m |
Controlled experiment with 40 participants compares Wing (cloud programming language) and Nitric (SDK) on a URL-shortener: participants implement handlers… | ||
| Trading Runtime for Energy Efficiency | Simão Cunha, Luís Silva, João Saraiva, João Paulo Fernandes | 31m |
Empirical study runs 9 CLBG benchmarks across 20 programming languages, compiling 108 solutions and measuring with Intel energy counters and power‑capping… | ||
| The Linguistic Theory Behind Blockly Languages | Friedrich Steimann, Robin Stunic | 27m |
Shows that Blockly’s block definitions map almost directly to dependency grammar: a one-to-one correspondence between dependency rules and Blockly JSON message… | ||
| Design of Software Representation Languages: a Historical Perspective | Anthony I Wasserman | 32m |
A brisk survey of concrete milestones and tools across decades: assembly and flowcharts give way to high‑level languages and graphical notations that sometimes… | ||
| DSLs in Racket: You Want It How, Now? | Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, Ilya Sergey | 22m |
Proposes a taxonomy of seven design intents and maps them to concrete Racket mechanisms, splitting enabling techniques into reader and expander customization… | ||
| The Design of a Self-Compiling C Transpiler Targeting POSIX Shell | Laurent Huberdeau, Cassandre Hamel, Stefan Monnier, Marc Feeley | 23m |
A C-to-POSIX-shell transpiler called pnut is implemented in C and is self-applicable: it compiles itself to human-readable shell that runs on POSIX shells… | ||
| Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis | Idriss Riouak, Niklas Fors, Jesper Öqvist, Görel Hedin, Christoph Reichenbach | 28m |
New demand algorithm called the relax stack algorithm combines circular, non‑circular and agnostic attributes and uses a static meta-analysis over the… | ||
| Concrete Syntax Metapatterns | Luka Miljak, Casper Bach Poulsen, Rosilde Corvino | 30m |
Presents a compiler that compiles concrete syntax metapatterns via black-box parsers into abstract-syntax metapatterns, handling disjunctions, descendant… | ||
| Towards an In-context LLM-based Approach for Automating the Definition of Model Views | James William Pontes Miranda, Hugo Bruneliere, Massimo Tisi, Gerson Sunyé | 28m |
Proposes an in-context LLM pipeline that converts EMF metamodels to PlantUML-like text, feeds three prompt templates to a GPT-4o-class model via LangChain, and… | ||
| Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels | Nathan Richardson, Dimitris Kolovos, Antonio Garcia-Dominguez | 21m |
Aconite generates Sirius viewpoint descriptors from an annotated Ecore metamodel using a compact textual notation and an Eclipse-based transformation pipeline… | ||
| Cooperative Specification via Composition Control | Christopher A. Esterhuyse, L. Thomas van Binsbergen | 31m |
Proposes concrete language extensions for Datalog, Alloy and eFLINT that let contributors declare how fragments may be composed and changed, turning meta‑level… | ||
| There Is Only One Time in Software (Language) Engineering! | Benoit Combemale | 01h 07m |
Claim: development and operation collapse into one continuous engineering time, so languages and toolchains must adapt at runtime. Implements ASOS (adaptive… | ||
| nothing matches | ||