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

Mon 17 Jul

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

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