I.2.03 - ECOOP 2026

VenueVrije Universiteit Brussel

Room nameI.2.03

Floor2

Room numberI.2.03

Room Information

Building I, floor 2, room I.2.03

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

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

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

	09:00 - 09:15	OpeningAwards / Technical Papers at I.2.03 Chair(s): Davide Ancona DIBRIS, University of Genova, Italy, Wolfgang De Meuter Vrije Universiteit Brussel

09:15 - 10:30	KeynoteAwards / Technical Papers at I.2.03 Chair(s): Robbert Krebbers Radboud University Nijmegen

09:15 75m Keynote		Building trust: a journey from mechanized semantics to verified compilation and beyondKeynote Speaker Technical Papers Sandrine Blazy University of Rennes

11:00 - 12:30	ConcurrencyTechnical Papers at I.2.03 Chair(s): António Ravara Nova University of Lisbon

11:00 22m Talk		A Complete Program Logic for Compositional LinearizabilityDistinguished paper award Technical Papers Eashan Hatti Yale University, Arthur Oliveira Vale Yale University, Zhongye Wang Yale University, Yueyang Feng Yale University, Zhong Shao Yale University
11:22 22m Talk		Foundational and Compositional Verification of Layered Concurrent Objects Technical Papers Yicheng Ni , Yuting Wang Shanghai Jiao Tong University
11:45 22m Talk		Verifying wait-freedom for concurrent higher-order programs Technical Papers Egor Namakonov , Lars Birkedal Aarhus University, Amin Timany Aarhus University
12:07 22m Talk		Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs Technical Papers João Gonçalves IST U. Lisboa & INESC-ID, Miguel Matos IST, INESC-ID, U. Lisboa, Rodrigo Rodrigues Instituto Superior Técnico, U. Lisboa & INESC-ID, José Fragoso Santos INESC-ID; Instituto Superior Técnico - University of Lisbon

14:00 - 15:30	Pointers & Distributed SystemsTechnical Papers at I.2.03 Chair(s): Sophia Drossopoulou Imperial College London

14:00 22m Talk		Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer AnalysisDistinguished paper award Technical Papers Wenyao Chen UNSW Sydney, Wei Li UNSW, Jingling Xue UNSW
14:22 22m Talk		Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types Technical Papers Takashi Suwa Kyoto University and Imiron, Atsushi Igarashi Kyoto University
14:45 22m Talk		Compositional Design, Implementation, and Verification of Swarms Technical Papers Florian Furbach Technical University of Denmark, Lucas Clorius DTU Compute, Roland Kuhn RKSW UG, Hernan Melgratti University of Buenos Aires, Argentina, Alceste Scalas Technical University of Denmark, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy

16:00 - 16:45	AI & Human-in-the-LoopTechnical Papers at I.2.03 Chair(s): Yizhou Zhang University of Waterloo

16:00 22m Talk		Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages Technical Papers Siddhartha Prasad Brown University, Skyler Austen Brown University, Kathi Fisler Brown University, Shriram Krishnamurthi Brown University
16:22 22m Talk		Faster Verified Explanations for Neural Networks Technical Papers Alessandro De Palma LSE, Greta Dolcetti Ca’ Foscari University of Venice, Caterina Urban Inria - École Normale Supérieure

16:45 - 17:30	ECOOP Demo TeasersDemos at I.2.03 Chair(s): Gordana Rakić University of Novi Sad Teaser presentations

16:45 11m Demonstration		Pattern-Oriented Programming in MLscript Demos Luyu Cheng Hong Kong University of Science and Technology, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
16:56 11m Demonstration		PICK: Checking the Output of GenAI Synthesis Demos Siddhartha Prasad Brown University, Skyler Austen Brown University, Shriram Krishnamurthi Brown University, Kathi Fisler Brown University
17:07 11m Demonstration		Remote Concolic Multiverse Debugging Demos Maarten Steevens Ghent University, Belgium, Tom Lauwaerts Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent
17:18 11m Demonstration		JavaWiz ThreadViz - A Visual Debugger for Multi-threaded Programs Based on the Espresso Java VM Demos Melissa Sen Johannes Kepler University Linz, Markus Weninger JKU Linz

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

