| 2025 | 39th European Conference on Object-Oriented Programming, ECOOP 2025, Bergen, Norway, June 30 - July 2, 2025 Jonathan Aldrich, Alexandra Silva |
| 2025 | A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework. Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick |
| 2025 | A Theory of (Linear-Time) Timed Monitors. Mouloud Amara, Giovanni Bernardi, Mohammed Aristide Foughali, Adrian Francalanza |
| 2025 | An Effectful Object Calculus. Francesco Dagnino, Paola Giannini, Elena Zucca |
| 2025 | Automatic Goal Clone Detection in Rocq. Ali Ghanbari |
| 2025 | Bottom-Up Synthesis of Memory Mutations with Separation Logic. Kasra Ferdowsi, Hila Peleg |
| 2025 | Chain of Grounded Objectives: Concise Goal-Oriented Prompting for Code Generation. Sangyeop Yeo, Seung-won Hwang, Yu-Seung Ma |
| 2025 | Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness. Pedro Carrott, Sacha-Élie Ayoun, Azalea Raad |
| 2025 | Compositional Static Value Analysis for Higher-Order Numerical Programs. Milla Valnet, Raphaël Monat, Antoine Miné |
| 2025 | Contract Systems Need Domain-Specific Notations (Pearl/Brave New Idea). Cameron Moy, Ryan Jung, Matthias Felleisen |
| 2025 | Contract Usage and Evolution in Android Mobile Applications. David R. Ferreira, Alexandra Mendes, João F. Ferreira, Carolina Carreira |
| 2025 | Contrasting Deadlock-Free Session Processes. Juan C. Jaramillo, Jorge A. Pérez |
| 2025 | Declarative Dynamic Object Reclassification. Riccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, Einar Broch Johnsen |
| 2025 | Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories. Tianyu Chen, Zeyu Wang, Lin Li, Ding Li, Zongyang Li, Xiaoning Chang, Pan Bian, Guangtai Liang, Qianxiang Wang, Tao Xie |
| 2025 | Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees. Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui |
| 2025 | Ensuring Convergence and Invariants Without Coordination. Dina Borrego, Nuno M. Preguiça, Elisa Gonzalez Boix, Carla Ferreira |
| 2025 | Event Race Detection for Node.js Using Delay Injections. André Takeshi Endo, Anders Møller |
| 2025 | Fair Termination of Asynchronous Binary Sessions. Luca Padovani, Gianluigi Zavattaro |
| 2025 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2025 | FuzzFlesh: Randomised Testing of Decompilers via Control Flow Graph-Based Program Generation. Amber Gorzynski, Alastair F. Donaldson |
| 2025 | GSOHC: Global Synchronization Optimization in Heterogeneous Computing. Soumik Kumar Basu, Jyothi Vedurada |
| 2025 | In-Memory Object Graph Stores. Aditya Thimmaiah, Zijian Yi, Joseph Kenis, Christopher J. Rossbach, Milos Gligoric |
| 2025 | Incremental Computing by Differential Execution. Prashant Kumar, André Pacak, Sebastian Erdweg |
| 2025 | IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL. Matt Griffin, Brijesh Dongol, Azalea Raad |
| 2025 | Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design. Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi |
| 2025 | Monadic Type-And-Effect Soundness. Francesco Dagnino, Paola Giannini, Elena Zucca |
| 2025 | Mono Types - First-Class Containers for Datalog. Runqing Xu, David Klopp, Sebastian Erdweg |
| 2025 | Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction. Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone |
| 2025 | PoTo: A Hybrid Andersen's Points-To Analysis for Python. Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby |
| 2025 | Practical Type-Based Taint Checking and Inference. Nima Karimipour, Kanak Das, Manu Sridharan, Behnaz Hassanshahi |
| 2025 | Profile-Guided Field Externalization in an Ahead-Of-Time Compiler. Sebastian Kloibhofer, Lukas Makor, Peter Hofer, David Leopoldseder, Hanspeter Mössenböck |
| 2025 | Pydrofoil: Accelerating Sail-Based Instruction Set Simulators. Carl Friedrich Bolz-Tereick, Luke Panayi, Ferdia McKeogh, Tom Spink, Martin Berger |
| 2025 | Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions. Jacqueline L. Mitchell, Chao Wang |
| 2025 | RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper). Tomás Dacík, Tomás Vojnar |
| 2025 | Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis. Mamy Razafintsialonina, David Bühler, Antoine Miné, Valentin Perrelle, Julien Signoles |
| 2025 | Reusing Highly Optimized IR in Dynamic Compilation. Andrej Pecimuth, David Leopoldseder, Petr Tuma |
| 2025 | Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification (Replication Paper). Francisco Handrick da Costa, Ismael Medeiros, Leandro Oliveira, João Calássio, Rodrigo Bonifácio, Krishna Narasimhan, Mira Mezini, Márcio Ribeiro |
| 2025 | Shouting at Memory: Where Did My Write Go? (Pearl/Brave New Idea). Vasileios Klimis |
| 2025 | Spegion: Implicit and Non-Lexical Regions with Sized Allocations. Jack Hughes, Michael Vollmer, Mark Batty |
| 2025 | Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering. Jiawei Yang, Xiao Cheng, Bor-Yuh Evan Chang, Xiapu Luo, Yulei Sui |
| 2025 | The Algebra of Patterns. David Binder, Lean Ermantraut |
| 2025 | Type-Safe and Portable Support for Packed Data (Experience Paper). Arthur Jamet, Michael Vollmer |
| 2025 | Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession. Aäron Munsters, Angel Luis Scull Pupo, Elisa Gonzalez Boix |
| 2025 | WebGlitch: A Randomised Testing Tool for the WebGPU API (Experience Paper). Matthew K. L. Wong, Alastair F. Donaldson |