SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Tue 24 Oct 2023 09:00 - 09:30 at Room II - Live programming and debugging Chair(s): Vadim Zaytsev

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 of the approach. However, the literature fails to recognize the importance of using more expressive logics, besides local-state predicates, to express breakpoints. In this article, we address this problem by introducing temporal breakpoints for multiverse debugging. Temporal breakpoints greatly enhance the expressivity of conditional breakpoints, allowing users to reason about the past and future of computations in the multiverse. Moreover, we show that it is relatively straightforward to extend a language-agnostic multiverse debugger semantics with temporal breakpoints, while preserving its generality. To show the elegance and practicability of our approach, we have implemented a multiverse debugger for the AnimUML modeling environment that supports 3 different temporal breakpoint formalisms: regular-expressions, statecharts, and statechart-based Büchi automata.

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
30m
Talk
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
30m
Talk
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
30m
Talk
Cascade: a Meta-Language for Change, Cause and EffectResearch Paper
SLE
DOI