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)

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

09:00 - 10:15	Intro & KeynoteGPCE at Auditorium M003 Chair(s): Amir Shaikhha University of Edinburgh

09:00 75m Keynote		Metaprogramming and algebra GPCE Ohad Kammar University of Edinburgh

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

10:15 30m Coffee break		Break Catering

10:45 - 12:30	Contributed TalksGPCE at Auditorium M003 Chair(s): Torsten Layda SIX

10:45 35m Talk		CoCoCoLa: Code Completion Control Language GPCE Nhat University of Twente, Vadim Zaytsev University of Twente
11:20 35m Talk		Comparative Analysis of Pre-Trained Code Language Models for Automated Program Repair via Code Infill Generation GPCE Iman Hemati Moghadam Eindhoven University of Technology, Oebele Lijzenga Universiteit Twente, Vadim Zaytsev University of Twente
11:55 35m Talk		Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations GPCE Aleksandar S. Dimovski Mother Teresa University, Skopje

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

12:30 90m Lunch		Lunch Catering

14:00 - 15:45	Contributed TalksGPCE at Auditorium M003 Chair(s): Yukiyoshi Kameyama University of Tsukuba

14:00 35m Talk		Integrating Static Optimization and Dynamic Nature in JavaScript GPCE Tadashi Saito The University of Electro-Communications , Hideya Iwasaki Meiji University DOI Media Attached
14:35 35m Talk		P4DDG: data-dependent grammars for packet specification and parsing in P4 GPCE Tommaso Pacciani University of Amsterdam, Damian Frölich University of Amsterdam, L. Thomas van Binsbergen University of Amsterdam, Chrysa Papagianni University of Amsterdam Link to publication DOI Pre-print
15:10 35m Talk		Retrofitting a Virtual Instrument DSL with Programming Abstractions GPCE Mathias Vatter JGU Mainz, Sebastian Erdweg JGU Mainz

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

15:45 30m Coffee break		Break Catering

16:15 - 18:00	Contributed Talks & ClosingGPCE at Auditorium M003 Chair(s): David Klopp JGU Mainz

16:15 35m Talk		A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios GPCE Christopher Esterhuyse University of Amsterdam, Tim Müller University of Amsterdam, L. Thomas van Binsbergen University of Amsterdam Link to publication DOI Pre-print
16:50 35m Talk		Staged Gradual Typing GPCE Hiroto Yaguchi University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba Link to publication DOI

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

GPCE 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

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

GPCE 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

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