ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
Thu 19 Sep 2024 14:00 - 14:30 at EI 1 Petritsch - DEBT Work-in-progress papers

High-performance computing and eScience are often performed on cluster machines. For this, programs need to be parallelized and run with appropriate tools, typically MPI (Message Passing Interface) in a scientific context. Since writing programs for parallel computation is significantly more difficult than programming for sequential execution, debugging tools, which are considered a necessary part of the toolset of software developers, are of even higher importance there. Reversibility, providing the ability to progress backwards in the program execution in some form, has been added to some debuggers and is a useful feature for debugging MPI applications as well. This paper presents a debugger for MPI applications which offers reversible debugging commands. This is done using a checkpoint-restore mechanism. We demonstrate the viability of this approach to enable reversible debugging for parallel computation.

Thu 19 Sep

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

13:30 - 15:00
DEBT Work-in-progress papersDEBT at EI 1 Petritsch
13:30
30m
Talk
Bug localisation in Model-Based Testing Using Model-Centric Shrinking
DEBT
Susan van den Broek University of Amsterdam, Ana Oprescu University of Amsterdam, Theo C Ruys Axini B.V.
DOI
14:00
30m
Talk
A Reversible Debugger for MPI Applications
DEBT
Mihkel Tiks Tartu University, Ott-Kaarel Martens Tartu University, Eero Vainikko Tartu University, Stefan Kuhn Tartu University
DOI
14:30
30m
Talk
Language-Agnostic Debugging for Microcontrollers
DEBT
Carlos Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Nokia Bell Labs, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel
DOI

Information for Participants