09:00 - 10:30	Keynote: Dahl-Nygaard Senior PrizeTechnical Papers / Awards at I.2.03

09:00 90m Keynote		15 Years of Viper: Building and Evolving a Verification InfrastructureAITO Dahl-Nygaard Senior Prize Awards Peter Müller ETH Zurich

11:00 - 12:30	Programming Languages & Type SystemsTechnical Papers at I.2.03 Chair(s): Peter Müller ETH Zurich

11:00 22m Talk		A Variation on Java Wildcards - Trading Expressiveness for Global Type Inference Technical Papers Andreas Stadelmeier DHBW Baden-Wuerttemberg Cooperative State University, Peter Thiemann University of Freiburg, Martin Plümicke DHBW Stuttgart, Campus Horb, Germany
11:22 22m Talk		Ownership Refinement Types for Pointer Arithmetic and Nested Arrays Technical Papers Yusuke Fujiwara Kyoto University, Japan, Yusuke Matsushita Kyoto University, Kohei Suenaga Graduate School of Informatics, Kyoto University, Atsushi Igarashi Kyoto University
11:45 22m Talk		Language-Integrated Recursive QueriesDistinguished paper award Technical Papers Anna Herlihy EPFL, Amir Shaikhha University of Edinburgh, Anastasia Ailamaki EPFL, Martin Odersky EPFL
12:07 22m Talk		NEST: Network Enforced Session Types Technical Papers Jens Kanstrup Larsen DTU, Alceste Scalas Technical University of Denmark, Guy Amir Hebrew University, Jules Jacobs Cornell University, Jana Wagemaker Radboud University, Nate Foster EPFL; Jane Street

14:00 - 15:30	Compilers, Interpreters & Runtime SystemsTechnical Papers at I.2.03 Chair(s): Christian Hammer University of Passau

14:00 22m Talk		Eliminate Branches by Melding IR Instructions Technical Papers Yuze Li Virginia Tech, Srinivasan Ramachandra Sharma Virginia Tech, Charitha Saumya Intel, Ali R. Butt Virginia Tech, Kirshanthan Sundararajah Virginia Tech
14:22 22m Talk		Characterizing Type Feedback in Just-in-Time Compilation Technical Papers Sebastián Krynski Czech Technical University in Prague, Filip Riha Czech Technical University, Filip Křikava Czech Technical University in Prague, Jan Vitek Northeastern University
14:45 22m Talk		Optimizing Record/Replay through Relaxed Total Ordering and Multi-Version eXecution Technical Papers David Schwartz University of Illinois at Chicago, Luís Pina University of Illinois Chicago
15:07 22m Talk		The Virtual Recency Abstraction (Strong Updates for Abstract Interpreters with Shared State) Technical Papers Sven Keidel Fraunhofer SIT \| ATHENE, Raphaël Monat Inria and University of Lille, Sebastian Erdweg KIT Link to publication

16:00 - 16:45	Testing & DebuggingTechnical Papers at I.2.03 Chair(s): Alceste Scalas Technical University of Denmark

16:00 22m Talk		Automated Inline-Test Generation without Relying on Method-Level Unit Tests Technical Papers Pengyue Jiang Cornell University, Yu Liu Meta, Anna Guo University of Texas at Austin, Milos Gligoric The University of Texas at Austin, Owolabi Legunsen Cornell University
16:22 22m Talk		Remote Concolic Multiverse Debugging Technical Papers Maarten Steevens Ghent University, Belgium, Tom Lauwaerts Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent Link to publication DOI Pre-print

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

09:00 - 10:30	Keynote: Dahl-Nygaard Junior PrizeTechnical Papers / Awards at I.2.03

09:00 90m Keynote		Language Design and Implementation Where Paradigms ConvergeAITO Dahl-Nygaard Junior Prize Awards Yizhou Zhang University of Waterloo

11:00 - 12:30	Static AnalysisTechnical Papers at I.2.03 Chair(s): Sven Keidel Fraunhofer SIT \| ATHENE

