Program - ECOOP 2025

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 30 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	08:15 - 09:00	RegistrationTechnical Papers at M130/131

	09:00 - 09:15	Opening & AITO Dahl-Nygaard Senior Prize introductionTechnical Papers at Auditorium M003

09:15 - 10:15	Keynote 1Technical Papers at Auditorium M003 Chair(s): Davide Ancona DIBRIS, University of Genova, Italy

09:15 60m Keynote		"On the Power of Programming Language Design" (AITO Dahl-Nygaard Senior Prize) AITO Dahl-Nygaard Senior Prize Technical Papers Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE

10:15 - 10:45	Coffee BreakCatering at M130/131

10:15 30m Coffee break		Break Catering

11:00 - 12:45	Formal Methods, Logics, and Static Analysis FrameworksTechnical Papers at Auditorium M003 Chair(s): Marco Carbone IT University of Copenhagen

11:00 21m Talk		Compositional Static Value Analysis for Higher-Order Numerical Programs Technical Papers Milla Valnet Sorbonne Université, Raphaël Monat Inria and University of Lille, Antoine Miné Sorbonne Université
11:21 21m Talk		Lightweight Diagramming for Formal Methods: A Grounded Language Design Technical Papers Siddhartha Prasad Brown University, Ben Greenman University of Utah, Tim Nelson Brown University, Shriram Krishnamurthi Brown University
11:42 21m Talk		Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering Technical Papers Jiawei Yang , Xiao Cheng Macquarie University, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Xiapu Luo Hong Kong Polytechnic University, Yulei Sui University of New South Wales
12:03 21m Talk		The Algebra of Patterns Technical Papers David Binder University of Kent, UK, Lean Ermantraut Radboud University Nijmegen
12:24 21m Talk		A theory of (linear-time) timed monitors Technical Papers Mouloud Amara IRIF, Université Paris Cité, Giovanni Bernardi IRIF, Université Paris Cité, Mohammed Aristide Foughali Université Paris Cité / IRIF, Adrian Francalanza University of Malta

12:30 - 14:00	Lunch (cafeteria K1)Catering at Cafeteria (K1)

12:30 90m Lunch		Lunch Catering

14:00 - 15:45	Concurrency and TypesTechnical Papers at Auditorium M003 Chair(s): João Costa Seco NOVA-LINCS; Nova University of Lisbon

14:00 21m Talk		Contrasting Deadlock-Free Session Processes Technical Papers Juan C. Jaramillo University of Groningen, Jorge A. Pérez University of Groningen DOI
14:21 21m Talk		Fair Termination of Asynchronous Binary Sessions Technical Papers Luca Padovani Department of Computer Science and Engineering - Università di Bologna, Gianluigi Zavattaro Department of Computer Science and Engineering - Università di Bologna
14:42 21m Talk		Incremental Computing by Differential Execution Technical Papers Prashant Kumar , André Pacak JGU Mainz, Sebastian Erdweg JGU Mainz
15:03 21m Talk		Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction Technical Papers Dawit Tirore IT University of Copenhagen, Denmark, Jesper Bengtson IT University of Copenhagen, Marco Carbone IT University of Copenhagen
15:24 21m Talk		Validating Persistency Semantics with Memory Hierarchy Timing Attack Technical Papers Vasileios Klimis Queen Mary University of London

15:45 - 16:15	Coffee BreakCatering at M130/131

15:45 30m Coffee break		Break Catering

16:15 - 17:39	Object-Oriented and Dynamic SystemsTechnical Papers at Auditorium M003 Chair(s): Sebastian Erdweg JGU Mainz

16:15 21m Talk		Declarative Dynamic Object Reclassification Technical Papers Riccardo Sieve University of Oslo, Eduard Kamburjan IT University of Copenhagen, Ferruccio Damiani University of Turin, Einar Broch Johnsen University of Oslo
16:36 21m Talk		In-memory Object Graph StoresRemote Technical Papers Aditya Thimmaiah The University of Texas at Austin, Zijian Yi The University of Texas at Austin, Joseph Kenis The University of Texas at Austin, Chris Rossbach University of Texas at Austin; Katana Graph, Milos Gligoric The University of Texas at Austin
16:57 21m Talk		Spegion: Implicit and Non-Lexical Regions with Sized Allocations Technical Papers Jack Oliver Hughes , Michael Vollmer University of Kent, Mark Batty University of Kent
17:18 21m Talk		Type-safe and portable support for packed data Technical Papers Arthur Jamet University of Kent, Michael Vollmer University of Kent

