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 Université Paris Diderot, 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 University of Camerino, 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 | An Effectful Object Calculus Technical Papers Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa | ||
11:06 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:27 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:48 21mTalk | Mono Types — First-Class Containers for Datalog Technical Papers | ||
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 | ||
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 | ||
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 | ||
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 | ||
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 | |||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||