11:00 22m Talk		Scaling Bottom-up IFDS Taint Analysis with Optimized Data-flow Encoding Technical Papers Fabian Schiebel Heinz Nixdorf Institute, Paderborn University, Eric Bodden
11:22 22m Talk		DelExp: a Relational Container Abstraction with Applications to Compositional Analysis Technical Papers Milla Valnet Sorbonne Université, Raphaël Monat Inria and University of Lille, Antoine Miné Sorbonne Université
11:45 22m Talk		Comparing Transparent Static Analyzers with Open Verification Dashboard Technical Papers Tom Goalard University of Rennes, Karoliine Holter University of Tartu, Estonia, Simmo Saan University of Tartu, Estonia, Vesal Vojdani University of Tartu, Raphaël Monat Inria and University of Lille
12:07 22m Talk		Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-Reachability Technical Papers Yujiang Gui UNSW, Yonggang Tao UNSW, Jingling Xue UNSW

14:00 - 15:30	Security & Smart ContractsTechnical Papers at I.2.03 Chair(s): Alejandro Russo Chalmers University of Technology; University of Gothenburg

14:00 22m Talk		Proof-of-Theft: Dynamic Graph-based Fingerprinting of In-browser Cryptomining Technical Papers Tanapoom Sermchaiwong The Hong Kong University of Science and Technology, Jiasi Shen The Hong Kong University of Science and Technology
14:22 22m Talk		Automatic Code and Test Generation of Smart Contracts from Coordination Models Technical Papers Elvis Konjoh Selabi Gran Sasso Science Institute and University of Camerino, Maurizio Murgia Gran Sasso Science Institute, António Ravara Nova University of Lisbon, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy
14:45 22m Talk		Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts Technical Papers Stian Lybech Reykjavik University, Daniele Gorla Department of Computer Science, Sapienza University of Rome, Luca Aceto Reykjavik University
15:07 22m Talk		Efficient Symbolic Execution of Software under Fault Attacks Technical Papers Yuzhou Fang University of Southern California, Chenyu Zhou University of Southern California, Jingbo Wang Purdue University, Chao Wang University of Southern California

16:00 - 17:10	Syntax & ParsingTechnical Papers at I.2.03 Chair(s): Matthew Flatt University of Utah

16:00 23m Talk		A Simple Recipe for Writing Decent Recursive Descent Parsers (Pearl) Technical Papers Luyu Cheng Hong Kong University of Science and Technology, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
16:23 23m Talk		Automatic layout of railroad diagrams Technical Papers Shardul Chiplunkar EPFL, Clément Pit-Claudel EPFL Link to publication DOI
16:46 23m Talk		A Stable Lossless Syntax Tree for Real-time Collaborative Programming Technical Papers Leon Freudenthaler Hochschule Campus Wien/TU Wien, Karl M. Göschka TU Wien

	17:10 - 17:25	ClosingTechnical Papers at I.2.03

Wed 1 Jul
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.03	Awards + Technical Papers Opening			Awards + Technical Papers Keynote																					Technical Papers Concurrency																																				Technical Papers Pointers & Distributed Systems																								Technical Papers AI & Human-in-the-Loop									Demos ECOOP Demo Teasers

Thu 2 Jul
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
I.2.03	Technical Papers + Awards Keynote: Dahl-Nygaard Senior Prize																								Technical Papers Programming Languages & Type Systems																																				Technical Papers Compilers, Interpreters & Runtime Systems																								Technical Papers Testing & Debugging

Fri 3 Jul
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.03	Technical Papers + Awards Keynote: Dahl-Nygaard Junior Prize																								Technical Papers Static Analysis																																				Technical Papers Security & Smart Contracts																								Technical Papers Syntax & Parsing														Technical Papers Closing

Wed 1 Jul
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.03				ECOOP Technical PapersKeynote Speaker Building trust: a journey from mechanized semantics to verified compila ... 09:15 - 10:30																					ECOOP Technical PapersDistinguished paper award A Complete Program Logic for Compositional Linearizability 11:00 - 11:22				ECOOP Technical Papers Foundational and Compositional Verification of Layered Concurrent Objects 11:22 - 11:45					ECOOP Technical Papers Verifying wait-freedom for concurrent higher-order programs 11:45 - 12:07				ECOOP Technical Papers Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs 12:07 - 12:30																							ECOOP Technical PapersDistinguished paper award Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable ... 14:00 - 14:22				ECOOP Technical Papers Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types 14:22 - 14:44					ECOOP Technical Papers Compositional Design, Implementation, and Verification of Swarms 14:45 - 15:07															ECOOP Technical Papers Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted ... 16:00 - 16:22				ECOOP Technical Papers Faster Verified Explanations for Neural Networks 16:22 - 16:45					ECOOP Demos Pattern-Oriented Programming in MLscript 16:45 - 16:56		ECOOP Demos PICK: Checking the Output of GenAI Synthesis 16:56 - 17:07		ECOOP Demos Remote Concolic Multiverse Debugging 17:07 - 17:18			ECOOP Demos JavaWiz ThreadViz - A Visual Debugger for Multi-threaded Programs Based ... 17:18 - 17:30

