ECOOP 2025 (series) /
ECOOP 2025 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Mon 30 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 30 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:15 - 09:00 | |||
09:00 - 09:15 | |||
09:15 - 10:15 | |||
09:15 60mKeynote | AITO Dahl-Nygaard Senior Prize: Mira Mezini Technical Papers Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE | ||
10:45 - 12:30 | |||
10:45 21mTalk | A theory of (linear-time) timed monitors Technical Papers Mouloud Amara IRIF, Université Paris Cité, Giovanni Bernardi IRIF, Université Paris Cité, Mohammed Foughali Université Paris Cité / IRIF, Adrian Francalanza University of Malta | ||
11:06 21mTalk | Automatic Goal Clone Detection in Rocq Technical Papers Ali Ghanbari Auburn University | ||
11:27 21mTalk | 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:48 21mTalk | Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering Technical Papers Jiawei Yang , Xiao Cheng UNSW, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Xiapu Luo Hong Kong Polytechnic University, Yulei Sui University of New South Wales | ||
12:09 21mTalk | The Algebra of Patterns Technical Papers | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:45 | |||
14:00 21mTalk | Contrasting Deadlock-Free Session Processes Technical Papers Pre-print | ||
14:21 21mTalk | 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 21mTalk | Incremental Computing by Differential Execution Technical Papers | ||
15:03 21mTalk | 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 21mTalk | Validating Persistency Semantics with Memory Hierarchy Timing Attack Technical Papers Vasileios Klimis Queen Mary University of London | ||
16:15 - 17:39 | |||
16:15 21mTalk | 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 21mTalk | In-memory Object Graph Stores 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 21mTalk | Spegion: Implicit and Non-Lexical Regions with Sized Allocations Technical Papers | ||
17:18 21mTalk | Type-safe and portable support for packed data Technical Papers | ||
18:30 - 19:30 | |||
18:30 60mSocial Event | Reception at Håkonshallen Technical Papers | ||
Tue 1 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 1 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 09:15 | |||
09:15 - 10:15 | |||
09:15 60mKeynote | AITO Dahl-Nygaard Junio Prize: Amir Shaikhha Technical Papers Amir Shaikhha University of Edinburgh | ||
10:45 - 12:30 | |||
10:45 21mTalk | Mono Types — First-Class Containers for Datalog Technical Papers | ||
11:06 21mTalk | 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 21mTalk | 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 Pre-print | ||
11:48 21mTalk | An Effectful Object Calculus Technical Papers Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa | ||
12:09 21mTalk | Practical Type-Based Taint Checking and Inference 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 | |||
12:30 90mLunch | Lunch Catering | ||
16:15 - 17:39 | |||
16:15 21mTalk | Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories Technical Papers Tianyu Chen Peking University, 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 21mTalk | Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions Technical Papers | ||
16:57 21mTalk | 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 Pre-print | ||
17:18 21mTalk | 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 | |||
Wed 2 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 2 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 09:15 | |||
09:15 - 10:15 | |||
09:15 60mKeynote | Keynote: Petar Maksimovic Technical Papers Petar Maksimović Nethermind; Imperial College London | ||
10:45 - 12:30 | |||
10:45 21mTalk | Bottom-up Synthesis of Memory Mutations with Separation Logic Technical Papers | ||
11:06 21mTalk | 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 | ||
11:27 21mTalk | 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 21mTalk | 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 21mTalk | 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 | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:45 | |||
14:00 21mTalk | Event Race Detection for Node.js Using Delay Injections Technical Papers Pre-print | ||
14:21 21mTalk | FuzzFlesh: Randomised Testing of Decompilers Via Control Flow Graph-based Program Generation Technical Papers | ||
14:42 21mTalk | 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 21mTalk | 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 21mTalk | WebGlitch: A Randomised Testing Tool for the WebGPU API Technical Papers | ||
16:15 - 17:39 | |||
16:15 21mTalk | 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é | ||
16:36 21mTalk | Contract Systems Need Domain-Specific Notations Technical Papers Cameron Moy Northeastern University, Ryan Jung PLT @ Northeastern University, Matthias Felleisen Northeastern University | ||
16:57 21mTalk | 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 | ||
17:18 21mTalk | 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:40 - 18:00 | |||
Thu 3 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 3 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:15 - 09:00 | |||
09:00 - 10:15 | |||
09:00 75mKeynote | Metaprogramming and algebra GPCE Ohad Kammar University of Edinburgh | ||
09:00 - 10:15 | |||
09:00 15mDay opening | Doctoral Symposium - Opening Session Doctoral Symposium | ||
09:15 60mKeynote | How to get your Ph.D. DONE! Doctoral Symposium Eric Jul University of Oslo | ||
09:00 - 10:15 | |||
09:00 75mTalk | Formal model guided conformance testing for blockchains PLF+PLAID Pavle Subotic Microsoft Azure | ||
09:00 - 10:15 | |||
09:00 75mKeynote | Formal model guided conformance testing for blockchains FTfJP Pavle Subotic Fantom Foundation | ||
10:45 - 12:30 | |||
10:45 35mTalk | CoCoCoLa: Code Completion Control Language GPCE | ||
11:20 35mTalk | 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 35mTalk | Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations GPCE Aleksandar S. Dimovski Mother Teresa University, Skopje | ||
10:45 - 12:30 | |||
10:45 20mTalk | Compiling to an Intermediate Representation with Definitional Abstract Interpreters Doctoral Symposium Armand Lego Johannes Gutenberg University Mainz | ||
11:05 20mTalk | Expressive Equivalence of React's and Signals' Reactivity Doctoral Symposium Kirill Golubev University of Turku | ||
11:25 25mTalk | Designing Correct and Available Replicated Systems through Coordination-Minimising Techniques Doctoral Symposium Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa | ||
11:50 30mOther | Session 1 - Discussion Doctoral Symposium | ||
10:45 - 12:30 | |||
10:45 35mTalk | A Global Specification Model for Data-Aware Coordination (with an application to smart contracts) PLF+PLAID António Ravara Nova University of Lisbon | ||
11:20 35mTalk | Local GR(1) Synthesis with Dynamic Updates for Cooperative and Adaptive Multi-Agent Programming PLF+PLAID Oleks Shturmov University of Oslo & University of Copenhagen | ||
11:55 35mTalk | 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 | ||
10:45 - 12:30 | Session 2FTfJP at M209 Chair(s): Rosemary Monahan Department of Computer Science & Hamilton Institute, Maynooth University | ||
10:45 60mKeynote | TBA FTfJP Jonathan Aldrich Carnegie Mellon University | ||
11:45 30mTalk | An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (X)C20 memory consistency model FTfJP | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:45 | |||
14:00 35mTalk | Integrating Static Optimization and Dynamic Nature in JavaScript GPCE | ||
14:35 35mTalk | 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 | ||
15:10 35mTalk | Retrofitting a Virtual Instrument DSL with Programming Abstractions GPCE | ||
14:00 - 15:45 | |||
14:00 20mTalk | Extensions to Container-Based Abstraction of Graphical User Interfaces Doctoral Symposium Yan Passeniouk University of Turku | ||
14:20 20mTalk | Applied Implicit Computational Complexity Doctoral Symposium Neea Rusch Augusta University | ||
14:40 20mTalk | Impacts and Uses of Local-First Software Architecture for Energy Optimization of Digital Services Doctoral Symposium | ||
15:00 30mOther | Session 2 - Discussion Doctoral Symposium | ||
14:00 - 15:45 | |||
14:00 70mTalk | 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 | ||
15:10 35mTalk | PRDTs: Implementing Distributed Protocols with Replicated Data Types PLF+PLAID | ||
14:00 - 15:45 | |||
14:00 30mTalk | 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 30mTalk | Towards a Unifying Semantics Playground FTfJP Andrew Butterfield Trinity College Dublin | ||
15:00 30mTalk | 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 30mTalk | VeriFast’s separation logic: a higher-order(ish) logic without laters for modular verification of fine-grained concurrent programs FTfJP Bart Jacobs imec-DistriNet, Dept. CS, KU Leuven | ||
16:15 - 18:00 | |||
16:15 52mTalk | 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 | ||
17:07 52mTalk | Staged Gradual Typing GPCE | ||
16:15 - 18:00 | |||
16:15 60mKeynote | AI and LLMs on PhDs — Administrator's Insights and Life-Long Musings Doctoral Symposium Jaakko Järvi University of Turku | ||
17:15 5mDay closing | Doctoral Symposium - Closing Session Doctoral Symposium | ||
16:15 - 18:00 | |||
16:15 35mTalk | Optimizing CRDTs for Low Memory Environments PLF+PLAID Thomas Vandermotten Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel | ||
16:50 35mTalk | Local-First Extensions and Patterns: Designing Server-Free Systems with UML PLF+PLAID | ||
17:25 35mTalk | Teilen-SQL: A library for building local-first software with SQLite and version control PLF+PLAID | ||
Fri 4 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 4 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:15 - 09:00 | |||
09:00 - 10:15 | |||
09:00 15mDay opening | PLSS - Opening Session PLSS | ||
09:15 60mKeynote | Engineering a Formal Language Specification PLSS Andreas Rossberg Independent Link to publication | ||
09:00 - 10:15 | |||
09:00 15mDay opening | Welcome to the DEBT Workshop DEBT | ||
09:15 60mKeynote | Keynote: Live feedback through incremental program analysis DEBT Sebastian Erdweg JGU Mainz | ||
10:45 - 12:30 | |||
10:45 30mTalk | APL Array Notation PLSS Adám Brudzewsky Dyalog Ltd. | ||
11:15 30mTalk | Trusted JavaScript Language Environments with ESMeta PLSS Jihyeok Park Korea University | ||
11:45 30mTalk | Designing Hylo, a programming language for safe systems programmingRemote PLSS Dimi Racordon EPFL, LAMP | ||
10:45 - 12:30 | |||
10:45 30mTalk | Automatic Data Structures Visualization in IntelliJ IDEA DEBT | ||
11:15 30mTalk | Countering Anti-Debugging Techniques: Enhancing Transparency in Nested Virtualization using HyperDbg DEBT | ||
11:45 30mTalk | 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 15mDay closing | Closing by the workshop organizers DEBT | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:45 | |||
14:00 30mTalk | Just-in-time Specification: Evolving Kotlin One Feature at a Time PLSS Marat Akhin JetBrains Research | ||
14:30 30mTalk | The Software Supporting the JavaScript Language Specification PLSS | ||
15:00 30mTalk | APL Standards PLSS Karta Kooner Dyalog Ltd. | ||
16:15 - 18:00 | |||
16:15 30mTalk | P4-SpecTec: Mechanized Language Definition for P4 PLSS | ||
16:45 30mTalk | C++ Standardization: Reflections and Lessons Learned PLSS Jaakko Järvi University of Turku | ||
17:15 30mTalk | Do Programming Languages Fulfill Requirements? Should They?Remote PLSS Michael Sperber Active Group GmbH | ||
17:45 5mDay closing | PLSS - Closing Session PLSS | ||