I.2.02 - ECOOP 2026

VenueVrije Universiteit Brussel

Room nameI.2.02

Floor2

Room numberI.2.02

Room Information

Building I, floor 2, room I.2.02

https://link.mazemap.com/1GKLiNjM

Program

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect 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 29 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30	Invited TalksGPCE at I.2.02 Chair(s): L. Thomas van Binsbergen University of Amsterdam

09:00 45m Keynote		Bringing mixed-stage programming to OCaml GPCE Jeremy Yallop University of Cambridge
09:45 45m Keynote		Executable Counterfactuals: A Causal Calculus for Concurrent Systems GPCE Georgiana Caltais University of Twente

11:00 - 12:30	Specification and AnalysisGPCE at I.2.02 Chair(s): Jens Nicolay Vrije Universiteit Brussel

11:00 22m Talk		Comparing Solver Representations for Analyzing Cardinality-Based Feature Models GPCE Fabian Eger Karlsruhe Institute of Technology, Lukas Güthing Karlsruhe Institute of Technology, Kevin Feichtinger Karlsruhe Institute of Technology (KIT), Ina Schaefer KIT
11:22 22m Talk		ATLAS: From Access conTrol Language to ACSL Specifications GPCE Julien Signoles Université Paris-Saclay, CEA, List, Khaoula Boukir Ibn Tofail University, Amine Nasri Université Paris-Saclay, CEA, List & Ibn Tofail University
11:45 22m Talk		Less Is More: Measuring How LLM Involvement Affects Chatbot Accuracy in Static Analysis GPCE Krishna Narasimhan F1RE
12:07 22m Talk		TurtleTalk: A DSL for Constraint-Based Turtle Graphics in Programmatic CAD GPCE Jef Jacobs Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel

14:00 - 15:30	Programming Abstractions IGPCE at I.2.02 Chair(s): Krishna Narasimhan TU Darmstadt

14:00 22m Talk		Programmable record types in Haskell GPCE Arthur Jamet University of Kent, Michael Vollmer University of Kent
14:22 22m Talk		Modular Substructural Constraints for Embedded DSLs GPCE Anna Herlihy EPFL, Amir Shaikhha University of Edinburgh, Anastasia Ailamaki EPFL, Martin Odersky EPFL
14:45 22m Talk		Metis: A Compositional DSL for Board Games and Game Tree Search GPCE Thomas Kottenhahn University of Mainz, Prashant Kumar
15:07 22m Talk		Synthesizing Recursive Functional Programs via Structure-Element Separation GPCE Junyu Lin The University of Tokyo, Akimasa Morihata University of Tokyo

16:00 - 17:30	Programming Abstractions II & AwardsGPCE at I.2.02 Chair(s): Daniel Strüber Chalmers \| University of Gothenburg / Radboud University

16:00 22m Talk		Stageleft: Multi-Stage Programming in Standard Rust GPCE Shadaj Laddad Amazon Web Services, Mingwei Samuel Amazon Web Services, Joseph M. Hellerstein UC Berkeley
16:25 4m Awards		Awards GPCE
16:30 30m Awards		Most Influential Paper Award: Acceptance Presentation GPCE Mustafa Al-Hajjaji Magdeburg University, Sebastian Krieter TU Braunschweig, Germany, Thomas Thüm TU Braunschweig, Malte Lochau , Gunter Saake Otto von Guericke University Link to publication

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30	Opening & KeynoteMPLR at I.2.02 Roel Wuyts, keynote speaker for MPLR, is a principal scientist at IMEC and part-time professor in the DTAI group at KU Leuven. His main research interest currently lies in the runtime management layer for future high-performance computing hardware. Before that, he did research on adaptive runtime resource management of CPUs and GPUs, on toolchains for embedded devices (see, for example, the CleanC tool), in programming language composition (resulting in contributions such as the traits model), and in logic metaprogramming. In his keynote, he will reflect on his research, discuss a programming model for distributed systems, and explore its repercussions on hardware.

09:00 90m Keynote		A Programming Model for Distributed Systems and Its Hardware Implications MPLR Roel Wuyts University of Leuven

11:00 - 12:30	JITMPLR at I.2.02 Chair(s): Stefan Marr Johannes Kepler University Linz

11:00 30m Talk		Generating Interpreter-Specific Tracers for Meta-Tracing JIT Compilers MPLR Yusuke Izawa Tokyo Metropolitan University, CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf, Nico Rittinghaus Heinrich-Heine-Universität Düsseldorf, Hidehiko Masuhara Institute of Science Tokyo
11:30 30m Talk		TrueJIT - Learning and Prediction of Compilation Sequences in a Centralized JIT Compiler MPLR Björn Franke University of Edinburgh, Tom Spink University of St Andrews, Amir Khordadi University of Edinburgh, Kim Stonehouse University of Edinburgh, United Kingdom
12:00 30m Talk		Leveraging Copy-and-Patch JIT for Low-Overhead Dynamic Program Analysis MPLR Matěj Kocourek Charles University, Filip Křikava Czech Technical University in Prague, Pierre Donat-Bouillud Czech Technical University in Prague, Jan Vitek Northeastern University