18:30 - 19:30	Social Event: ReceptionTechnical Papers at Håkonshallen (downtown)

18:30 60m Social Event		Reception at Håkonshallen Technical Papers

Tue 1 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	09:10 - 09:15	AITO Dahl-Nygaard Junior Prize introductionTechnical Papers at Auditorium M003

09:15 - 10:15	Keynote 2Technical Papers at Auditorium M003 Chair(s): Jonathan Aldrich Carnegie Mellon University

09:15 60m Keynote		Language and Compiler Design for Efficient Data Science (AITO Dahl-Nygaard Junior Prize) AITO Dahl-Nygaard Junior Prize Technical Papers Amir Shaikhha University of Edinburgh

10:15 - 10:45	Coffee BreakCatering at M130/131

10:15 30m Coffee break		Break Catering

10:45 - 12:30	Type Systems and Program SemanticsTechnical Papers at Auditorium M003 Chair(s): Sukyoung Ryu KAIST

10:45 21m Talk		Mono Types — First-Class Containers for Datalog Technical Papers Runqing Xu JGU Mainz, David Klopp JGU Mainz, Sebastian Erdweg JGU Mainz
11:06 21m Talk		Monadic type-and-effect soundness Technical Papers Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa
11:27 21m Talk		An Effectful Object Calculus Technical Papers Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa
11:48 21m Talk		Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness Technical Papers Pedro Carrott Imperial College London, Sacha-Élie Ayoun Imperial College London, Azalea Raad Imperial College London DOI
12:09 21m Talk		Practical Type-Based Taint Checking and InferenceRemote Technical Papers Nima Karimipour University of California, Riverside, Kanak Das University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia

12:30 - 14:00	Lunch (cafeteria K1)Catering at Cafeteria (K1) Poster session “Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems”, Davide Ancona, Stefano Avola, Angelo Ferrando, Pierpaolo Baglietto, Maurice H. ter Beek, Andrea Parodi, Giancarlo Camera and Matteo Pinasco “Control Graphs - An intermediate representation for ICFG construction”, Stefan Marx Venue: same as coffee breaks; before the main session

12:30 90m Lunch		Lunch Catering

14:00 - 15:45	Compilation and OptimizationTechnical Papers at Auditorium M003 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel

14:00 21m Talk		A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework Technical Papers Yusuke Izawa Tokyo Metropolitan University, Hidehiko Masuhara Institute of Science Tokyo, CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf Pre-print
14:21 21m Talk		GSOHC: Global Synchronization Optimization in Heterogeneous Computing Technical Papers Soumik Kumar Basu IIT Hyderabad, Jyothi Vedurada IIT Hyderabad
14:42 21m Talk		Profile-Guided Field Externalization in an Ahead-of-Time Compiler Technical Papers Sebastian Kloibhofer Johannes Kepler University Linz, Lukas Makor JKU Linz, Peter Hofer Oracle Labs, David Leopoldseder Oracle Labs, Hanspeter Mössenböck JKU Linz
15:03 21m Talk		Reusing Highly Optimized IR in Dynamic Compilation Technical Papers Andrej Pečimúth Oracle Labs; Charles University, David Leopoldseder Oracle Labs, Petr Tuma Charles University
15:24 21m Talk		Pydrofoil: accelerating Sail-based instruction set simulators Technical Papers Martin Berger University of Sussex & Montanarius Ltd, CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf, Luke Panayi Imperial College, Ferdia McKeogh University of St Andrews, Tom Spink University of St Andrews Pre-print File Attached

15:45 - 16:15	Coffee BreakCatering at M130/131

15:45 30m Coffee break		Break Catering

16:15 - 17:39	T3Technical Papers at Auditorium M003 Chair(s): Michael Vollmer University of Kent

