SLE 2020
who it's for
software language engineers, programming language researchers, compiler developers, tool and IDE developers, formal methods researchers, programming language educators, robotics software engineers
topics
context-free grammar to Blockly; grammar-based test generation; LR-automata based test suites; parsing expression grammars with cuts; attribute grammars monadification; reference attribute grammars patterns; example-driven language definitions; Xtext/EMF language service microservices; Featherweight Swift core calculus; OCR for domain specific languages; behavior trees in robotics; concurrent model synchronization with TGGs
| title | author | length |
|---|---|---|
| Block-Based Syntax from Context-Free Grammars | Mauricio Verano Merino, Tijs van der Storm | 12m |
Kogi converts a context-free grammar into a working Google Blockly environment by preprocessing the grammar (it removes disambiguation rules and inlines chain… | ||
| Modular and Distributed IDE | Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, Noël Plouzeau | 16m |
The paper generates deployable language-service microservices from Xtext/EMF specs, implements them with Quarkus, containers them with Docker and Kubernetes… | ||
| Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers | Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, Bernd Fischer | 15m |
Evaluates grammar-based test generation on a small teaching language called Ample and claims generated suites reach parity with manual suites for crash testing… | ||
| Example-Driven Software Language Engineering | Mikhail Barash | 15m |
Proposes a concrete example-driven definition method: define language constructs by annotated code examples that specify concrete syntax, abstract syntax… | ||
| A Semantic Framework for PEGs | Sérgio Queiroz de Medeiros, Carlos Olarte | 15m |
Presents an executable formalization that uses a rewriting logic executable specification (Maude) to add a throw operator (cut) to PEGs so failing certain… | ||
| Strategic Tree Rewriting in Attribute Grammars | Lucas Kramer, Eric Van Wyk | 15m |
Introduces strategy attributes: higher-order synthesized attributes with attached rewrite strategies implemented as a modular Silver extension that translate… | ||
| Behavior Trees in Action: A Study of Robotics Applications | Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wąsowski | 15m |
Empirical study compares three production libraries BehaviorTree.CPP, PyTrees, PyTrees-ROS and mines 75 models from 25 projects to quantify usage patterns: 59%… | ||
| Monadification of Attribute Grammars | Dawn Michaelson, Eric Van Wyk | 15m |
A rewrite algorithm called the monadification procedure transforms implicit attribute equations by inserting bind/return insertion and filling omitted match or… | ||
| Untangling Mechanized Proofs | Clément Pit-Claudel | 16m |
Alectryon is a Python toolkit that runs Coq on source files, captures tactic outputs and goals, and emits interactive web visualizations that inline inputs and… | ||
| Featherweight Swift: A Core Calculus for Swift’s Type System | Dimitri Racordon, Didier Buchs | 12m |
Presents Featherweight Swift — a stripped-down core calculus that formalizes Swift’s protocol, class and extension typing and models method lookup and Self… | ||
| Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata | Christoff Rossouw, Bernd Fischer | 14m |
Algorithm generates positive and negative test suites by traversing LR-automata encoded as an LR graph, using a two-phase BFS: a flooding phase that ensures… | ||
| Towards the Optical Character Recognition of DSLs | Jorge Perianez-Pascual, Roberto Rodriguez-Echeverria, Loli Burgueño, Jordi Cabot | 10m |
Paper evaluates OCR for OCL by generating 3250 images from valid expressions and running Tesseract OCR with four strategies: add DSL punctuation (DP), add DSL… | ||
| Extrinsically Typed Operational Semantics for Functional Languages | Matteo Cimini, Dale Miller, Jeremy G. Siek | 16m |
Lang-n-check automates checking of language specifications by taking an extrinsically typed operational semantics and verifying that typing rules and reduction… | ||
| An Interactive Feedback System for Grammar Development (Tool Paper) | Chelsea Barraball, Moeketsi Raselimo, Bernd Fischer | 15m |
Tool gtutr provides automated, interactive feedback for students developing ANTLR context-free grammars, using test suites generated from a hidden golden… | ||
| Principles and Patterns of JastAdd-Style Reference Attribute Grammars | Niklas Fors, Emma Söderberg, Görel Hedin | 15m |
Work documents how JastAdd compilers are actually written, identifies 3 principles (declarative thinking, AST-embedded data structures, structure-shy… | ||
| Software Language Engineers’ Worst Nightmare | Vadim Zaytsev | 16m |
Claim: a compact language BabyCobol models real legacy pathologies so tools must handle punchcard layout, inline PERFORM clauses that allow statements between… | ||
| A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation | Nils Weidmann, Lars Fritsche, Anthony Anjorin | 16m |
Claims a concrete method that finds a consistent merged model by search over edit sequences with a fitness that combines model consistency and minimal change… | ||
| A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Gramm | Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, Gabriele Taentzer | 16m |
A precedence-driven synchronization approach based on triple graph grammars implements incremental, delta-based propagation in eMoflon and detects conflicts… | ||
| Annotating Executable DSLs with Energy Estimation Formulas | Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, Gerson Sunyé | 16m |
Builds an EEL DSL that attaches OCL and arithmetic formulas to an executable Arduino metamodel in GEMOC Studio, runs simulations to produce traces, and… | ||
| A Family of Languages for Trustworthy Agent-Based Simulation | Steffen Zschaler, Fiona A. C. Polack | 13m |
Proposes a concrete stack of domain-specific languages that map a domain hypothesis and domain-model queries down through an agent-level model to a… | ||
| Gradually Typing Strategies | Jeff Smits, Eelco Visser | 16m |
Adds a gradual type system to Stratego with a prototype type checker and cast inserter that type-checks code and emits runtime casts; applied to Jasmin (an… | ||
| GPCE/SLE Opening | Juan de Lara | 40m |
Conference runs fully virtual, combining SLE and GPCE with mirrored sessions 12 hours apart and a 30-day deadline extension for the pandemic; review process… | ||
| nothing matches | ||