14:00 - 15:30	WebAssemblyMPLR at I.2.02 Chair(s): Ben L. Titzer Carnegie Mellon University

14:00 30m Talk		WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction MPLR Byeongjee Kang Carnegie Mellon University, Harsh Desai Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University
14:30 30m Talk		DWasm: Portable Debugging for the Web MPLR Aäron Munsters Vrije Universiteit Brussel, Nikita Servais Vrije Universiteit Brussel, Carlos Rojas Castillo Vrije Universiteit Brussel, Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
15:00 30m Talk		Annotation-Guided Edit-Aware JIT Compilation for Julia Computational Notebooks MPLR Yusuke Izawa Tokyo Metropolitan University, Tomoki Nakamaru The University of Tokyo, Tetsuro Yamazaki University of Tokyo

16:00 - 17:30	Garbage CollectionMPLR at I.2.02 Chair(s): Takuo Watanabe Institute of Science Tokyo

16:00 30m Talk		A Unifying Approach to Supporting Multiple Garbage Collectors in AOT-compiled Binaries MPLR Thomas Schrott Johannes Kepler University Linz, Christian Häubl Oracle, Hanspeter Mössenböck JKU Linz, Stefan Marr Johannes Kepler University Linz Pre-print
16:30 30m Talk		Load-Site-Based Filtering of Transiently Hot Objects to Reduce the Effective Working Set MPLR Naoki Nakanishi The University of Tokyo, Takato Hideshima The University of Tokyo, Japan, Tomoharu Ugawa University of Tokyo Pre-print
17:00 30m Talk		To Compile or Not To Compile: Evaluating Static Heuristics to Reduce Binary Size of Hybrid Execution Systems MPLR Christoph Pichler Johannes Kepler University Linz, Bernhard Urban-Forster Oracle Labs, Paley Li , Roland Schatz Oracle Labs, Stefan Marr Johannes Kepler University Linz Pre-print

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:00 - 12:30	ECOOP Academy Lecture 1ECOOP Academy at I.2.02 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel

11:00 90m Talk		Programming Systems, or What Programming Language Research Cannot See ECOOP Academy Tomas Petricek Charles University

14:00 - 15:30	ECOOP Academy Lecture 2ECOOP Academy at I.2.02 Chair(s): Coen De Roover Vrije Universiteit Brussel

14:00 90m Talk		Getting Started with Quantum Software Engineering ECOOP Academy Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University

16:00 - 17:30	ECOOP Academy Lecture 3ECOOP Academy at I.2.02 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel

16:00 90m Talk		Can WebAssembly Be the Universal Software Substrate? ECOOP Academy Ben L. Titzer Carnegie Mellon University File Attached

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:00 - 12:30	ECOOP Academy Lecture 4ECOOP Academy at I.2.02 Chair(s): Coen De Roover Vrije Universiteit Brussel

11:00 90m Talk		Safe Autonomous Agents via Shielding ECOOP Academy Bettina Könighofer Graz University of Technology

14:00 - 15:30	ECOOP Academy Lecture 5ECOOP Academy at I.2.02 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel

14:00 90m Talk		The challenge of data sharing while respecting privacy ECOOP Academy Alejandro Russo Chalmers University of Technology; University of Gothenburg

16:00 - 17:30	ECOOP Academy Lecture 6ECOOP Academy at I.2.02 Chair(s): Carla Ferreira NOVA University Lisbon, Elisa Gonzalez Boix Vrije Universiteit Brussel

16:00 90m Talk		Modelling, Verifying & Implementing database backends ECOOP Academy Marc Shapiro Sorbonne-Université (LIP6) & Inria

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:00 - 12:30	ECOOP Academy Lecture 7ECOOP Academy at I.2.02 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel

11:00 90m Talk		Benchmarking on Modern Hardware: Techniques for Performance Comparisons from Day-To-Day Experimenting to Paper Writing ECOOP Academy Stefan Marr Johannes Kepler University Linz File Attached

14:00 - 15:30	ECOOP Academy Lecture 8ECOOP Academy at I.2.02 Chair(s): Coen De Roover Vrije Universiteit Brussel

14:00 90m Talk		Formal Methods Meet Legal Implementations ECOOP Academy Raphaël Monat Inria and University of Lille

16:00 - 17:10	ECOOP Academy Lecture 9ECOOP Academy at I.2.02 Chair(s): Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel

16:00 70m Talk		Taming the Object Graph: What Types Can Guarantee ECOOP Academy Sophia Drossopoulou Imperial College London

