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
08:00 - 09:00 | |||
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 - 09:10 | |||
09:00 10mDay opening | VeriLang welcome! VeriLang Mateo Sanabria Universidad de los Andes | ||
09:00 - 10:30 | |||
09:20 10mDay opening | Welcome to the Scala Workshop! The Scala Workshop Matt Bovel EPFL | ||
09:30 30mTalk | Lorikeet: Flexible code rewriting for Scala 3 The Scala Workshop File Attached | ||
10:00 30mTalk | A Denotational Interpretation of Embedded DSLs with Scala 3 The Scala Workshop Anna Herlihy EPFL File Attached | ||
09:00 - 10:30 | |||
09:00 30mDay opening | Welcome and Opening Session Doctoral Symposium | ||
09:30 60mKeynote | What I Got Right, What I Got Wrong, and What Happened Anyway: Lessons from My Path Doctoral Symposium Caterina Urban Inria - École Normale Supérieure | ||
09:00 - 10:30 | |||
09:00 45mKeynote | Bringing mixed-stage programming to OCaml GPCE Jeremy Yallop University of Cambridge | ||
09:45 45mKeynote | Executable Counterfactuals: A Causal Calculus for Concurrent Systems GPCE Georgiana Caltais University of Twente | ||
09:10 - 10:10 | |||
09:10 59mKeynote | Asynchronous Session-based Concurrency: Deadlock Freedom by Typing VeriLang Jorge A. Pérez University of Groningen | ||
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 | |||
11:00 30mTalk | A Case Study in Proving the Soundness and Completeness of Natural Deduction for Propositional Logic in Dafny VeriLang Daniel Bîrleanu Alexandru Ioan Cuza University, Iasi, Ștefan Ciobâcă Alexandru Ioan Cuza University of Iasi | ||
11:30 30mTalk | Proof Primitives for Equality Saturation-based Automated Provers VeriLang George Zakhour , Jahrim Gabriele Cesario University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen | ||
12:00 30mDay closing | Discussion and closing remarks VeriLang Mateo Sanabria Universidad de los Andes | ||
11:00 - 12:30 | |||
11:00 30mTalk | Invited talk: JoinActors: A Modular Library for Actors with Join Patterns The Scala Workshop Alceste Scalas Technical University of Denmark Link to publication DOI | ||
11:30 30mTalk | Off-Heap Memory Library in Scala 3 The Scala Workshop Asli Ünlüer EPFL File Attached | ||
12:00 30mTalk | A Brief Critique of The Collection Library The Scala Workshop File Attached | ||
11:00 - 12:30 | Presentation Session 1Doctoral Symposium at I.2.01 Chair(s): Annette Bieniusa RPTU Kaiserslautern-Landau | ||
11:00 30mTalk | Agent-driven assistance for accurate programming feedback Doctoral Symposium Guillaume Steveny Université Catholique de Louvain, Belgium | ||
11:30 30mTalk | A Study on Identifying and Ranking the Relevance of Code Smells in Solidity Smart Contracts Doctoral Symposium Roopa Thanmai Kaza University of Limerick | ||
12:00 30mTalk | Improving Automated Feedback in Introductory Programming Courses through Structural Pattern Matching and Mining Doctoral Symposium Julien Liénard Université catholique de Louvain (UCL), Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM) | ||
11:00 - 12:30 | |||
11:00 22mTalk | 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 22mTalk | 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 22mTalk | Less Is More: Measuring How LLM Involvement Affects Chatbot Accuracy in Static Analysis GPCE Krishna Narasimhan F1RE | ||
12:07 22mTalk | 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 | ||
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 Pre-print | ||
14:30 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 | ||
14:55 25mDemonstration | Automatic railroad diagrams for lexers, parsers, and more! (demo) ICOOOLPS Pre-print | ||
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 | |||
14:00 30mTalk | Invited talk: Implementing a protocol-oriented hardware development methodology The Scala Workshop Guillaume Martres Arteris | ||
14:30 30mTalk | Refinement Types in Scala with Stainless The Scala Workshop File Attached | ||
15:00 30mTalk | Securing AI Agents With Tracked Capabilities in TACIT The Scala Workshop Yaoyu Zhao EPFL, LAMP, Martin Odersky EPFL, Yichen Xu EPFL, Oliver Bračevac EPFL, LAMP, Nguyen Pham EPFL, LAMP Link to publication DOI File Attached | ||
14:00 - 15:30 | Presentation Session 2Doctoral Symposium at I.2.01 Chair(s): Pietro Ferrara Ca’ Foscari University of Venice | ||
14:00 30mTalk | Concurrent Versioned E-Graphs for Equational Reasoning Doctoral Symposium Jahrim Gabriele Cesario University of St. Gallen | ||
14:30 30mTalk | Efficient ECU Operation through Resource-saving Software Development Doctoral Symposium Muhammet USLU Volkswagen AG | ||
15:00 30mTalk | Software Engineering Techniques for Coordination-Free Resilient Decentralized Systems Doctoral Symposium Thomas Vandermotten Vrije Universiteit Brussel | ||
14:00 - 15:30 | |||
14:00 22mTalk | Programmable record types in Haskell GPCE | ||
14:22 22mTalk | Modular Substructural Constraints for Embedded DSLs GPCE Anna Herlihy EPFL, Amir Shaikhha University of Edinburgh, Anastasia Ailamaki EPFL, Martin Odersky EPFL | ||
14:45 22mTalk | Metis: A Compositional DSL for Board Games and Game Tree Search GPCE | ||
15:07 22mTalk | Synthesizing Recursive Functional Programs via Structure-Element Separation GPCE | ||
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 | ||
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 | |||
16:00 30mTalk | Invited talk: Metals 2: New approach to large JVM codebases The Scala Workshop Tomasz Godzik VirtusLab | ||
16:30 30mTalk | Lisa: A Proof Assistant Embedded in Scala The Scala Workshop Link to publication DOI File Attached | ||
17:00 30mTalk | Orthologic-Based Subtyping The Scala Workshop DOI Pre-print File Attached | ||
16:00 - 17:30 | Presentation Session 3, Industrial Keynote and ClosingDoctoral Symposium at I.2.01 Chair(s): Annette Bieniusa RPTU Kaiserslautern-Landau, Pietro Ferrara Ca’ Foscari University of Venice | ||
16:00 30mTalk | Seeing Through the FFI: Analyzing Native Code in Dynamic Languages Doctoral Symposium Filip Riha Czech Technical University | ||
16:30 45mIndustry talk | Between Academia and Industry: 15 Years as a Researcher Doctoral Symposium Charlotte Herzeel imec | ||
17:15 15mDay closing | Closing session Doctoral Symposium | ||
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 22mTalk | 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 4mAwards | Awards GPCE | ||
16:30 30mAwards | 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 | ||
17:30 - 18:30 | |||
17:30 60mSocial Event | Workshop Reception Social Events | ||
Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
08:00 - 09:00 | |||
09:00 - 10:30 | |||
09:00 45mTalk | Who Watches the Watchers? Fuzzing Lean 4's Trusted Computing Base UNSOUND Kiran Gopinathan Basis | ||
09:45 45mTalk | Unsoundness in Idris UNSOUND Edwin Brady University of St. Andrews | ||
09:00 - 10:30 | |||
09:00 5mDay opening | Welcome to VORTEX 2026 VORTEX | ||
09:05 60mKeynote | If At First You Don’t Succeed: Extended Monitorability through Multiple Executions VORTEX | ||
10:05 25mTalk | Property Grouping and Context-Aware Runtime Enforcement VORTEX Saumya Shankar International Institute of Information Technology Bangalore, Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Thierry Jéron INRIA, Srishti Gupta Indian Institute of Technology Bhubaneswar | ||
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 | ||
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 90mKeynote | A Programming Model for Distributed Systems and Its Hardware Implications MPLR Roel Wuyts University of Leuven | ||
11:00 - 12:30 | |||
11:00 45mTalk | PHP: Type System in Distress UNSOUND Gina Banyard The PHP Foundation | ||
11:45 45mTalk | The rocky road to the MUST preorder for asynchrony UNSOUND Giovanni Bernardi IRIF, Université Paris Cité | ||
11:00 - 12:30 | |||
11:00 30mTalk | Ensuring Convergence and Invariants Without Coordination PLF+PLAID Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa, Nuno Preguica , Elisa Gonzalez Boix Vrije Universiteit Brussel, Carla Ferreira NOVA University Lisbon | ||
11:30 30mTalk | Replicated Data Types as a Universal Application Substrate PLF+PLAID Julian Haas Technische Universität Darmstadt | ||
12:00 30mTalk | On the Aggregate Programming paradigm for Decentralised and Local-First Software PLF+PLAID Ferruccio Damiani University of Turin | ||
11:00 - 12:30 | |||
11:00 60mKeynote | Between static and run-time verification of message-passing systems with behavioural types VORTEX | ||
12:00 25mTalk | Autonomous Runtime Management of Cloud Performance Anomalies Using End-to-End Service Topology VORTEX Dhanya R Mathews India Indian Institute of Science, Bangalore, Jagarlamudi Lakshmi Indian Institute of Science, Bangalore, | ||
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 Pre-print | ||
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 | Proving False in the TLA+ Proof System UNSOUND Uğur Y. Yavuz Boston University | ||
14:45 45mTalk | Vibe formalizing and AI slop: sound or unsound? UNSOUND Freek Wiedijk Radboud University Nijmegen | ||
14:00 - 15:30 | |||
14:00 30mTalk | Enforcing Session Protocols at the Network Level Using NEST PLF+PLAID Jens Kanstrup Larsen DTU, Alceste Scalas Technical University of Denmark, Guy Amir Hebrew University, Jules Jacobs Cornell University, Jana Wagemaker , Nate Foster EPFL; Jane Street | ||
14:30 30mTalk | Automatic Generation of Local-First and Collaborative Domain-Specific Modeling Languages PLF+PLAID | ||
15:00 30mTalk | Beyond Character Convergence: Structure-Aware Replication for Collaborative Programming PLF+PLAID Leon Freudenthaler Hochschule Campus Wien/TU Wien | ||
14:00 - 15:30 | |||
14:00 60mKeynote | Testing ERC Tokens at Scale — Approaches, foundations, mutation testing, and analytics VORTEX | ||
15:00 25mTalk | RV-TEE for Post-Quantum Digital Signatures: Trustworthy Dilithium Deployment VORTEX | ||
14:00 - 15:30 | |||
14:00 60mKeynote | Automated Verification of Concurrent Go Programs 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 45mTalk | Unsoundness in TypeScript UNSOUND | ||
16:45 45mTalk | When Bisimulation becomes unsound UNSOUND Vasileios Koutavas Trinity College Dublin | ||
16:00 - 17:30 | |||
16:00 30mTalk | Decentralizing Infrastructure with a Lightweight Sovereign Cloud PLF+PLAID Kristof Jannes DistriNet, KU Leuven | ||
16:30 30mTalk | Type Safe Smart Contracts in TinySol PLF+PLAID Daniele Gorla Department of Computer Science, Sapienza University of Rome | ||
17:00 30mTalk | Hybrid consistency for smart contracts PLF+PLAID Jim Bauwens Vrije Universiteit Brussel, Stoffel Oostvogels , Thomas Vandermotten Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel | ||
16:00 - 17:30 | |||
16:00 25mTalk | Runtime Semantic Discovery for Evolving Action Alphabets VORTEX Pietro Bernabei Scuola IMT Alti Studi Lucca, University of Florence, Rosario Pugliese University of Florence | ||
16:25 25mTalk | A New Syntax and Semantics for Probabilistic Trace Expressions VORTEX Davide Ancona DIBRIS, University of Genova, Italy, Angelo Ferrando , Viviana Mascardi DIBRIS, University of Genova, Italy | ||
16:50 25mTalk | Spatial Logic of Directed Graphs VORTEX Giorgio Audrito Università di Torino, Gianluca Aguzzi Alma Mater Studiorum - Università di Bologna, Ferruccio Damiani University of Turin, Gianluca Torta giatorta@gmail.com, Volker Stolz Høgskulen på Vestlandet | ||
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 Pre-print | ||
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 Pre-print | ||
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 Pre-print | ||
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 Pre-print | ||
17:30 - 18:30 | |||
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 | 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 | |||
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 - 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 | Pointers & Distributed SystemsTechnical Papers at I.2.03 Chair(s): Sophia Drossopoulou Imperial College London | ||
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, 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 | ||
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 | ||
16:45 - 17:30 | ECOOP Demo TeasersDemos at I.2.03 Chair(s): Gordana Rakić University of Novi Sad Teaser presentations | ||
16:45 11mDemonstration | 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 11mDemonstration | 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 11mDemonstration | Remote Concolic Multiverse Debugging Demos Maarten Steevens Ghent University, Belgium, Tom Lauwaerts Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent | ||
17:18 11mDemonstration | JavaWiz ThreadViz - A Visual Debugger for Multi-threaded Programs Based on the Espresso Java VM Demos | ||
18:30 - 20:30 | |||
18:30 2hSocial Event | Conference Reception Social Events | ||
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 | ||
13:15 - 14:00 | ECOOP Live Demo BoothsDemos at Atrium 0 Chair(s): Gordana Rakić University of Novi Sad Live demonstration booths | ||
13:15 45mDemonstration | Remote Concolic Multiverse Debugging Demos Maarten Steevens Ghent University, Belgium, Tom Lauwaerts Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent | ||
13:15 45mDemonstration | PICK: Checking the Output of GenAI Synthesis Demos Siddhartha Prasad Brown University, Skyler Austen Brown University, Shriram Krishnamurthi Brown University, Kathi Fisler Brown University | ||
13:15 45mDemonstration | 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) | ||
13:15 45mDemonstration | JavaWiz ThreadViz - A Visual Debugger for Multi-threaded Programs Based on the Espresso Java VM Demos | ||
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 | Compilers, Interpreters & Runtime SystemsTechnical Papers at I.2.03 Chair(s): Christian Hammer University of Passau | ||
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 | Testing & DebuggingTechnical Papers at I.2.03 Chair(s): Alceste Scalas Technical University of Denmark | ||
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 | ||
18:00 - 22:00 | |||
18:00 4hSocial Event | Conference Banquet Social Events | ||
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 | Security & Smart ContractsTechnical Papers at I.2.03 Chair(s): Alejandro Russo Chalmers University of Technology; University of Gothenburg | ||
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 | |||