16:15 21m Talk		Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories Technical Papers Tianyu Chen Microsoft Research Asia, Zeyu Wang Huawei Cloud Computing Technologies Co., Ltd., Lin Li Huawei Cloud Computing Technologies Co., Ltd., Ding Li Peking University, Zongyang Li Peking University, Xiaoning Chang Huawei Cloud Computing Technologies Co., Ltd., Pan Bian Huawei Technologies CO., LTD., China, Guangtai Liang Huawei Cloud Computing Technologies, Qianxiang Wang Huawei Technologies Co., Ltd, Tao Xie Peking University
16:36 21m Talk		Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions Technical Papers Jacqueline Mitchell University of California, Davis, Chao Wang University of Southern California
16:57 21m Talk		Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification Technical Papers Francisco Costa University of Brasília, Brazil, Ismael Medeiros Computer Science Department / University of Brasília, Leandro Oliveira Computer Science Department / University of Brasília, João Clássio Computer Science Department / University of Brasília, Rodrigo Bonifácio UNB, Krishna Narasimhan F1RE, Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE, Márcio Ribeiro Federal University of Alagoas, Brazil DOI Pre-print
17:18 21m Talk		Ensuring Convergence and Invariants Without Coordination Technical Papers Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa, Carla Ferreira NOVA University Lisbon, Elisa Gonzalez Boix Vrije Universiteit Brussel, Nuno Preguica Universidade Nova de Lisboa

	17:45 - 19:15	AITO GA (by invitation)Technical Papers at M160

Wed 2 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	09:00 - 09:15	ECOOP Awards CeremonyTechnical Papers at Auditorium M003

09:15 - 10:15	Keynote 3Technical Papers at Auditorium M003 Chair(s): Alexandra Silva Cornell University

09:15 60m Keynote		Towards scalable formal verification Technical Papers Petar Maksimović Nethermind; Imperial College London

10:15 - 10:45	Coffee BreakCatering at M130/131

10:15 30m Coffee break		Break Catering

10:45 - 12:30	Program Analysis and VerificationTechnical Papers at Auditorium M003 Chair(s): Einar Broch Johnsen University of Oslo

10:45 21m Talk		Bottom-up Synthesis of Memory Mutations with Separation Logic Technical Papers Kasra Ferdowsi University of California at San Diego, Hila Peleg Technion
11:06 21m Talk		Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees Technical Papers Guanqin Zhang University of New South Wales & CSIRO's Data61, Kota Fukuda Kyushu University, Zhenya Zhang Kyushu University, Japan, ‪H M N Dilum Bandara Data61, CSIRO, Shiping Chen Data61 at CSIRO, Australia / UNSW, Australia, Jianjun Zhao Kyushu University, Yulei Sui University of New South Wales Link to publication Pre-print Media Attached
11:27 21m Talk		IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL Technical Papers Matt Griffin Imperial College London, Brijesh Dongol University of Surrey, Azalea Raad Imperial College London
11:48 21m Talk		Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis Technical Papers Mamy Razafintsialonina Université Paris-Saclay, CEA, List, Palaiseau / Sorbonne Université, CNRS, LIP6, Paris, David Bühler Université Paris-Saclay, CEA, List, Palaiseau, Antoine Miné Sorbonne Université, Valentin Perrelle Université Paris-Saclay, CEA, List, Palaiseau, Julien Signoles Université Paris-Saclay, CEA, List
12:09 21m Talk		RacerF: Lightweight Static Data Race Detection for C Code Technical Papers Tomáš Dacík Faculty of Information Technology, Brno University of Technology, Tomas Vojnar Masaryk University

10:45 - 12:30	ICOOOLPS Session 1ICOOOLPS at M125 Chair(s): Paulo Ferreira University of Oslo

10:45 15m Day opening		Opening Remarks ICOOOLPS Paulo Ferreira University of Oslo, Andrea Rosà USI Lugano
11:00 60m Talk		Invited Talk: Implementing Object Tracking in the Emerald Object-Oriented Language ICOOOLPS Eric Jul University of Oslo
12:00 30m Full-paper		Cellato: a DSL for Cellular Automata based on C++ Template Meta-programming ICOOOLPS Matyáš Brabec Charles University, Jiří Klepl Charles University, Martin Kruliš Charles University Pre-print

12:30 - 14:00	Lunch (cafeteria K1)Catering at Cafeteria (K1)

12:30 90m Lunch		Lunch Catering

14:00 - 15:45	W2Technical Papers at Auditorium M003 Chair(s): Hila Peleg Technion

