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

Room information: I.2.03

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

This program is tentative and subject to change.

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
OpeningTechnical Papers at I.2.03
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy, Wolfgang De Meuter Vrije Universiteit Brussel
09:15 - 10:30
Keynote 1Technical 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
11:00
22m
Talk
A Complete Program Logic for Compositional Linearizability
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
14:00
22m
Talk
Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis
Technical Papers
Wenyao Chen UNSW Sydney, Wei Li UNSW, Jingling Xue UNSW
14:22
22m
Talk
Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
Technical Papers
Yusuke Fujiwara Kyoto University, Japan, Yusuke Matsushita Kyoto University, Japan, Kohei Suenaga Graduate School of Informatics, Kyoto University, 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
15:07
22m
Talk
Distributed-to-Centralized: Closing the Loop on Architecture Migration via Unification Refactoring
Technical Papers
Provakar Mondal Virginia Tech, Joshua Martin Virginia Tech, Eli Tilevich Virginia Tech
16:00 - 16:45
AI & Human-in-the-LoopTechnical Papers at I.2.03
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

Thu 2 Jul

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

09:00 - 10:30
Keynote 1Technical 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
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
Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
Technical Papers
Takashi Suwa Kyoto University and Imiron, Atsushi Igarashi Kyoto University
11:45
22m
Talk
Language-Integrated Recursive Queries
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
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
16:00 - 16:45
Testing & DebuggingTechnical Papers at I.2.03
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
Pre-print

Fri 3 Jul

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

09:00 - 10:30
Keynote 2Technical 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
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
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
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
Pre-print
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

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

Technical Papers

Opening

Technical Papers

Keynote 1

Technical Papers

Concurrency

Technical Papers

Pointers & Distributed Systems

Technical Papers

AI & Human-in-the-Loop

Thu 2 Jul

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

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

Technical Papers + Awards

Keynote 1

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

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

Technical Papers + Awards

Keynote 2

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
I.2.03
ECOOP Technical PapersKeynote Speaker
Building trust: a journey from mechanized semantics to verified compila ...
09:15 - 10:30
ECOOP Technical Papers
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 Papers
Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable ...
14:00 - 14:22
ECOOP Technical Papers
Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
14:22 - 14:45
ECOOP Technical Papers
Compositional Design, Implementation, and Verification of Swarms
14:45 - 15:07
ECOOP Technical Papers
Distributed-to-Centralized: Closing the Loop on Architecture Migration ...
15:07 - 15:30
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

Thu 2 Jul

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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
Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
11:22 - 11:45
ECOOP Technical Papers
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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