- Sponsor:
- sigplan
Welcome to the 14th ACM SIGPLAN International Conference on Software Language Engineering (SLE) held in October 2021 as part of SPLASH 2021. This is the second fully online edition of SLE due to the effects of COVID-19. Despite the many challenges this has caused, the SLE programme is once again worthy of your consideration!
Proceeding Downloads
Integrating usability into programming language design (keynote)
Programming language design research has traditionally focused primarily on theoretical properties and performance considerations. But programming languages are interfaces that programmers use to write programs. Recent work has begun to explore how to ...
Monilogging for executable domain-specific languages
Runtime monitoring and logging are fundamental techniques for analyzing and supervising the behavior of computer programs. However, supporting these techniques for a given language induces significant development costs that can hold language engineers ...
Vision: the next 700 language workbenches
Language workbenches (LWBs) are tools to define software languages together with tailored Integrated Development Environments for them. A comprehensive review of language workbenches by Erdweg et al. (Comput. Lang. Syst. Struct. 44, 2015) presented a ...
Automating the synthesis of recommender systems for modelling languages
We are witnessing an increasing interest in building recommender systems (RSs) for all sorts of Software Engineering activities. Modelling is no exception to this trend, as modelling environments are being enriched with RSs that help building models by ...
Executing certified model transformations on Apache Spark
Formal reasoning on model transformation languages allows users to certify model transformations against contracts. CoqTL includes a specification of a transformation engine in the Coq interactive theorem prover. An executable engine can be ...
New ideas: automated engineering of metamorphic testing environments for domain-specific languages
Two crucial aspects for the trustworthy utilization of domain-specific languages (DSLs) are their semantic correctness, and proper testing support for their users. Testing is frequently used to verify correctness, but is often done informally -- which ...
A concurrency model for JavaScript with cooperative cancellation
This paper proposes a concurrency model for JavaScript with thread-like abstractions and cooperative cancellation. JavaScript uses an event-driven model, where an active computation runs until it completes or blocks for an event while concurrent ...
There is more than one way to zen your Python
The popularity of Python can be at least partially attributed to the concept of pythonicity, loosely defined as a combination of good practices accepted within the community. Despite the popularity of both Python itself and the pythonicity of code ...
Getting grammars into shape for block-based editors
Block-based environments are visual programming environments that allow users to program by interactively arranging visual jigsaw-like blocks. They have shown to be helpful in several domains but often require experienced developers for their creation. ...
Fast incremental PEG parsing
Incremental parsing is an integral part of code analysis performed by text editors and integrated development environments. This paper presents new methods to significantly improve the efficiency of incremental parsing for Parsing Expression Grammars (...
Faster reachability analysis for LR(1) parsers
We present a novel algorithm for reachability in an LR(1) automaton. For each transition in the automaton, the problem is to determine under what conditions this transition can be taken, that is, which (minimal) input fragment and which lookahead symbol ...
Automatic grammar repair
We describe the first approach to automatically repair bugs in context-free grammars: given a grammar that fails some tests in a given test suite, we iteratively and gradually transform the grammar until it passes all tests. Our core idea is to build on ...
Vision: bias in systematic grammar-based test suite construction algorithms
The core of grammar-based test suite construction algorithms is a procedure to derive a set of specific phrases, which are then converted into sentences that can be fed into the system under test. This process includes several degrees of freedom and ...
SEALS: a framework for building self-adaptive virtual machines
Over recent years, self-adaptation has become a major concern for software systems that evolve in changing environments. While expert developers may choose a manual implementation when self-adaptation is the primary concern, self-adaptation should be ...
FIDDLR: streamlining reuse with concern-specific modelling languages
Model-Driven Engineering (MDE) reduces complexity, improves Separation of Concerns and promotes reuse by structuring software development as a process of model production and refinement. Domain-Specific Modelling Languages and Aspect-Oriented Modelling ...
Cited By
Index Terms
- Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering