ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria

This program is tentative and subject to change.

Thu 19 Sep 2024 16:10 - 16:30 at EI 1 Petritsch - DEBT Demo Session & Closing

We introduce GobPie, an IDE integration designed to enhance the usability and explainability of the abstract interpretation-based static analyzer Goblint. GobPie features abstract debugging, a novel approach to presenting static analysis results. Abstract debugging complements traditional debugging methods by making program analysis results more visible, with the goal of helping to identify and resolve rare but real software issues. Unlike traditional debugging, which involves step-by-step execution to observe concrete states, abstract debugging uses static analysis results to simulate the same steps, offering insights into all possible execution paths.

This program is tentative and subject to change.

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
15:50
20m
Demonstration
Reversible Debugging of Erlang Programs in CauDEr
DEBT
Ivan Lanese University of Bologna/INRIA, German Vidal Universitat Politecnica de Valencia
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
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
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