DEBT 2024 – Proceedings

2nd ACM International Workshop on Future Debugging Techniques (DEBT 2024)

Frontmatter

Keynote

Advanced Debugging Techniques in Practice (Keynote)
Robert O’Callahan
(Google, New Zealand)

Publisher's Version

Technical Paper

In-Field Debugging of Automotive Microcontrollers for Highest System Availability
Gašper Skvarč Božič, Ibai Irigoyen Ceberio, and Albrecht Mayer
(Infineon Technologies, Germany)

Publisher's Version

Work-in-Progress Papers

Bug Localisation in Model-Based Testing using Model-Centric Shrinking
Susan van den Broek, Ana Oprescu, and Theo C. Ruys
(University of Amsterdam, Netherlands; Axini, Netherlands)

Publisher's Version

A Reversible Debugger for MPI Applications
Mihkel Tiks, Ott-Kaarel Martens, Eero Vainikko, and Stefan Kuhn
(University of Tartu, Estonia)

Publisher's Version

Language-Agnostic Debugging for Microcontrollers
Carlos Rojas Castillo, Matteo Marra, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium; Nokia Bell Labs, Belgium)

Publisher's Version

Demo Papers

Concolic Multiverse Debugging
Maarten Steevens, Tom Lauwaerts, and Christophe Scholliers
(Universiteit Gent, Belgium)

Publisher's Version

Reversible Debugging of Erlang Programs in CauDEr
Ivan Lanese and Germán Vidal
(University of Bologna, Italy; Inria, France; Universitat Politècnica de València, Spain)

Publisher's Version

Abstract Debugging with GobPie
Karoliine Holter, Juhan Oskar Hennoste, Simmo Saan, Patrick Lam, and Vesal Vojdani
(University of Tartu, Estonia; University of Waterloo, Canada)

Publisher's Version Video

Localizer: A Visual Debugging Assistant for Python Programs
Shehroz Khan, Gaadha Sudheerbabu, Dragos Truscan, and Tanwir Ahmad
(Åbo Akademi University, Finland)

Publisher's Version Video

proc time: 2.32