14:00 21m Talk		Event Race Detection for Node.js Using Delay Injections Technical Papers Andre Takeshi Endo Federal University of São Carlos, Anders Møller Aarhus University Pre-print
14:21 21m Talk		FuzzFlesh: Randomised Testing of Decompilers Via Control Flow Graph-based Program GenerationRemote Technical Papers Amber Gorzynski Imperial College London, Alastair F. Donaldson Imperial College London
14:42 21m Talk		PoTo: A Hybrid Andersen's Points-to Analysis for Python Technical Papers Ingkarat Rak-amnouykit Rensselaer Polytechnic Institute, Ana Milanova Rensselaer Polytechnic Institute, Guillaume Baudart Inria, Martin Hirzel IBM Research, Julian Dolby IBM Research
15:03 21m Talk		Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession Technical Papers Aäron Munsters Vrije Universiteit Brussel, Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
15:24 21m Talk		WebGlitch: A Randomised Testing Tool for the WebGPU API Technical Papers Kwok Leong Matthew Wong , Alastair F. Donaldson Imperial College London

14:00 - 15:45	ICOOOLPS Session 2ICOOOLPS at M125 Chair(s): Andrea Rosà USI Lugano

14:00 30m Full-paper		Revisiting Borrow Checking with Abstract Interpretation ICOOOLPS Aurélien Coet University of Geneva, Switzerland, Didier Buchs University of Geneva, Switzerland
14:30 30m Full-paper		AST, Bytecode, and the Space In Between: An Exploration of Interpreter Design Tradeoffs ICOOOLPS Octave Larose University of Kent, Michael Vollmer University of Kent, Stefan Marr University of Kent Pre-print File Attached
15:00 30m Full-paper		Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine ICOOOLPS Christoph Jung , CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf Pre-print File Attached
15:30 10m Day closing		Closing Remarks ICOOOLPS Paulo Ferreira University of Oslo, Andrea Rosà USI Lugano

15:45 - 16:15	Coffee BreakCatering at M130/131

15:45 30m Coffee break		Break Catering

16:15 - 17:39	W3Technical Papers at Auditorium M003 Chair(s): Carla Ferreira NOVA University Lisbon

16:15 21m Talk		Automatic Goal Clone Detection in Rocq Technical Papers Ali Ghanbari Auburn University
16:36 21m Talk		Contract Usage and Evolution in Android Mobile Applications Technical Papers David R. Ferreira Faculty of Engineering, University of Porto, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, João F. Ferreira INESC-ID and IST, University of Lisbon, Carolina Carreira Carnegie Mellon University, IST University of Lisbon, INESC-ID
16:57 21m Talk		Chain of Grounded Objectives: Concise Goal-oriented Prompting for Code Generation Technical Papers Sangyeop Yeo ETRI (Electronics and Telecommunications Research Institute), seung-won hwang Seoul National University, Yu-Seung Ma Electronics and Telecommunications Research Institute
17:18 21m Talk		Contract Systems Need Domain-Specific Notations Technical Papers Cameron Moy Northeastern University, Ryan Jung PLT @ Northeastern University, Matthias Felleisen Northeastern University

	17:40 - 18:00	Closing 3Technical Papers at Auditorium M003 Introduction to ECOOP 2026 Final remarks ECOOP 2025

Thu 3 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:15	Intro & KeynoteGPCE at Auditorium M003 Chair(s): Amir Shaikhha University of Edinburgh

09:00 75m Keynote		Metaprogramming and algebra GPCE Ohad Kammar University of Edinburgh

09:00 - 10:15	Opening & KeynoteDoctoral Symposium at M125 Chair(s): Carla Ferreira NOVA University Lisbon

09:00 15m Day opening		Doctoral Symposium - Opening Session Doctoral Symposium Carla Ferreira NOVA University Lisbon, Mikhail Barash University of Bergen
09:15 60m Keynote		How to get your Ph.D. DONE! Doctoral Symposium Eric Jul University of Oslo

09:00 - 10:15	Keynote 1PLF+PLAID at M207

09:00 10m Day opening		Welcome PLF+PLAID
09:10 60m Talk		Local Actions, Global Outcomes: A Decentralization-first Programming Paradigm for Next-Generation Distributed Applications PLF+PLAID Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE

09:00 - 10:15	KeynoteFTfJP at M209 Chair(s): Andrew Butterfield Trinity College Dublin, Rosemary Monahan Department of Computer Science & Hamilton Institute, Maynooth University

09:00 5m Day opening		Welcome FTfJP
09:05 70m Keynote		Gradual Verification: Assuring Software Incrementally FTfJP Jonathan Aldrich Carnegie Mellon University

