ECOOP 2026
Mon 29 June - Fri 3 July 2026 Brussels, Belgium
ECOOP 2026 (series) / Vrije Universiteit Brussel /

Room information: I.1.03

VenueVrije Universiteit Brussel
Room nameI.1.03
Floor1
Room numberI.1.03
Room Information

Building I, floor 1, room I.1.03

https://link.mazemap.com/lpkucplM

Program

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

Mon 29 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:00 - 12:30
Session 1ICOOOLPS at I.1.03
11:00
60m
Keynote
Pragmatic Approaches to Improving Compiler Correctness
ICOOOLPS
CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf
File Attached
12:00
30m
Paper
Beyond Type Erasure: On-demand Specialization for Java Generics
ICOOOLPS
Lorris Creantor , Remi Farox , Maurizio Cimadamore
14:00 - 15:30
Session 2ICOOOLPS at I.1.03
14:00
30m
Short-paper
Towards Ahead-of-Time Meta-Compilation of Dynamic Languages With an Extensible Type Analysis
ICOOOLPS
Christoph Aigner JKU Linz, Stefan Marr Johannes Kepler University Linz
Pre-print
14:30
25m
Demonstration
Phoenix: Auto-Vectorisation Reborn (demo)
ICOOOLPS
Jonas Sys Ghent University and Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Christophe Scholliers Universiteit Gent
14:55
25m
Demonstration
Automatic railroad diagrams for lexers, parsers, and more! (demo)
ICOOOLPS
Shardul Chiplunkar EPFL, Clement Pit-Claudel EPFL
Pre-print
15:20
10m
Day closing
Closing remarks
ICOOOLPS

Tue 30 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30
Session 1: Idris & LeanUNSOUND at I.1.03
09:00
45m
Talk
Who Watches the Watchers? Fuzzing Lean 4's Trusted Computing Base
UNSOUND
Kiran Gopinathan Basis
09:45
45m
Talk
Unsoundness in Idris
UNSOUND
Edwin Brady University of St. Andrews
11:00 - 12:30
Session 2: PHP & Testing TheoryUNSOUND at I.1.03
11:00
45m
Talk
PHP: Type System in Distress
UNSOUND
Gina Banyard The PHP Foundation
11:45
45m
Talk
The rocky road to the MUST preorder for asynchrony
UNSOUND
Giovanni Bernardi IRIF, Université Paris Cité
14:00 - 15:30
Session 3: TLA+ & Vibe FormalizationsUNSOUND at I.1.03
14:00
45m
Talk
Proving False in the TLA+ Proof System
UNSOUND
Uğur Y. Yavuz Boston University
14:45
45m
Talk
Vibe formalizing and AI slop: sound or unsound?
UNSOUND
Freek Wiedijk Radboud University Nijmegen
16:00 - 17:30
Session 4: TypeScript & BisimulationUNSOUND at I.1.03
16:00
45m
Talk
Unsoundness in TypeScript
UNSOUND
Dan Vanderkam
16:45
45m
Talk
When Bisimulation becomes unsound
UNSOUND
Vasileios Koutavas Trinity College Dublin

Wed 1 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:00 - 12:30
ECOOP AITO SRC Presentations (invitation only)Student Research Competition at I.1.03
Chair(s): João Costa Seco NOVA-LINCS; Nova University of Lisbon, Jens Nicolay Vrije Universiteit Brussel, Christophe Scholliers Universiteit Gent, Quentin Stiévenart Université du Québec à Montréal
11:00
22m
Talk
Agent-driven assistance for accurate programming feedback
Student Research Competition
Guillaume Steveny Université Catholique de Louvain, Belgium
11:22
22m
Talk
Delta Vector Clocks for Pure Operation-based CRDTs
Student Research Competition
Thomas Vandermotten Vrije Universiteit Brussel
11:45
22m
Talk
Phoenix: Language-Driven Auto-Vectorisation
Student Research Competition
Jonas Sys Ghent University and Vrije Universiteit Brussel
12:07
22m
Talk
Language Models Need Some Space: On the Sensitivity of Constrained Decoding to Completeness
Student Research Competition
Jahrim Gabriele Cesario University of St. Gallen
Pre-print

Mon 29 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
I.1.03

ICOOOLPS

ICOOOLPS

Session 1

ICOOOLPS

Session 2

ICOOOLPS

Tue 30 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
I.1.03

UNSOUND

Session 1: Idris & Lean

UNSOUND

Session 2: PHP & Testing Theory

UNSOUND

Session 3: TLA+ & Vibe Formalizations

UNSOUND

Session 4: TypeScript & Bisimulation

Wed 1 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room11:003012:0030
I.1.03

Student Research Competition

ECOOP AITO SRC Presentations (invitation only)

Mon 29 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room11:0015304512:0015304513:0015304514:0015304515:00153045
I.1.03
ICOOOLPS
Pragmatic Approaches to Improving Compiler Correctness
11:00 - 12:00
ICOOOLPS
Beyond Type Erasure: On-demand Specialization for Java Generics
12:00 - 12:30
ICOOOLPS
Towards Ahead-of-Time Meta-Compilation of Dynamic Languages With an Ext ...
14:00 - 14:30
ICOOOLPS
Phoenix: Auto-Vectorisation Reborn (demo)
14:30 - 14:55
ICOOOLPS
Automatic railroad diagrams for lexers, parsers, and more! (demo)
14:55 - 15:20
ICOOOLPS
Closing remarks
15:20 - 15:30

Tue 30 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
I.1.03
UNSOUND
Who Watches the Watchers? Fuzzing Lean 4's Trusted Computing Base
09:00 - 09:45
UNSOUND
Unsoundness in Idris
09:45 - 10:30
UNSOUND
PHP: Type System in Distress
11:00 - 11:45
UNSOUND
The rocky road to the MUST preorder for asynchrony
11:45 - 12:30
UNSOUND
Proving False in the TLA+ Proof System
14:00 - 14:45
UNSOUND
Vibe formalizing and AI slop: sound or unsound?
14:45 - 15:30
UNSOUND
Unsoundness in TypeScript
16:00 - 16:45
UNSOUND
When Bisimulation becomes unsound
16:45 - 17:30

Wed 1 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room11:0015304512:00153045
I.1.03
ECOOP Student Research Competition
Agent-driven assistance for accurate programming feedback
11:00 - 11:22
ECOOP Student Research Competition
Delta Vector Clocks for Pure Operation-based CRDTs
11:22 - 11:45
ECOOP Student Research Competition
Phoenix: Language-Driven Auto-Vectorisation
11:45 - 12:07
ECOOP Student Research Competition
Language Models Need Some Space: On the Sensitivity of Constrained Deco ...
12:07 - 12:30