Program - ECOOP 2025

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

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

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

10:15 - 10:45	Coffee BreakCatering at M130/131

10:15 30m Coffee break		Break Catering

12:30 - 14:00	Lunch (cafeteria K1)Catering at Cafeteria (K1)

12:30 90m Lunch		Lunch Catering

15:45 - 16:15	Coffee BreakCatering at M130/131

15:45 30m Coffee break		Break Catering

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

10:15 - 10:45	Coffee BreakCatering at M130/131

10:15 30m Coffee break		Break Catering

12:30 - 14:00	Lunch (cafeteria K1)Catering at Cafeteria (K1) Poster session “Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems”, Davide Ancona, Stefano Avola, Angelo Ferrando, Pierpaolo Baglietto, Maurice H. ter Beek, Andrea Parodi, Giancarlo Camera and Matteo Pinasco “Control Graphs - An intermediate representation for ICFG construction”, Stefan Marx Venue: same as coffee breaks; before the main session

12:30 90m Lunch		Lunch Catering

15:45 - 16:15	Coffee BreakCatering at M130/131

15:45 30m Coffee break		Break Catering

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

10:15 - 10:45	Coffee BreakCatering at M130/131

10:15 30m Coffee break		Break Catering

12:30 - 14:00	Lunch (cafeteria K1)Catering at Cafeteria (K1)

12:30 90m Lunch		Lunch Catering

15:45 - 16:15	Coffee BreakCatering at M130/131

15:45 30m Coffee break		Break Catering

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

10:15 - 10:45	Coffee BreakCatering at M130/131

10:15 30m Coffee break		Break Catering

12:30 - 14:00	Lunch (cafeteria K1)Catering at Cafeteria (K1)

12:30 90m Lunch		Lunch Catering

15:45 - 16:15	Coffee BreakCatering at M130/131

15:45 30m Coffee break		Break Catering

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

09:00 - 10:15	KeynoteDEBT at M209

09:00 15m Day opening		Welcome to the DEBT Workshop DEBT
09:15 60m Keynote		Keynote: Live feedback through incremental program analysis DEBT Sebastian Erdweg JGU Mainz

10:15 - 10:45	Coffee BreakCatering at M130/131

10:15 30m Coffee break		Break Catering

10:45 - 12:30	Session 1DEBT at M209

10:45 30m Talk		Automatic Data Structures Visualization in IntelliJ IDEA DEBT Grigorii Emdin JetBrains, EPFL, Dmitrii Kirkhmeier JetBrains, Nikita Koval JetBrains
11:15 30m Talk		Countering Anti-Debugging Techniques: Enhancing Transparency in Nested Virtualization using HyperDbg DEBT Björn Ruytenberg Vrije Universiteit Amsterdam, Mohammad Sina Karvandi Vrije Universiteit Amsterdam
11:45 30m Talk		Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin DEBT Dmitrii Artiukhov JetBrains, Bob Brockbernd JetBrains, Evgeniia Fedotova JetBrains Research, Nikita Koval JetBrains, Ivan Kylchik JetBrains, Evgeniy Moiseenko JetBrains Research, Lev Serebryakov JetBrains, Evgeniy Zhelenskiy JetBrains, Maksim Zuev JetBrains
12:15 15m Day closing		Closing by the workshop organizers DEBT Burcu Kulahcioglu Ozkan Delft University of Technology, Tom Lauwaerts Universiteit Gent, Belgium

12:30 - 14:00	Lunch (cafeteria K1)Catering at Cafeteria (K1)

12:30 90m Lunch		Lunch Catering

15:45 - 16:15	Coffee BreakCatering at M130/131

15:45 30m Coffee break		Break Catering

DEBT 2025 Program

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

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

Poster session

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

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

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

Tracks

Co-hosted Conferences

Workshops

DEBT 2025 Program

Switch Program View

Program Display Configuration

Mon 30 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Poster session

Wed 2 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

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

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

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

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

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