ECOOP 2026 (series) /
ECOOP 2026 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Mon 29 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Mon 29 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | |||
09:20 10mDay opening | Welcome to the DEBT Workshop DEBT | ||
09:30 60mKeynote | Keynote: Amazing Bugs and Where to Find Them DEBT | ||
09:00 - 10:30 | |||
11:00 - 12:30 | |||
11:00 60mKeynote | Pragmatic Approaches to Improving Compiler Correctness ICOOOLPS CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf | ||
12:00 30mPaper | Beyond Type Erasure: On-demand Specialization for Java Generics ICOOOLPS | ||
11:00 - 12:30 | |||
11:00 30mTalk | How Developers Perceive Differential Debugging: an Exploratory Survey DEBT Rémi Dufloer Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France, Imen Sayar Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France, Steven Costiou INRIA Lille, Anne Etien University of Lille, Lille, France | ||
11:30 20mTalk | On-the-fly Abstract Debugging for Frama-C/Eva DEBT Jules Massart Independent Researcher, Michele Alberti Université Paris-Saclay, CEA, List, David Bühler Université Paris-Saclay, CEA, List, Virgile Prevosto Université Paris-Saclay, CEA, List | ||
11:50 20mTalk | Wasmito: A Lightweight Framework for Building Dynamic Tools on Microcontrollers DEBT Carlos Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Nokia Bell Labs, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel | ||
11:00 - 12:30 | |||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 30mShort-paper | Towards Ahead-of-Time Meta-Compilation of Dynamic Languages With an Extensible Type Analysis ICOOOLPS | ||
14:30 25mDemonstration | Automatic railroad diagrams for lexers, parsers, and more! (demo) ICOOOLPS Pre-print | ||
14:55 25mDemonstration | Phoenix: Auto-Vectorisation Reborn (demo) ICOOOLPS Jonas Sys Ghent University and Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Christophe Scholliers Universiteit Gent | ||
15:20 10mDay closing | Closing remarks ICOOOLPS | ||
14:00 - 15:30 | |||
14:00 30mTalk | MuLLDB: Multiverse Debugging for Unmanaged Languages DEBT Maarten Steevens Ghent University, Belgium, Matthias Vanpoecke Ghent University, Christophe Scholliers Universiteit Gent | ||
14:30 30mTalk | Multi-Mode Debugging for FRP-Based Embedded Systems DEBT Yugo Otani Institute of Science Tokyo, Sosuke Moriguchi Institute of Science Tokyo, Takuo Watanabe Institute of Science Tokyo | ||
15:00 20mTalk | Towards Guided Omniscient Debugging in Education using Pedagogical Execution Traces (PETs) DEBT Markus Weninger JKU Linz Pre-print | ||
14:00 - 15:30 | |||
16:00 - 17:30 | |||
16:00 30mTalk | From Static Code to Dynamic Values: Toward Live Programming Through Object-Oriented Fuzzing DEBT Marcel Garus Hasso Plattner Institute; University of Potsdam, Philipp Kolbe Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam Pre-print | ||
16:30 20mTalk | A Native Debugger Protocol for Interpreters DEBT Andrei Aldea Alexandru Ioan Cuza University, Iași, Dumitru-Bogdan Prelipcean Alexandru Ioan Cuza University, Iași | ||
16:50 10mDay closing | Closing by the workshop organizers DEBT | ||
16:00 - 17:30 | |||
17:30 - 18:30 | |||
17:30 60mSocial Event | Workshop Reception Workshops | ||
Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | |||
09:00 30mTalk | How and when Applicative Bisimulation can be unsound UNSOUND Vasileios Koutavas Trinity College Dublin | ||
09:30 30mTalk | Lean proved this program was correct; then I found a bug UNSOUND Kiran Gopinathan Basis | ||
10:00 30mTalk | Unsoundness in Idris UNSOUND Edwin Brady University of St. Andrews | ||
09:00 - 10:30 | |||
09:00 5mDay opening | Welcome FTfJP Ákos Hajdu Meta | ||
09:05 60mKeynote | Expressive Modular Verification of Termination of Busy-Waiting Programs and Deadlock-Freedom of Primitive Blocking Programs FTfJP Bart Jacobs DistriNet, Dept. CS, KU Leuven | ||
11:00 - 12:30 | |||
11:00 45mTalk | PHP: Type System in Distress UNSOUND Gina Banyard The PHP Foundation | ||
11:45 45mTalk | Proving False in the TLA+ Proof System UNSOUND Uğur Y. Yavuz Boston University | ||
11:00 - 12:30 | |||
11:00 30mTalk | A monadic interpreter and type-and-effect checker FTfJP Stefano Raviola Universita' del Piemonte Orientale, Paola Giannini University of Eastern Piedmont, Francesco Dagnino University of Genoa | ||
11:30 30mTalk | A Typestate Approach to Purpose-aware Programming FTfJP Joan Montas University of Massachusetts, Lowell, Samuel Dodson University of Massachusetts, Lowell, Anitha Gollamudi University of Massachusetts Lowell, Matteo Cimini University of Massachusetts Lowell | ||
12:00 30mTalk | Formal Semantics and Type System for Vega Data Transformations FTfJP | ||
11:00 - 12:30 | |||
11:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 45mTalk | The rocky road to the MUST preorder for asynchrony UNSOUND Giovanni Bernardi IRIF, Université Paris Cité | ||
14:45 45mTalk | Vibe formalizing and AI slop: sound or unsound? UNSOUND Freek Wiedijk Radboud University Nijmegen | ||
14:00 - 15:30 | |||
14:00 60mKeynote | Keynote TBD FTfJP Julien Lange Royal Holloway, University of London | ||
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 | |||
16:00 30mTalk | Unicode is Evil UNSOUND Marco Servetto Victoria University of Wellington | ||
16:30 30mTalk | Unsoundness in TypeScript UNSOUND | ||
17:00 30mTalk | Comparing Binaries: Soundness vs. Soundiness UNSOUND Jens Dietrich Victoria University of Wellington | ||
16:00 - 17:30 | |||
16:00 30mTalk | A New Interaction Concept for Interactive and Autoactive Program Verification FTfJP Wolfram Pfeifer Karlsruhe Institute of Technology (KIT), Mattias Ulbrich KIT, Daniel Drodt Technical University of Darmstadt | ||
16:30 30mTalk | Evaluating LLM-Generated ACSL Annotations for Formal Verification FTfJP Arshad Beg Maynooth University, Ireland, Diarmuid O'Donoghue Maynooth University, Ireland, Rosemary Monahan National University of Ireland | ||
16:00 - 17:30 | |||
16:00 30mTalk | 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 | ||
16:30 30mTalk | 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 | ||
17:00 30mTalk | 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 | ||
Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:00 - 09:00 | |||
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 | |||
09:15 75mKeynote | Building trust: a journey from mechanized semantics to verified compilation and beyondKeynote Speaker Technical Papers Sandrine Blazy University of Rennes | ||
11:00 - 12:30 | |||
11:00 90mTalk | Programming Systems, or What Programming Language Research Cannot See ECOOP Academy Tomas Petricek Charles University | ||
11:00 - 12:30 | |||
11:00 22mTalk | 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 22mTalk | Foundational and Compositional Verification of Layered Concurrent Objects Technical Papers | ||
11:45 22mTalk | Verifying wait-freedom for concurrent higher-order programs Technical Papers | ||
12:07 22mTalk | 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 | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 90mTalk | Getting Started with Quantum Software Engineering ECOOP Academy Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University | ||
14:00 - 15:30 | |||
14:00 22mTalk | Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis Technical Papers | ||
14:22 22mTalk | 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 22mTalk | 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 22mTalk | Distributed-to-Centralized: Closing the Loop on Architecture Migration via Unification Refactoring Technical Papers | ||
16:00 - 17:30 | |||
16:00 90mTalk | Can WebAssembly Be the Universal Software Substrate? ECOOP Academy Ben L. Titzer Carnegie Mellon University | ||
16:00 - 16:45 | |||
16:00 22mTalk | 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 22mTalk | 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 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | |||
09:00 90mKeynote | 15 Years of Viper: Building and Evolving a Verification InfrastructureAITO Dahl-Nygaard Senior Prize Awards Peter Müller ETH Zurich | ||
11:00 - 12:30 | |||
11:00 90mTalk | Safe Autonomous Agents via Shielding ECOOP Academy Bettina Könighofer Graz University of Technology | ||
11:00 - 12:30 | |||
11:00 22mTalk | 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 22mTalk | Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types Technical Papers | ||
11:45 22mTalk | Language-Integrated Recursive Queries Technical Papers Anna Herlihy EPFL, Amir Shaikhha University of Edinburgh, Anastasia Ailamaki EPFL, Martin Odersky EPFL | ||
12:07 22mTalk | 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 | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 90mTalk | The challenge of data sharing while respecting privacy ECOOP Academy Alejandro Russo Chalmers University of Technology; University of Gothenburg | ||
14:00 - 15:30 | |||
14:00 22mTalk | 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 22mTalk | 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 22mTalk | Optimizing Record/Replay through Relaxed Total Ordering and Multi-Version eXecution Technical Papers | ||
15:07 22mTalk | 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 - 17:30 | |||
16:00 90mTalk | Modelling, Verifying & Implementing database backends ECOOP Academy Marc Shapiro Sorbonne-Université (LIP6) & Inria | ||
16:00 - 16:45 | |||
16:00 22mTalk | 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 22mTalk | 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 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | |||
09:00 90mKeynote | Language Design and Implementation Where Paradigms ConvergeAITO Dahl-Nygaard Junior Prize Awards Yizhou Zhang University of Waterloo | ||
11:00 - 12:30 | |||
11:00 90mTalk | Benchmarking on Modern Hardware: Techniques for Performance Comparisons from Day-To-Day Experimenting to Paper Writing ECOOP Academy Stefan Marr Johannes Kepler University Linz | ||
11:00 - 12:30 | |||
11:00 22mTalk | Scaling Bottom-up IFDS Taint Analysis with Optimized Data-flow Encoding Technical Papers | ||
11:22 22mTalk | 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 22mTalk | 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 22mTalk | Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-Reachability Technical Papers | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 90mTalk | Formal Methods Meet Legal Implementations ECOOP Academy Raphaël Monat Inria and University of Lille | ||
14:00 - 15:30 | |||
14:00 22mTalk | 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 22mTalk | 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 22mTalk | 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 22mTalk | 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 | |||
16:00 70mTalk | Taming the Object Graph: What Types Can Guarantee ECOOP Academy Sophia Drossopoulou Imperial College London | ||
16:00 - 17:10 | |||
16:00 23mTalk | 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 23mTalk | Automatic layout of railroad diagrams Technical Papers Pre-print | ||
16:46 23mTalk | A Stable Lossless Syntax Tree for Real-time Collaborative Programming Technical Papers | ||
17:10 - 17:25 | |||