Mon 29 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
I.2.02	GPCE Invited Talks																								GPCE Specification and Analysis																																				GPCE Programming Abstractions I																								GPCE Programming Abstractions II & Awards

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
I.2.02	MPLR Opening & Keynote																								MPLR JIT																																				MPLR WebAssembly																								MPLR Garbage Collection

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
I.2.02	ECOOP Academy ECOOP Academy Lecture 1																																				ECOOP Academy ECOOP Academy Lecture 2																								ECOOP Academy ECOOP Academy Lecture 3

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
I.2.02	ECOOP Academy ECOOP Academy Lecture 4																																				ECOOP Academy ECOOP Academy Lecture 5																								ECOOP Academy ECOOP Academy Lecture 6

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
I.2.02	ECOOP Academy ECOOP Academy Lecture 7																																				ECOOP Academy ECOOP Academy Lecture 8																								ECOOP Academy ECOOP Academy Lecture 9

Mon 29 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
I.2.02	GPCE Bringing mixed-stage programming to OCaml 09:00 - 09:45									GPCE Executable Counterfactuals: A Causal Calculus for Concurrent Systems 09:45 - 10:30															GPCE Comparing Solver Representations for Analyzing Cardinality-Based Featur ... 11:00 - 11:22				GPCE ATLAS: From Access conTrol Language to ACSL Specifications 11:22 - 11:45					GPCE Less Is More: Measuring How LLM Involvement Affects Chatbot Accuracy in ... 11:45 - 12:07				GPCE TurtleTalk: A DSL for Constraint-Based Turtle Graphics in Programmatic CAD 12:07 - 12:30																							GPCE Programmable record types in Haskell 14:00 - 14:22				GPCE Modular Substructural Constraints for Embedded DSLs 14:22 - 14:45					GPCE Metis: A Compositional DSL for Board Games and Game Tree Search 14:45 - 15:07				GPCE Synthesizing Recursive Functional Programs via Structure-Element Separation 15:07 - 15:30											GPCE Stageleft: Multi-Stage Programming in Standard Rust 16:00 - 16:22					GPCE Awards 16:25 - 16:29	GPCE Most Influential Paper Award: Acceptance Presentation 16:30 - 17:00

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
I.2.02	MPLR A Programming Model for Distributed Systems and Its Hardware Implications 09:00 - 10:30																								MPLR Generating Interpreter-Specific Tracers for Meta-Tracing JIT Compilers 11:00 - 11:30						MPLR TrueJIT - Learning and Prediction of Compilation Sequences in a Central ... 11:30 - 12:00						MPLR Leveraging Copy-and-Patch JIT for Low-Overhead Dynamic Program Analysis 12:00 - 12:30																								MPLR WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction 14:00 - 14:30						MPLR DWasm: Portable Debugging for the Web 14:30 - 15:00						MPLR Annotation-Guided Edit-Aware JIT Compilation for Julia Computational No ... 15:00 - 15:30												MPLR A Unifying Approach to Supporting Multiple Garbage Collectors in AOT-co ... 16:00 - 16:30						MPLR Load-Site-Based Filtering of Transiently Hot Objects to Reduce the Effe ... 16:30 - 17:00						MPLR To Compile or Not To Compile: Evaluating Static Heuristics to Reduce Bi ... 17:00 - 17:30

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
I.2.02	ECOOP Academy Programming Systems, or What Programming Language Research Cannot See 11:00 - 12:30																																				ECOOP Academy Getting Started with Quantum Software Engineering 14:00 - 15:30																								ECOOP Academy Can WebAssembly Be the Universal Software Substrate? 16:00 - 17:30

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
I.2.02	ECOOP Academy Safe Autonomous Agents via Shielding 11:00 - 12:30																																				ECOOP Academy The challenge of data sharing while respecting privacy 14:00 - 15:30																								ECOOP Academy Modelling, Verifying & Implementing database backends 16:00 - 17:30

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
I.2.02	ECOOP Academy Benchmarking on Modern Hardware: Techniques for Performance Comparisons ... 11:00 - 12:30																																				ECOOP Academy Formal Methods Meet Legal Implementations 14:00 - 15:30																								ECOOP Academy Taming the Object Graph: What Types Can Guarantee 16:00 - 17:10

Room information: I.2.02

Mon 29 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 29 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

GPCE

GPCE

GPCE

GPCE

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

MPLR

MPLR

MPLR

MPLR

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP Academy

ECOOP Academy

ECOOP Academy

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP Academy

ECOOP Academy

ECOOP Academy

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP Academy

ECOOP Academy

ECOOP Academy

Mon 29 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tracks

Co-hosted Conferences

Workshops

Room information: I.2.02

Program Display Configuration

Mon 29 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 29 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

GPCE

GPCE

GPCE

GPCE

Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

MPLR

MPLR

MPLR

MPLR

Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP Academy

ECOOP Academy

ECOOP Academy

Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP Academy

ECOOP Academy

ECOOP Academy

Fri 3 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP Academy

ECOOP Academy

ECOOP Academy

Mon 29 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Information for Participants

Mon 29 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 29 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 29 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change