SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Mon 23 Oct 2023 16:00 - 16:30 at Room II - Inference and automation Chair(s): Adrian Johnstone

When a language evolves, meta-models and associated grammars 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 grammar, related to syntax aspects such as keywords, brackets, and component order. Yet, doing so required the manual specification of optimization rule configurations, which was laborious and error-prone. In this work, to significantly reduce the manual effort during meta-model and grammar co-evolution, we present an automated approach for extracting optimization rule configurations. The inferred configurations can be used to automatically replay optimizations on later versions of the grammar, thus leading to a fully automated migration process for the supported types of changes. We evaluated our approach on six real cases. Full automation was possible for three of them, with agreement rates between ground truth and inferred grammar between 88% and 67% for the remaining ones.

Mon 23 Oct

Displayed time zone: Lisbon change

16:00 - 17:30
Inference and automationSLE at Room II
Chair(s): Adrian Johnstone Royal Holloway University of London, UK
16:00
30m
Talk
Automated extraction of grammar optimization rule configurations in a metamodel-grammar co-evolution scenarioResearch Paper
SLE
Weixing Zhang Chalmers | University of Gothenburg, Regina Hebig Chalmers University of Technology & University of Gothenburg, Daniel Strüber Chalmers | University of Gothenburg / Radboud University, Jan-Philipp Steghöfer XITASO GmbH IT & Software Solutions
DOI Pre-print
16:30
30m
Talk
Reuse and Automated Integration of Recommenders for Modelling LanguagesResearch Paper
SLE
Lissette Almonte Universidad Autónoma de Madrid, Antonio Garmendia Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
DOI Pre-print
17:00
30m
Talk
GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code RepairResearch Paper
SLE
Francisco Ribeiro HASLab/INESC TEC & Universidade do Minho, José Nuno Macedo University of Minho, Kanae Tsushima National Institute of Informatics, Japan, Rui Abreu Faculty of Engineering, University of Porto, João Saraiva HASLab/INESC TEC, University of Minho
DOI