SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Mon 23 Oct 2023 10:00 - 10:30 at Room II - Language implementation Chair(s): Thomas Degueule

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 loop and trade-off analysis may be desirable. However, the required expertise and substantial development effort make such implementations prohibitively difficult when it is only a secondary concern for the given domain. In this paper, we present ASOS, a metalanguage abstracting the runtime adaptation concern of a given domain in the behavioral semantics of a domain-specific language (DSL), freeing the language user from implementing it from scratch for each system in the domain. We demonstrate our approach on RobLANG, a procedural DSL for robotics, where we abstract a recurrent energy-saving behavior depending on the context. We provide formal semantics for ASOS and pave the way for checking properties such as determinism, completeness, and termination of the resulting self-adaptable language. We provide first results on the performance of our approach compared to a manual implementation of this self-adaptable behavior. We demonstrate, for RobLANG, that our approach provides suitable abstractions for specifying sound adaptive operational semantics while being more efficient.

Mon 23 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Language implementationSLE at Room II
Chair(s): Thomas Degueule CNRS, LaBRI

This session will start at 08:50 with a welcome and general announcements from the Conference General Chair.

09:00
30m
Talk
Exceptions all Over the Shop: Modular, Customizable, Language-independent Exception Handling LayerResearch Paper
SLE
Walter Cazzola Università degli Studi di Milano, Luca Favalli Università degli Studi di Milano
DOI
09:30
30m
Talk
An Executable Semantics for Faster Development of Optimizing Python CompilersResearch Paper
SLE
Olivier Melancon Université de Montréal, Marc Feeley Université de Montréal, Manuel Serrano Inria; University of Côte d'Azur
DOI
10:00
30m
Talk
Adaptive Structural Operational SemanticsResearch Paper
SLE
Gwendal Jouneaux University of Rennes; Inria; IRISA, Damian Frölich University of Amsterdam, Olivier Barais University of Rennes; Inria; CNRS; IRISA, Benoit Combemale University of Rennes, Inria, CNRS, IRISA, Gurvan LE GUERNIC DGA MI & Université de Rennes 1, Gunter Mussbacher McGill University, L. Thomas van Binsbergen University of Amsterdam
DOI Pre-print