SLE 2021
who it's for
language designers, dsl engineers, grammar engineers, tool developers, testing engineers, compiler engineers, model transformation engineers
topics
recommender systems for modelling languages; grammar-based test-suite bias; runtime monitoring for executable DSLs; block-based editor generation from grammars; python idioms replication study; metamorphic testing for domain specific languages; lr(1) reachability with min plus semiring; certified model transformations on Apache Spark; automatic context-free grammar repair; algebraic language workbench features; cooperative cancellation for JavaScript; fast incremental PEG parsing
| title | author | length |
|---|---|---|
| Automating the Synthesis of Recommender Systems for Modelling Languages | Lissette Almonte, Sara Perez-Soler, Esther Guerra, Iván Cantador, Juan de Lara | 14m |
Automates generation of recommender systems for modelling languages via a textual configuration DSL that emits a deployable service and editor integration… | ||
| Vision: Bias in Systematic Grammar-Based Test Suite Construction Algorithms | Christoff Rossouw, Bernd Fischer | 05m |
Shows that fixed choices in grammar-based test-suite construction create measurable equivalent choice bias and embedding bias that skew generated suites toward… | ||
| Monilogging for Executable Domain-Specific Languages | Dorian Leroy, Benoit Lelandais, Marie-Pierre Oudot, Benoit Combemale | 15m |
MoniLog is a small language that unifies logging and runtime monitoring and runs moniloggers against Java-based executable DSLs like NabLab. Two… | ||
| Getting Grammars into Shape for Block-based Editors | Mauricio Verano Merino, Tom Beckmann, Tijs van der Storm, Robert Hirschfeld, Jurgen Vinju | 13m |
Kogi is a Rascal tool that takes a context-free grammar, applies removing disambiguation constructs and inlining chain rules, transforms the grammar into a… | ||
| There Is More Than One Way to Zen Your Python | Aamir Farooq, Vadim Zaytsev | 15m |
Replicates a prior empirical study by reusing the original open‑source toolset and dataset, reproducing counts of concrete idioms and replicated most results… | ||
| New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific Languages | Pablo C Canizares, Pablo Gómez-Abajo, Alberto Núňez, Esther Guerra, Juan de Lara | 07m |
Proposes an automated pipeline that generates metamorphic testing environments for DSLs, implemented as the gotten DSL and an Eclipse plugin that uses EMF and… | ||
| Faster Reachability Analysis for LR(1) Parsers | Frédéric Bour, François Pottier | 15m |
A new algorithm reframes LR(1) reachability as recursive matrix equations (using the min,+ semiring) and replaces Pottier 2016 with a naive cost matrices… | ||
| Executing Certified Model Transformations on Apache Spark | Jolan Philippe, Massimo Tisi, Hélène Coullon, Gerson Sunyé | 19m |
A formal refinement of CoqTL produces Parallelizable CoqTL with a mechanized proof of semantic equivalence, then pure Coq functions are manually extracted to… | ||
| Automatic Grammar Repair | Moeketsi Raselimo, Bernd Fischer | 12m |
Automatic system repairs context-free grammars by localizing symbol-level faults using spectrum-based fault localization, generating small string-edit patches… | ||
| Vision: The Next 700 Language Workbenches | Mikhail Barash | 06m |
Argues for making language workbench definitions algebraic and actionable by adding five concrete feature groups: meta-definitions, meta-modifications… | ||
| A Concurrency Model for JavaScript with Cooperative Cancellation | Tian Zhao, Yonglun Li | 15m |
Library-based concurrency model exposes thread ID passed via a reader-monad wrapper so threads are functions returning Promises and can be cancelled, paused… | ||
| SEALS: A framework for building Self-Adaptive Virtual Machines | Jouneaux et al. | 12m |
SEALS is a Java framework that reifies a MAPE-K loop into DSL virtual machines, supplying concrete concepts—Node, Operation, and a correctness envelope—and… | ||
| FIDDLR: Streamlining Reuse with Concern-Specific Modelling Languages | Maximilian Schiedermeier, Jörg Kienzle, Bettina Kemme | 14m |
FIDDLR integrates DSLs with concern-oriented reuse under MDE and claims to cut integration effort and model complexity by prescribing a pipeline of model… | ||
| Fast Incremental PEG Parsing | Zachary Yedidia, Stephen Chong | 14m |
Presents an incremental PEG parser implementation called GPeg with a syntax-highlighting library Flare and a prototype editor, claiming typical reparses are… | ||
| nothing matches | ||