DEBT 2023 – Proceedings

1st ACM International Workshop on Future Debugging Techniques (DEBT 2023)

Frontmatter

Tools and Demonstrations

Symbolic Debugging with Gillian
Nat Karmios, Sacha-Élie Ayoun, and Philippa Gardner
(Imperial College London, UK)


@InProceedings{DEBT23p1, author = {Nat Karmios and Sacha-Élie Ayoun and Philippa Gardner}, title = {Symbolic Debugging with Gillian}, booktitle = {Proc.\ DEBT}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3605155.3605861}, year = {2023}, } Publisher's Version

Out-of-Place Debugging on Constraint Devices with the EDWARD Debugger (Demo)
Tom Lauwaerts, Carlos Rojas Castillo, Elisa Gonzalez Boix, and Christophe Scholliers
(Universiteit Gent, Belgium; Vrije Universiteit Brussel, Belgium)


@InProceedings{DEBT23p13, author = {Tom Lauwaerts and Carlos Rojas Castillo and Elisa Gonzalez Boix and Christophe Scholliers}, title = {Out-of-Place Debugging on Constraint Devices with the EDWARD Debugger (Demo)}, booktitle = {Proc.\ DEBT}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3605155.3605862}, year = {2023}, } Publisher's Version

Work-in-Progress

Program State Visualizer with User-Defined Representation Conversion (WIP)
Rifqi Adlan Apriyadi, Hidehiko Masuhara, and Youyou Cong
(Tokyo Institute of Technology, Japan)


@InProceedings{DEBT23p25, author = {Rifqi Adlan Apriyadi and Hidehiko Masuhara and Youyou Cong}, title = {Program State Visualizer with User-Defined Representation Conversion (WIP)}, booktitle = {Proc.\ DEBT}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3605155.3605863}, year = {2023}, } Publisher's Version

Full Papers

Using Object-Sequence Diagrams for Debugging
Ole Lehrmann Madsen
(Aarhus University, Denmark)


@InProceedings{DEBT23p37, author = {Ole Lehrmann Madsen}, title = {Using Object-Sequence Diagrams for Debugging}, booktitle = {Proc.\ DEBT}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3605155.3605864}, year = {2023}, } Publisher's Version

Debugging Video Games: A Systematic Mapping
Adrien Vanègue, Valentin Bourcier, Fabio Petrillo, and Steven Costiou
(Inria, France; University of Lille, France; CNRS, France; Centrale Lille, France; UMR 9189 CRIStAL, France; ÉTS, Canada)


@InProceedings{DEBT23p49, author = {Adrien Vanègue and Valentin Bourcier and Fabio Petrillo and Steven Costiou}, title = {Debugging Video Games: A Systematic Mapping}, booktitle = {Proc.\ DEBT}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3605155.3605865}, year = {2023}, } Publisher's Version

proc time: 0.64