First Workshop on Future Debugging TechniquesDEBT 2023

While debugging is an integral activity of the software development cycle, mainstream tools used for debugging have hardly evolved with the vast programming language and hardware advances we have witnessed in the past decades. Even though debugging support has found its way into mainstream IDEs, the techniques used for debugging remain largely based on techniques for programs running on the hardware of the past century. Modern software is mostly concurrent and/or distributed and runs on clusters, multicore machines, microcontrollers, etc. Unfortunately, surprisingly little research has been spent on developing debuggers that deal with these modern programming paradigms. The current lack of appropriate tools makes debugging extremely time-consuming. For example, a 2017 Cambridge study showed that the costs of debugging, testing, and verification of software have an estimated impact of 50 to 70% of the total budget in software development projects.

The goal of this workshop is to gather researchers from all areas in the field of programming languages to discuss novel ideas to define the debugger of the future.

Accepted Papers

Call for Contributions

DEBT 2023 is looking to advance state of the art to debug modern software. We welcome researchers from all related areas including dynamic and static debugging techniques, techniques aimed at helping with the hard task to diagnose the root cause of bugs, delta debugging, novel visualization techniques for debugging programs, etc.

The workshop aims to gather the community and foster discussion from different perspectives. That is why we seek submissions in the form of papers as well as talks and tool demonstrations.

The workshop is a venue for all approaches to debugging. A non-exclusive list of topics of interest is:

• Debugging techniques, from static to dynamic techniques.
• Innovative visualisation techniques.
• Techniques targeted specific programming models (e.g. concurrent and parallel programming, microservices) or hardware (e.g. debugging micro-controllers, Big Data applications, etc.).
• Case studies and evaluation of such techniques, e.g. user studies on tools.
• Surveys, and taxonomizing of bugs and current practices/uses of debugging approaches.

Workshop Format and Submissions

This workshop welcomes the presentation of new ideas, reflections, emerging problems as well as more mature work. We plan to schedule enough time between presentations to foster discussions of work. To this end, we invite three kinds of submissions:

• Technical papers on mature work, up to 12 pages.
• Work-in-progress papers on ideas in early stages, from 2 to 6 pages.
• Talks and tool demonstrations, 1-2 page abstract.

All papers must be written in English and follow the new ACM Master Article Template with the sigconf option. Papers must be submitted electronically via EasyChair here.