ISSTA/ECOOP 2024 (series) / DEBT 2024 (series) / Second Workshop on Future Debugging Techniques /
Reversible Debugging of Erlang Programs in CauDEr
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 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:30 - 17:00 | |||
15:30 20mDemonstration | Concolic Multiverse Debugging DEBT Maarten Steevens Ghent University, Belgium, Tom Lauwaerts Universiteit Gent, Belgium, Christophe Scholliers Universiteit Gent, Belgium DOI | ||
15:50 20mDemonstration | Reversible Debugging of Erlang Programs in CauDEr DEBT DOI | ||
16:10 20mDemonstration | 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 20mDemonstration | 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 10mDay closing | Closing by the workshop organizers DEBT |
Information for Participants
Thu 19 Sep 2024 15:30 - 17:00 at EI 1 Petritsch - DEBT Demo Session & Closing
Info for room EI 1 Petritsch: