ECOOP 2025 (series) /
Accepted Papers
This is the list of all accepted papers for ECOOP’25. We as organizers congratulate all authors, and look forward to seeing you all in Bergen!
| Title | Authors |
|---|---|
| Monadic type-and-effect soundness | F. Dagnino, P. Giannini, E. Zucca |
| Declarative Dynamic Object Reclassification | R. Sieve, E. Kamburjan, F. Damiani, E. Johnsen |
| In-memory Object Graph Stores | A. Thimmaiah, Z. Yi, J. Kenis, C. Rossbach, M. Gligoric |
| WebGlitch: A Randomised Testing Tool for the WebGPU API | M. Wong, A. Donaldson |
| Mono Types — First-Class Containers for Datalog | R. Xu, D. Klopp, S. Erdweg |
| IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL | M. Griffin, B. Dongol, A. Raad |
| Bottom-up Synthesis of Memory Mutations with Separation Logic | K. Ferdowsi, H. Peleg |
| A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework | Y. Izawa, H. Masuhara, C. Bolz-Tereick |
| GSOHC: Global Synchronization Optimization in Heterogeneous Computing | S. Basu, J. Vedurada |
| Event Race Detection for Node.js Using Delay Injections | A. Endo, A. Møller |
| Lightweight Diagramming for Formal Methods: A Grounded Language Design | S. Prasad, B. Greenman, T. Nelson, S. Krishnamurthi |
| Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession | A. Munsters, A. Pupo, E. Boix |
| Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions | J. Mitchell, C. Wang |
| Contract Systems Need Domain-Specific Notations | C. Moy, R. Jung, M. Felleisen |
| Compositional Static Value Analysis for Higher-Order Numerical Programs | M. Valnet, R. Monat, A. Miné |
| Validating Persistency Semantics with Memory Hierarchy Timing Attack | V. Klimis |
| Contract Usage and Evolution in Android Mobile Applications | D. Regatia, A. Mendes, J. F. Ferreira, C. Carreira |
| Contrasting Deadlock-Free Session Processes | J. Jaramillo, J. Pérez |
| The Algebra of Patterns | D. Binder, L. Ermantraut |
| Profile-Guided Field Externalization in an Ahead-of-Time Compiler | S. Kloibhofer, L. Makor, P. Hofer, D. Leopoldseder, H. Mössenböck |
| Fair Termination of Asynchronous Binary Sessions | L. Padovani, G. Zavattaro |
| Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering | J. Yang, X. Cheng, B. Chang, X. Luo, Y. Sui |
| Automatic Goal Clone Detection in Rocq | A. Ghanbari |
| Ensuring Convergence and Invariants Without Coordination | D. Borrego, C. Ferreira, E. Boix, N. Preguica |
| Practical Type-Based Taint Checking and Inference | N. Karimipour, K. Das, M. Sridharan, B. Hassanshahi |
| PoTo: A Hybrid Andersen’s Points-to Analysis for Python | I. Rak-amnouykit, A. Milanova, G. Baudart, M. Hirzel, J. Dolby |
| Incremental Computing by Differential Execution | P. Kumar, A. Pacak, S. Erdweg |
| Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees | G. Zhang, K. Fukuda, Z. Zhang, H. Bandara, S. CHEN, J. Zhao, Y. Sui |
| A theory of (linear-time) timed monitors | M. Amara, G. Bernardi, M. Foughali, A. Francalanza |
| FuzzFlesh: Randomised Testing of Decompilers Via Control Flow Graph-based Program Generation | A. Gorzynski, A. Donaldson |
| Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis | M. Razafintsialonina, D. Bühler, A. Miné, V. Perrelle, J. Signoles |
| Reusing Highly Optimized IR in Dynamic Compilation | A. Pečimúth, D. Leopoldseder, P. Tůma |
| Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction | D. Tirore, J. Bengtson, M. Carbone |
| Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification | F. COSTA, I. Medeiros, L. Oliveira, J. Clássio, R. Bonifácio, K. Narasimhan, M. Mezini, M. Ribeiro |
| Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness | P. Carrott, S. Ayoun, A. Raad |
| Detecting Functionality-Specific Vulnerabilities via Retrieving Functionality-Equivalent APIs in Open-Source Repositories | T. Chen, Z. Wang, L. Li, D. Li, Z. Li, X. Chang, P. Bian, G. Liang, Q. Wang, T. Xie |
| Type-safe and portable support for packed data | A. Jamet, M. Vollmer |
| An Effectful Object Calculus | F. Dagnino, P. Giannini, E. Zucca |
| Pydrofoil: accelerating Sail-based instruction set simulators | M. Berger, C. Bolz-Tereick, L. Panayi, F. McKeogh, T. Spink |
| Spegion: Implicit and Non-Lexical Regions with Sized Allocations | J. Hughes, M. Vollmer, M. Batty |
| RacerF: Lightweight Static Data Race Detection for C Code | T. Dacík, T. Vojnar |
| Chain of Grounded Objectives: Concise Goal-oriented Prompting for Code Generation | S. Yeo, S. Hwang, Y. Ma |