SPLASH 2023 (series) / SLE 2023 (series) /
SLE 2023 Program
This is the SLE 2023 program - see the full program for SPLASH 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 23 OctDisplayed time zone: Lisbon change
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 30mTalk | Exceptions all Over the Shop: Modular, Customizable, Language-independent Exception Handling LayerResearch Paper SLE DOI | ||
09:30 30mTalk | 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 30mTalk | 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 |
11:00 - 12:30 | GPCE/SLE Keynote (in Room XV)SLE at Room II Chair(s): Coen De Roover Vrije Universiteit Brussel 12:10pm The GPCE, SLE and COLA awards will be announced in the last part of this session in Room XV. | ||
11:00 70mKeynote | Coccinelle: Impact and Internals SLE Julia Lawall Inria | ||
12:10 20mAwards | GPCE/SLE Awards SLE Amir Shaikhha University of Edinburgh, Coen De Roover Vrije Universiteit Brussel, Sebastian Erdweg JGU Mainz, João Saraiva HASLab/INESC TEC, University of Minho, Thomas Degueule CNRS, LaBRI, Elizabeth Scott Royal Holloway University of London, Friedrich Steimann Fernuniversität in Hagen, Walter Cazzola Università degli Studi di Milano |
14:00 - 15:30 | Grammars and parsingSLE at Room II Chair(s): Luis Eduardo de Souza Amorim Australian National University, Australia | ||
14:00 30mTalk | A reference GLL implementationResearch Paper SLE Adrian Johnstone Royal Holloway University of London, UK DOI | ||
14:30 30mTalk | Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute GrammarsResearch Paper SLE Lucas Kramer University of Minnesota, Eric Van Wyk Department of Computer Science and Engineering, University of Minnesota, USA DOI Pre-print | ||
15:00 30mTalk | Nanopass Attribute GrammarsResearch Paper SLE Nathan Ringo University of Minnesota, Lucas Kramer University of Minnesota, Eric Van Wyk Department of Computer Science and Engineering, University of Minnesota, USA DOI Pre-print |
16:00 - 17:30 | Inference and automationSLE at Room II Chair(s): Adrian Johnstone Royal Holloway University of London, UK | ||
16:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 |
Tue 24 OctDisplayed time zone: Lisbon change
Tue 24 Oct
Displayed time zone: Lisbon change
09:00 - 10:30 | Live programming and debuggingSLE at Room II Chair(s): Vadim Zaytsev University of Twente, Netherlands | ||
09:00 30mTalk | Temporal Breakpoints for Multiverse DebuggingResearch Paper SLE Matthias Pasquier Ertosgener, Ciprian Teodorov ENSTA Bretagne, Frédéric Jouault ERIS Team, ESEO , France, Matthias Brun , Luka Le Roux Lab-STICC CNRS UMR 6285, ENSTA Bretagne, Loïc Lagadec Lab-STICC CNRS UMR 6285, ENSTA Bretagne DOI | ||
09:30 30mTalk | Cross-Level Debugging for Static AnalysersResearch Paper SLE Mats Van Molle Vrije Universiteit Brussel, Bram Vandenbogaerde Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel DOI Pre-print | ||
10:00 30mTalk | Cascade: a Meta-Language for Change, Cause and EffectResearch Paper SLE Riemer van Rozen CWI DOI |
11:00 - 12:30 | |||
11:00 60mKeynote | Artificial Languages are Dead. Long Live Artificial Languages!Keynote SLE Crista Lopes University of California, Irvine | ||
12:00 20mTalk | Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling LanguagesNew ideas / Vision paper SLE DOI |
14:00 - 15:30 | |||
14:00 30mTalk | Enabling Blended Modelling of Timing and Variability in EAST-ADLResearch Paper SLE Muhammad Waseem Anwar Department of Innovation, Design and Engineering Malardalen University, Federico Ciccozzi Mälardalen University, Alessio Bucaioni Mälardalen University DOI | ||
14:30 30mTalk | Towards Efficient Model Comparison Using Automated Program RewritingResearch Paper SLE Qurat Ul Ain Ali University of York , Dimitris Kolovos University of York, Konstantinos Barmpis University of York DOI | ||
15:00 30mTalk | Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience ReportResearch Paper SLE Malte Heithoff RWTH Aachen University, Nico Jansen Software Engineering, RWTH Aachen University, Jörg Christian Kirchhof RWTH Aachen University, Judith Michael RWTH Aachen University, Florian Rademacher RWTH Aachen University, Bernhard Rumpe RWTH Aachen University DOI Pre-print |