10:15 - 10:45	Coffee BreakCatering at M130/131

10:15 30m Coffee break		Break Catering

10:45 - 12:30	Contributed TalksGPCE at Auditorium M003 Chair(s): Torsten Layda SIX

10:45 35m Talk		CoCoCoLa: Code Completion Control Language GPCE Nhat University of Twente, Vadim Zaytsev University of Twente
11:20 35m Talk		Comparative Analysis of Pre-Trained Code Language Models for Automated Program Repair via Code Infill Generation GPCE Iman Hemati Moghadam Eindhoven University of Technology, Oebele Lijzenga Universiteit Twente, Vadim Zaytsev University of Twente
11:55 35m Talk		Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations GPCE Aleksandar S. Dimovski Mother Teresa University, Skopje

10:45 - 12:30	Session 1Doctoral Symposium at M125 Chair(s): Mikhail Barash University of Bergen

10:45 20m Talk		Compiling to an Intermediate Representation with Definitional Abstract Interpreters Doctoral Symposium Armand Lego Johannes Gutenberg University Mainz
11:05 20m Talk		Expressive Equivalence of React's and Signals' Reactivity Doctoral Symposium Kirill Golubev University of Turku
11:25 20m Talk		Designing Correct and Available Replicated Systems through Coordination-Minimising Techniques Doctoral Symposium Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa
11:45 45m Industry talk		What after Ph.D.? Doctoral Symposium Mai Tran InterBe AS

10:45 - 12:30	Keynote 2 + Mini SessionPLF+PLAID at M207

10:45 60m Talk		Formal model guided conformance testing for blockchains PLF+PLAID Pavle Subotic Microsoft Azure
11:45 30m Talk		A Global Specification Model for Data-Aware Coordination (with an application to smart contracts) PLF+PLAID António Ravara Nova University of Lisbon

10:45 - 12:30	Session 1FTfJP at M209 Chair(s): Rosemary Monahan Department of Computer Science & Hamilton Institute, Maynooth University

10:45 60m Keynote		Formal model guided conformance testing for blockchains (joint keynote, location: M207) FTfJP Pavle Subotic Microsoft Azure
12:00 30m Talk		An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (X)C20 memory consistency model FTfJP Bart Jacobs DistriNet, Dept. CS, KU Leuven, Justus Fasse Université Grenoble-Alpes; KU Leuven

12:30 - 14:00	Lunch (cafeteria K1)Catering at Cafeteria (K1)

12:30 90m Lunch		Lunch Catering

14:00 - 15:45	Contributed TalksGPCE at Auditorium M003 Chair(s): Yukiyoshi Kameyama University of Tsukuba

14:00 35m Talk		Integrating Static Optimization and Dynamic Nature in JavaScript GPCE Tadashi Saito The University of Electro-Communications , Hideya Iwasaki Meiji University DOI Media Attached
14:35 35m Talk		P4DDG: data-dependent grammars for packet specification and parsing in P4 GPCE Tommaso Pacciani University of Amsterdam, Damian Frölich University of Amsterdam, L. Thomas van Binsbergen University of Amsterdam, Chrysa Papagianni University of Amsterdam Link to publication DOI Pre-print
15:10 35m Talk		Retrofitting a Virtual Instrument DSL with Programming Abstractions GPCE Mathias Vatter JGU Mainz, Sebastian Erdweg JGU Mainz

14:00 - 15:45	Session 2Doctoral Symposium at M125 Chair(s): Carla Ferreira NOVA University Lisbon

14:00 20m Talk		Extensions to Container-Based Abstraction of Graphical User Interfaces Doctoral Symposium Yan Passeniouk University of Turku
14:20 20m Talk		Applied Implicit Computational Complexity Doctoral Symposium Neea Rusch Augusta University
14:40 20m Talk		Impacts and Uses of Local-First Software Architecture for Energy Optimization of Digital Services Doctoral Symposium Lylian Siffre
15:00 45m Other		Discussion Doctoral Symposium

14:00 - 15:45	Session 1PLF+PLAID at M207

14:00 30m Talk		Compositional Implementation and Verification of Swarms - A Tool Demo PLF+PLAID Florian Furbach Technical University of Denmark, Lucas Clorius , Alceste Scalas Technical University of Denmark, Roland Kuhn Actyx AG, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy, Hernan Melgratti University of Buenos Aires, Argentina
14:30 30m Talk		Optimizing CRDTs for Low Memory Environments PLF+PLAID Thomas Vandermotten Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
15:00 30m Talk		PRDTs: Implementing Distributed Protocols with Replicated Data Types PLF+PLAID Julian Haas Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt

