SPLASH Events 2021
2021 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2021)
Powered by
Conference Publishing Consulting

14th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2021), October 17–18, 2021, Chicago, IL, USA

SLE 2021 – Preliminary Table of Contents

Contents - Abstracts - Authors

14th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2021)


Title Page

Message from the Chairs


Fast Incremental PEG Parsing
Zachary Yedidia and Stephen Chong
(Harvard University, USA)

Article Search
Executing Certified Model Transformations on Apache Spark
Jolan Philippe, Massimo Tisi, Hélène Coullon, and Gerson Sunyé
(IMT Atlantique, France; University of Nantes, France)

Article Search
Vision: Bias in Systematic Grammar-Based Test Suite Construction Algorithms
Christoff Rossouw ORCID logo and Bernd Fischer ORCID logo
(Stellenbosch University, South Africa)

Article Search
Faster Reachability Analysis for LR(1) Parsers
Frédéric Bour and François Pottier
(Inria, France; Tarides, France)

Article Search
New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific Languages
Pablo C. Cañizares ORCID logo, Pablo Gómez-Abajo, Alberto Núñez, Esther Guerra, and Juan de Lara
(Autonomous University of Madrid, Spain; Complutense University of Madrid, Spain)
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 may yield unreliable results -- and requires substantial effort for creating suitable test cases and oracles.
To alleviate this situation, we propose an automated technique for building metamorphic testing environments for DSLs. Metamorphic testing identifies expected relationships between the outputs of two consecutive tests, reducing the effort in specifying oracles and creating test cases manually. This new ideas paper presents the overarching concepts, the architecture and a prototype implementation. We illustrate our proposal using a DSL to model and simulate data centres.

Article Search
Automating the Synthesis of Recommender Systems for Modelling Languages
Lissette Almonte, Sara Pérez-Soler, Esther Guerra, Iván Cantador, and Juan de Lara
(Autonomous University of Madrid, Spain)
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 providing recommendations based on previous solutions to similar problems in the same domain. However, building a RS from scratch requires considerable effort and specialized knowledge. To alleviate this problem, we propose an automated approach to the generation of RSs for modelling languages. Our approach is model-based, and we provide a domain-specific language called Droid to configure every aspect of the RS (like the type and features of the recommended items, the recommendation method, and the evaluation metrics). The RS so configured can be deployed as a service, and we offer out-of-the-box integration of this service with the EMF tree editor. To assess the usefulness of our proposal, we present a case study on the integration of a generated RS with a modelling chatbot, and report on an offline experiment measuring the precision and completeness of the recommendations.

Article Search
Monilogging for Executable Domain-Specific Languages
Dorian Leroy, Benoît Lelandais, Marie-Pierre Oudot, and Benoit Combemale
(University of Rennes 1, France; Inria, France; CEA, France; DAM, France; DIF, France; CNRS, France; IRISA, France)

Article Search
Vision: The Next 700 Language Workbenches
Mikhail Barash
(University of Bergen, Norway)

Article Search
Getting Grammars into Shape for Block-Based Editors
Mauricio Verano Merino, Tom Beckmann, Tijs van der Storm, Robert Hirschfeld, and Jurgen J. Vinju ORCID logo
(Eindhoven University of Technology, Netherlands; CWI, Netherlands; HPI, Germany; University of Groningen, Netherlands)

Article Search
How to Zen Your Python
Aamir Farooq and Vadim ZaytsevORCID logo
(Universiteit Twente, Netherlands)

Article Search
Automatic Grammar Repair
Moeketsi Raselimo ORCID logo and Bernd Fischer ORCID logo
(Stellenbosch University, South Africa)

Article Search
A Concurrency Model for JavaScript with Cooperative Cancellation
Tian Zhao and Yonglun Li
(University of Wisconsin-Milwaukee, USA)

Article Search
SEALS: A Framework for Building Self-Adaptive Virtual Machines
Gwendal JouneauxORCID logo, Olivier Barais, Benoit Combemale, and Gunter Mussbacher
(University of Rennes, France; Inria, France; IRISA, France; McGill University, Canada)

Article Search
FIDDLR: Streamlining Reuse with Concern-Specific Modelling Languages
Maximilian Schiedermeier, Jörg Kienzle, and Bettina Kemme
(McGill University, Canada)

Article Search

proc time: 1.39