Gamify 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024
ISSTA/ECOOP 2024 (series) / Gamify 2024 (series) / Vienna University of Technology (TU Wien) - Campus Gusshaus /

Room information: EI 1 Petritsch

VenueVienna University of Technology (TU Wien) - Campus Gusshaus
Room nameEI 1 Petritsch
Floor2
Capacity62
Room InformationNo extra information available

Information for Participants
Info for room EI 1 Petritsch:

Map: https://tuw-maps.tuwien.ac.at/?q=CF0242

Room tech: https://raumkatalog.tiss.tuwien.ac.at/room/15726

Program

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

Wed 18 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

12:00 - 13:30
Diversity and Inclusion LunchISSTA/ECOOP Social Events at EI 1 Petritsch

https://conf.researchr.org/track/issta-ecoop-2024/issta-ecoop-2024-diversity

Thu 19 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 11:30
DEBT KeynoteDEBT at EI 1 Petritsch
10:30
60m
Keynote
Advanced Debugging Techniques In Practice
DEBT
Robert O'Callahan Google
DOI
11:30 - 12:00
DEBT Technical paperDEBT at EI 1 Petritsch
11:30
30m
Talk
In-field debugging of automotive microcontrollers for highest system availability
DEBT
Gasper Skvarc Bozic Infineon Technologies AG, Ibai Irigoyen Ceberio Infineon Technologies AG, Albrecht Mayer Infineon Technologies AG
DOI
13:30 - 15:00
DEBT Work-in-progress papersDEBT at EI 1 Petritsch
13:30
30m
Talk
Bug localisation in Model-Based Testing Using Model-Centric Shrinking
DEBT
Susan van den Broek University of Amsterdam, Ana Oprescu University of Amsterdam, Theo C Ruys Axini B.V.
DOI
14:00
30m
Talk
A Reversible Debugger for MPI Applications
DEBT
Mihkel Tiks Tartu University, Ott-Kaarel Martens Tartu University, Eero Vainikko Tartu University, Stefan Kuhn Tartu University
DOI
14:30
30m
Talk
Language-Agnostic Debugging for Microcontrollers
DEBT
Carlos Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Nokia Bell Labs, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel
DOI
15:30 - 17:00
DEBT Demo Session & ClosingDEBT at EI 1 Petritsch
15:30
20m
Demonstration
Concolic Multiverse Debugging
DEBT
Maarten Steevens Ghent University, Belgium, Tom Lauwaerts Universiteit Gent, Belgium, Christophe Scholliers Universiteit Gent, Belgium
DOI
15:50
20m
Demonstration
Reversible Debugging of Erlang Programs in CauDEr
DEBT
Ivan Lanese University of Bologna/INRIA, German Vidal Universitat Politecnica de Valencia
DOI
16:10
20m
Demonstration
Abstract Debugging with GobPie
DEBT
Karoliine Holter University of Tartu, Estonia, Juhan Oskar Hennoste University of Tartu, Simmo Saan University of Tartu, Estonia, Patrick Lam University of Waterloo, Vesal Vojdani University of Tartu
DOI Media Attached
16:30
20m
Demonstration
Localizer - a visual debugging assistant for Python programs
DEBT
Shehroz Khan Åbo Akademi University, Gaadha Sudheerbabu Åbo Akademi University, Dragos Truscan Åbo Akademi University, Tanwir Ahmad Åbo Akademi University
DOI
16:50
10m
Day closing
Closing by the workshop organizers
DEBT
Elisa Gonzalez Boix Vrije Universiteit Brussel, Christophe Scholliers Universiteit Gent, Belgium

Wed 18 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room12:003013:0030
EI 1 Petritsch

ISSTA/ECOOP Social Events

Diversity and Inclusion Lunch

Thu 19 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:0030
EI 1 Petritsch

DEBT

DEBT Keynote

DEBT

DEBT Technical paper

DEBT

DEBT Work-in-progress papers

DEBT

DEBT Demo Session & Closing

Thu 19 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
EI 1 Petritsch
DEBT
Advanced Debugging Techniques In Practice
10:30 - 11:30
DEBT
In-field debugging of automotive microcontrollers for highest system av ...
11:30 - 12:00
DEBT
Bug localisation in Model-Based Testing Using Model-Centric Shrinking
13:30 - 14:00
DEBT
A Reversible Debugger for MPI Applications
14:00 - 14:30
DEBT
Language-Agnostic Debugging for Microcontrollers
14:30 - 15:00
DEBT
Concolic Multiverse Debugging
15:30 - 15:50
DEBT
Reversible Debugging of Erlang Programs in CauDEr
15:50 - 16:10
DEBT
Abstract Debugging with GobPie
16:10 - 16:30
DEBT
Localizer - a visual debugging assistant for Python programs
16:30 - 16:50
DEBT
Closing by the workshop organizers
16:50 - 17:00