Thu 2 Jul
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.03	ECOOP AwardsAITO Dahl-Nygaard Senior Prize 15 Years of Viper: Building and Evolving a Verification Infrastructure 09:00 - 10:30																								ECOOP Technical Papers A Variation on Java Wildcards - Trading Expressiveness for Global Type ... 11:00 - 11:22				ECOOP Technical Papers Ownership Refinement Types for Pointer Arithmetic and Nested Arrays 11:22 - 11:45					ECOOP Technical PapersDistinguished paper award Language-Integrated Recursive Queries 11:45 - 12:07				ECOOP Technical Papers NEST: Network Enforced Session Types 12:07 - 12:30																							ECOOP Technical Papers Eliminate Branches by Melding IR Instructions 14:00 - 14:22				ECOOP Technical Papers Characterizing Type Feedback in Just-in-Time Compilation 14:22 - 14:45					ECOOP Technical Papers Optimizing Record/Replay through Relaxed Total Ordering and Multi-Versi ... 14:45 - 15:07				ECOOP Technical Papers The Virtual Recency Abstraction (Strong Updates for Abstract Interprete ... 15:07 - 15:30											ECOOP Technical Papers Automated Inline-Test Generation without Relying on Method-Level Unit Tests 16:00 - 16:22				ECOOP Technical Papers Remote Concolic Multiverse Debugging 16:22 - 16:45

Fri 3 Jul
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.03	ECOOP AwardsAITO Dahl-Nygaard Junior Prize Language Design and Implementation Where Paradigms Converge 09:00 - 10:30																								ECOOP Technical Papers Scaling Bottom-up IFDS Taint Analysis with Optimized Data-flow Encoding 11:00 - 11:22				ECOOP Technical Papers DelExp: a Relational Container Abstraction with Applications to Composi ... 11:22 - 11:45					ECOOP Technical Papers Comparing Transparent Static Analyzers with Open Verification Dashboard 11:45 - 12:07				ECOOP Technical Papers Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL- ... 12:07 - 12:30																							ECOOP Technical Papers Proof-of-Theft: Dynamic Graph-based Fingerprinting of In-browser Crypto ... 14:00 - 14:22				ECOOP Technical Papers Automatic Code and Test Generation of Smart Contracts from Coordination ... 14:22 - 14:45					ECOOP Technical Papers Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts 14:45 - 15:07				ECOOP Technical Papers Efficient Symbolic Execution of Software under Fault Attacks 15:07 - 15:30											ECOOP Technical Papers A Simple Recipe for Writing Decent Recursive Descent Parsers (Pearl) 16:00 - 16:23					ECOOP Technical Papers Automatic layout of railroad diagrams 16:23 - 16:46				ECOOP Technical Papers A Stable Lossless Syntax Tree for Real-time Collaborative Programming 16:46 - 17:10

Room information: I.2.03

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

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

Awards + Technical Papers

Awards + Technical Papers

Technical Papers

Technical Papers

Technical Papers

Demos

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

Technical Papers + Awards

Technical Papers

Technical Papers

Technical Papers

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

Technical Papers + Awards

Technical Papers

Technical Papers

Technical Papers

Technical Papers

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.03

Program Display Configuration

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

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

Awards + Technical Papers

Awards + Technical Papers

Technical Papers

Technical Papers

Technical Papers

Demos

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

Technical Papers + Awards

Technical Papers

Technical Papers

Technical Papers

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

Technical Papers + Awards

Technical Papers

Technical Papers

Technical Papers

Technical Papers

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

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

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

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