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

10:45 - 12:30	ICOOOLPS Session 1ICOOOLPS at M125 Chair(s): Paulo Ferreira University of Oslo

10:45 15m Day opening		Opening Remarks ICOOOLPS Paulo Ferreira University of Oslo, Andrea Rosà USI Lugano
11:00 60m Talk		Invited Talk: Implementing Object Tracking in the Emerald Object-Oriented Language ICOOOLPS Eric Jul University of Oslo
12:00 30m Full-paper		Cellato: a DSL for Cellular Automata based on C++ Template Meta-programming ICOOOLPS Matyáš Brabec Charles University, Jiří Klepl Charles University, Martin Kruliš Charles University Pre-print

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

12:30 90m Lunch		Lunch Catering

14:00 - 15:45	ICOOOLPS Session 2ICOOOLPS at M125 Chair(s): Andrea Rosà USI Lugano

14:00 30m Full-paper		Revisiting Borrow Checking with Abstract Interpretation ICOOOLPS Aurélien Coet University of Geneva, Switzerland, Didier Buchs University of Geneva, Switzerland
14:30 30m Full-paper		AST, Bytecode, and the Space In Between: An Exploration of Interpreter Design Tradeoffs ICOOOLPS Octave Larose University of Kent, Michael Vollmer University of Kent, Stefan Marr University of Kent Pre-print File Attached
15:00 30m Full-paper		Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine ICOOOLPS Christoph Jung , CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf Pre-print File Attached
15:30 10m Day closing		Closing Remarks ICOOOLPS Paulo Ferreira University of Oslo, Andrea Rosà USI Lugano

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

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

ICOOOLPS 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

ICOOOLPS 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