14:00 - 15:45	Session 2FTfJP at M209 Chair(s): Giorgio Audrito Università di Torino

14:00 30m Talk		From LTL to MLTL: Exploring translation between temporal logic representations using FRET and WEST FTfJP Songyan Lai Department of Computer Science, Maynooth University, Rosemary Monahan Department of Computer Science & Hamilton Institute, Maynooth University
14:30 30m Talk		Towards a Unifying Semantics Playground FTfJP Andrew Butterfield Trinity College Dublin
15:00 30m Talk		Towards an Axiomitisation of Solidity Memory and Storage FTfJP Guilherme Horta Alvares Da Silva Chalmers University of Technology and University of Gothenburg, Wolfgang Ahrendt Chalmers University of Technology, Richard Bubel Technische Universität Darmstadt
15:30 30m Talk		VeriFast’s separation logic: a higher-order(ish) logic without laters for modular verification of fine-grained concurrent programs FTfJP Bart Jacobs DistriNet, Dept. CS, KU Leuven

15:45 - 16:15	Coffee BreakCatering at M130/131

15:45 30m Coffee break		Break Catering

16:15 - 18:00	Contributed Talks & ClosingGPCE at Auditorium M003 Chair(s): David Klopp JGU Mainz

16:15 35m Talk		A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios GPCE Christopher Esterhuyse University of Amsterdam, Tim Müller University of Amsterdam, L. Thomas van Binsbergen University of Amsterdam Link to publication DOI Pre-print
16:50 35m Talk		Staged Gradual Typing GPCE Hiroto Yaguchi University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba Link to publication DOI

16:15 - 18:00	KeynoteDoctoral Symposium at M125 Chair(s): Mikhail Barash University of Bergen

16:15 60m Keynote		AI and LLMs on PhDs — Administrator's Insights and Life-Long Musings Doctoral Symposium Jaakko Järvi University of Turku
17:15 5m Day closing		Doctoral Symposium - Closing Session Doctoral Symposium Mikhail Barash University of Bergen, Carla Ferreira NOVA University Lisbon

16:15 - 18:00	Session 2PLF+PLAID at M207

16:15 30m Talk		Local-First Extensions and Patterns: Designing Server-Free Systems with UML PLF+PLAID Lylian Siffre , Thomas Ledoux , Renaud Pawlak , Jonathan Guery
16:45 30m Talk		Teilen-SQL: A library for building local-first software with SQLite and version control PLF+PLAID Jakob Saadbye , Léon Gondelman Aalborg University, Denmark, Michele Albano Aalborg University

Fri 4 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:15	Opening & Keynote (WebAssembly)PLSS at M207

09:00 15m Day opening		PLSS - Opening Session PLSS Mikhail Barash University of Bergen, Yulia Startsev Mozilla
09:15 60m Keynote		Engineering a Formal Language Specification PLSS Andreas Rossberg Independent Link to publication

09:00 - 10:15	Morning session 1VORTEX at M208 Chair(s): Giorgio Audrito Università di Torino

09:00 15m Day opening		Opening VORTEX
09:15 30m Talk		Runtime Monitoring of Action Specifications for Replanning in Classical Planning VORTEX Angelo Ferrando University of Modena and Reggio Emilia, Rafael C. Cardoso University of Aberdeen File Attached
09:45 30m Talk		Bounded Compositional Runtime Enforcement VORTEX Saumya Shankar , Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Thierry Jéron INRIA, Prisha Srinidi Indian Institute of Technology Bhubaneswar File Attached

09:00 - 10:15	KeynoteDEBT at M209

09:00 15m Day opening		Welcome to the DEBT Workshop DEBT
09:15 60m Keynote		Keynote: Live feedback through incremental program analysis DEBT Sebastian Erdweg JGU Mainz

10:15 - 10:45	Coffee BreakCatering at M130/131

10:15 30m Coffee break		Break Catering

10:45 - 12:30	APL, JavaScript, HyloPLSS at M207

