ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
Thu 19 Sep 2024 15:50 - 16:10 at EI 1 Petritsch - DEBT Demo Session & Closing

This talk presents the notion of causal-consistent reversible debugging and its instance on Erlang provided by CauDEr. Reversible debugging allows us to explore an execution back and forth looking for the bug causing a visible misbehavior. Causal-consistent debugging tailors this approach to concurrent systems, where backward execution is not forced to undo the actions of a forward execution in reverse order, but can undo any action provided that its consequences, if any, are undone beforehand. CauDEr is a causal-consistent reversible debugger for the functional and concurrent language Erlang.

Thu 19 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00
DEBT Demo Session & ClosingDEBT at EI 1 Petritsch
15:30
20m
Demonstration
Concolic Multiverse Debugging
DEBT
Maarten Steevens Ghent University, Belgium, Tom Lauwaerts Universiteit Gent, Belgium, Christophe Scholliers Universiteit Gent, Belgium
DOI
15:50
20m
Demonstration
Reversible Debugging of Erlang Programs in CauDEr
DEBT
Ivan Lanese University of Bologna/INRIA, German Vidal Universitat Politecnica de Valencia
DOI
16:10
20m
Demonstration
Abstract Debugging with GobPie
DEBT
Karoliine Holter University of Tartu, Estonia, Juhan Oskar Hennoste University of Tartu, Simmo Saan University of Tartu, Estonia, Patrick Lam University of Waterloo, Vesal Vojdani University of Tartu
DOI Media Attached
16:30
20m
Demonstration
Localizer - a visual debugging assistant for Python programs
DEBT
Shehroz Khan Åbo Akademi University, Gaadha Sudheerbabu Åbo Akademi University, Dragos Truscan Åbo Akademi University, Tanwir Ahmad Åbo Akademi University
DOI
16:50
10m
Day closing
Closing by the workshop organizers
DEBT
Elisa Gonzalez Boix Vrije Universiteit Brussel, Christophe Scholliers Universiteit Gent, Belgium

Information for Participants