Demo: Debugging Constraint Devices with EDWARD (DEBT 2023 - First Workshop on Future Debugging Techniques)

Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States

Who

Tom Lauwaerts, Carlos Rojas Castillo, Christophe Scholliers, Elisa Gonzalez Boix

Track

DEBT 2023

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 17 Jul 2023 14:00 - 14:30 at Bezos Seminar Room (Gates G04) - Demo Session & WIP

Link to Publication

https://dl.acm.org/doi/10.1145/3605155.3605862

Tom Lauwaerts

Universiteit Gent, Belgium

Belgium

Carlos Rojas Castillo

Vrije Universiteit Brussel

Belgium

Christophe Scholliers

Universiteit Gent, Belgium

Belgium

Elisa Gonzalez Boix

Vrije Universiteit Brussel

Belgium

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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

13:30 - 15:00	Demo Session & WIPDEBT at Bezos Seminar Room (Gates G04)

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