10:45 30m Talk		APL Array Notation PLSS Adám Brudzewsky Dyalog Ltd.
11:15 30m Talk		Trusted JavaScript Language Environments with ESMeta PLSS Jihyeok Park Korea University
11:45 30m Talk		Designing Hylo, a programming language for safe systems programmingRemote PLSS Dimi Racordon EPFL, LAMP

10:45 - 12:30	Morning session 2VORTEX at M208 Chair(s): Francesco Dagnino University of Genoa

10:45 30m Talk		Aggregate Monitoring of Spatial Formulas beyond SLCS VORTEX Giorgio Audrito Università di Torino, Gianluca Aguzzi Alma Mater Studiorum - Università di Bologna, Mirko Viroli Alma Mater Studiorum - Università di Bologna File Attached
11:15 30m Talk		Bounded Time Monitoring in Aggregate Systems VORTEX Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Gianluca Torta Dipartimento di Informatica - Università di Torino, Italy File Attached
11:45 30m Talk		Monitors for distributed deadlock detection VORTEX Radosław Jan Rowicki Technical University of Denmark, Adrian Francalanza University of Malta, Alceste Scalas Technical University of Denmark File Attached

10:45 - 12:30	Session 1DEBT at M209

10:45 30m Talk		Automatic Data Structures Visualization in IntelliJ IDEA DEBT Grigorii Emdin JetBrains, EPFL, Dmitrii Kirkhmeier JetBrains, Nikita Koval JetBrains
11:15 30m Talk		Countering Anti-Debugging Techniques: Enhancing Transparency in Nested Virtualization using HyperDbg DEBT Björn Ruytenberg Vrije Universiteit Amsterdam, Mohammad Sina Karvandi Vrije Universiteit Amsterdam
11:45 30m Talk		Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin DEBT Dmitrii Artiukhov JetBrains, Bob Brockbernd JetBrains, Evgeniia Fedotova JetBrains Research, Nikita Koval JetBrains, Ivan Kylchik JetBrains, Evgenii Moiseenko JetBrains Research, Lev Serebryakov JetBrains, Evgeniy Zhelenskiy JetBrains, Maksim Zuev JetBrains
12:15 15m Day closing		Closing by the workshop organizers DEBT Burcu Kulahcioglu Ozkan Delft University of Technology, Tom Lauwaerts Universiteit Gent, Belgium

12:30 - 14:00	Lunch (cafeteria K1)Catering at Cafeteria (K1)

12:30 90m Lunch		Lunch Catering

14:00 - 15:45	Kotlin, JavaScript, APLPLSS at M207

14:00 30m Talk		Just-in-time Specification: Evolving Kotlin One Feature at a Time PLSS Marat Akhin JetBrains
14:30 30m Talk		The Software Supporting the JavaScript Language Specification PLSS Michael Ficarra F5
15:00 30m Talk		APL Standards PLSS Karta Kooner Dyalog Ltd.

14:00 - 15:45	Afternoon sessionVORTEX at M208 Chair(s): Davide Ancona DIBRIS, University of Genova, Italy

14:00 60m Keynote		Tell Me The Future, Correctly: On The Monitorability of Timed Logics Over Infinite Executions VORTEX K: Mohammed Aristide Foughali Université Paris Cité / IRIF
15:00 30m Talk		Ain’t No Stopping Us Monitoring Now (extended abstract) VORTEX Luca Ciccone University of Turin, Francesco Dagnino , Angelo Ferrando University of Modena and Reggio Emilia File Attached

15:45 - 16:15	Coffee BreakCatering at M130/131

15:45 30m Coffee break		Break Catering

16:15 - 18:00	P4, C++, Emacs LispPLSS at M207

16:15 30m Talk		P4-SpecTec: Mechanized Language Definition for P4 PLSS Jaehyun Lee KAIST, Sukyoung Ryu KAIST
16:45 30m Talk		C++ Standardization: Reflections and Lessons Learned PLSS Jaakko Järvi University of Turku
17:15 30m Talk		Do Programming Languages Fulfill Requirements? Should They?Remote PLSS Michael Sperber Active Group GmbH
17:45 5m Day closing		PLSS - Closing Session PLSS Yulia Startsev Mozilla, Mikhail Barash University of Bergen

ECOOP 2025 Program

Mon 30 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Poster session

Wed 2 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Co-hosted Conferences

Workshops

ECOOP 2025 Program

Switch Program View

Program Display Configuration

Mon 30 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Poster session

Wed 2 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Mon 30 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 2 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change