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.

Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 17 Jul

Displayed time zone: Pacific Time (US & Canada) change

08:00 - 08:30
Coffee and Light BreakfastCatering at Microsoft Atrium (Allen Center)
08:00
30m
Coffee break
Break
Catering

08:30 - 10:00
Welcome and KeynoteDEBT at Bezos Seminar Room (Gates G04)
08:30
15m
Day opening
Welcome
DEBT
Christophe Scholliers Universiteit Gent, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel
08:45
75m
Keynote
Language-Based Debugging
DEBT
Andreas Zeller CISPA Helmholtz Center for Information Security
Pre-print
10:00 - 10:30
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
10:30
30m
Talk
Using Object-Sequence Diagrams for Debugging
DEBT
Ole Lehrmann Madsen Aarhus University
Link to publication
11:00
30m
Talk
Debugging Video Games: A Systematic Mapping
DEBT
Adrien Vanègue Inria, Valentin Bourcier INRIA, Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec, Steven Costiou INRIA Lille
Link to publication
11:30
30m
Keynote
Searching for Justice in Programming Language Design
DEBT
Amy Ko University of Washington
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
13:30
30m
Talk
Symbolic Debugging with Gillian
DEBT
Nat Karmios Imperial College London, Sacha-Élie Ayoun Imperial College London, Philippa Gardner Imperial College London
DOI
14:00
30m
Talk
Demo: Debugging Constraint Devices with EDWARD
DEBT
Tom Lauwaerts Universiteit Gent, Belgium, Carlos Rojas Castillo Vrije Universiteit Brussel, Christophe Scholliers Universiteit Gent, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel
Link to publication
14:30
30m
Talk
Program State Visualizer with User-Defined Representation Conversion
DEBT
Rifqi Adlan Apriyadi Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Youyou Cong Tokyo Institute of Technology
Link to publication
15:00 - 15:30
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
15:30
60m
Day closing
Discussion
DEBT
Christophe Scholliers Universiteit Gent, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel

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.

Questions? Use the DEBT contact form.