skip to main content
10.1145/3623476acmconferencesBook PagePublication PagessplashConference Proceedingsconference-collections
SLE 2023: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering
ACM2023 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
SLE '23: 16th ACM SIGPLAN International Conference on Software Language Engineering Cascais Portugal October 23 - 24, 2023
ISBN:
979-8-4007-0396-6
Published:
23 October 2023
Sponsors:
Reflects downloads up to 04 Sep 2024Bibliometrics
Skip Abstract Section
Abstract

Welcome to the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE) held in October 2023 as part of SPLASH 2023. Software Language Engineering (SLE) is a thriving research discipline targeted at establishing an engineering approach to the development, use, and maintenance of software languages, that is, of languages for the specification, modeling and tooling of software. Key topics of interest for SLE include approaches, methodologies and tools for language design and implementation with a focus on techniques for static and behavioral semantics, generative or interpretative approaches (including transformation languages and code generation) as well as meta-languages and tools (including language workbenches). Techniques enabling the testing, simulation or formal verification for language validation purposes are also of particular interest. SLE also accommodates empirical evaluation and experience reports of language engineering tools, such as user studies evaluating usability, performance benchmarks or industrial applications.

Skip Table Of Content Section
SESSION: Papers
research-article
Open Access
Exceptions all Over the Shop: Modular, Customizable, Language-Independent Exception Handling Layer

The introduction of better abstractions is at the forefront of research and practice. Among many approaches, domain-specific languages are subject to an increase in popularity due to the need for easier, faster and more reliable application ...

An Executable Semantics for Faster Development of Optimizing Python Compilers

Python is a popular programming language whose performance is known to be uncompetitive in comparison to static languages such as C. Although significant efforts have already accelerated implementations of the language, more efficient ones are still ...

research-article
Adaptive Structural Operational Semantics

Software systems evolve more and more in complex and changing environments, often requiring runtime adaptation to best deliver their services. When self-adaptation is the main concern of the system, a manual implementation of the underlying feedback ...

research-article
A Reference GLL Implementation

The Generalised-LL (GLL) context-free parsing algorithm was introduced at the 2009 LDTA workshop, and since then a series of variant algorithms and implementations have been described. There is a wide variety of optimisations that may be applied to ...

Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars

It is not uncommon to design a programming language as a core language with additional features that define some semantic analyses, but delegate others to their translation to the core. Many analyses require contextual information, such as a typing ...

Nanopass Attribute Grammars

Compilers for feature-rich languages are complex; they perform many analyses and optimizations, and often lower complex language constructs into simpler ones. The nanopass compiler architecture manages this complexity by specifying the compiler as a ...

research-article
Open Access
Automated Extraction of Grammar Optimization Rule Configurations for Metamodel-Grammar Co-evolution

When a language evolves, meta-models and associated gram- mars need to be co-evolved to stay mutually consistent. Previous work has supported the automated migration of a grammar after changes of the meta-model to retain manual optimizations of the ...

research-article
Reuse and Automated Integration of Recommenders for Modelling Languages

Many recommenders for modelling tasks have recently appeared. They use a variety of recommendation methods,tailored to concrete modelling languages. Typically, recommenders are created as independent programs, and subsequently need to be integrated ...

GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair

Type systems are responsible for assigning types to terms in programs. That way, they enforce the actions that can be taken and can, consequently, detect type errors during compilation. However, while they are able to flag the existence of an error, ...

research-article
Temporal Breakpoints for Multiverse Debugging

Multiverse debugging extends classical and omniscient debugging to allow the exhaustive exploration of non-deterministic and concurrent systems during debug sessions. The introduction of user-defined reductions significantly improves the scalability ...

research-article
Cross-Level Debugging for Static Analysers

Static analyses provide the foundation for several tools that help developers find problems before executing the program under analysis. Common applications include warning about unused code, deprecated API calls, or about potential security ...

research-article
Open Access
Cascade: A Meta-language for Change, Cause and Effect

Live programming brings code to life with immediate and continuous feedback. To enjoy its benefits, programmers need powerful languages and live programming environments for understanding the effects of code modifications on running programs. ...

research-article
Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages

In Software Language Engineering, the composition of heterogeneous languages has become an increasingly relevant research area in recent years. Despite considerable advances in different composition techniques, they mainly focus on composing concrete ...

research-article
Open Access
Enabling Blended Modelling of Timing and Variability in EAST-ADL

EAST-ADL is a domain-specific modelling language for the design and analysis of vehicular embedded systems. Seamless modelling through multiple concrete syntaxes for the same language, known as blended modelling, offers enhanced modelling flexibility ...

research-article
Towards Efficient Model Comparison using Automated Program Rewriting

Model comparison is a prerequisite task for several other model management tasks such as model merging, model differencing etc. We present a novel approach to efficiently compare models using programs written in a rule-based model comparison language. ...

research-article
Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report

In modern systems engineering, domain experts increasingly utilize models to define domain-specific viewpoints in a highly interdisciplinary context. Despite considerable advances in developing model composition techniques, their integration in a ...

research-article
A Low-Code Platform for Systematic Component-Oriented Language Composition

Low-code platforms have gained popularity for accelerating complex software engineering tasks through visual interfaces and pre-built components. Software language engineering, specifically language composition, is such a complex task requiring ...

research-article
A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source Projects

The development of Open Source Software (OSS) projects is a collaborative process that heavily relies on active contributions by passionate developers. Creating, retaining and nurturing an active community of developers is a challenging task; and ...

research-article
Open Access
Online Name-Based Navigation for Software Meta-languages

Software language design and implementation often involve specifications written in various esoteric meta-languages. Language workbenches generally include support for precise name-based navigation when browsing language specifications locally, but ...

research-article
Practical Runtime Instrumentation of Software Languages: The Case of SciHook

Software languages have pros and cons, and are usually chosen accordingly. In this context, it is common to involve different languages in the development of complex systems, each one specifically tailored for a given concern. However, these languages ...

Contributors
  • University of Minho
  • University of Bordeaux
  • Royal Holloway, University of London

Index Terms

  1. Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering
    Please enable JavaScript to view thecomments powered by Disqus.

    Recommendations