ECOOP 2025

43 papers

1. 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
2. A Theory of (Linear-Time) Timed Monitors · Mouloud Amara, Giovanni Bernardi, Mohammed Aristide Foughali, Adrian Francalanza
3. An Effectful Object Calculus · Francesco Dagnino, Paola Giannini, Elena Zucca
4. Automatic Goal Clone Detection in Rocq · Ali Ghanbari
5. Bottom-Up Synthesis of Memory Mutations with Separation Logic · Kasra Ferdowsi, Hila Peleg
6. Chain of Grounded Objectives: Concise Goal-Oriented Prompting for Code Generation · Sangyeop Yeo, Seung-won Hwang, Yu-Seung Ma
7. Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness · Pedro Carrott, Sacha-Élie Ayoun, Azalea Raad
8. Compositional Static Value Analysis for Higher-Order Numerical Programs · Milla Valnet, Raphaël Monat, Antoine Miné
9. Contract Systems Need Domain-Specific Notations (Pearl/Brave New Idea) · Cameron Moy, Ryan Jung, Matthias Felleisen
10. Contract Usage and Evolution in Android Mobile Applications · David R. Ferreira, Alexandra Mendes, João F. Ferreira, Carolina Carreira
11. Contrasting Deadlock-Free Session Processes · Juan C. Jaramillo, Jorge A. Pérez
12. Declarative Dynamic Object Reclassification · Riccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, Einar Broch Johnsen
13. 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 + 4 more
14. 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 + 1 more
15. Ensuring Convergence and Invariants Without Coordination · Dina Borrego, Nuno M. Preguiça, Elisa Gonzalez Boix, Carla Ferreira
16. Event Race Detection for Node.js Using Delay Injections · André Takeshi Endo, Anders Møller
17. Fair Termination of Asynchronous Binary Sessions · Luca Padovani, Gianluigi Zavattaro
18. Front Matter, Table of Contents, Preface, Conference Organization ·
19. FuzzFlesh: Randomised Testing of Decompilers via Control Flow Graph-Based Program Generation · Amber Gorzynski, Alastair F. Donaldson
20. GSOHC: Global Synchronization Optimization in Heterogeneous Computing · Soumik Kumar Basu, Jyothi Vedurada
21. In-Memory Object Graph Stores · Aditya Thimmaiah, Zijian Yi, Joseph Kenis, Christopher J. Rossbach, Milos Gligoric
22. Incremental Computing by Differential Execution · Prashant Kumar, André Pacak, Sebastian Erdweg
23. IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL · Matt Griffin, Brijesh Dongol, Azalea Raad
24. Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design · Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
25. Monadic Type-And-Effect Soundness · Francesco Dagnino, Paola Giannini, Elena Zucca
26. Mono Types - First-Class Containers for Datalog · Runqing Xu, David Klopp, Sebastian Erdweg
27. Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction · Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone
28. PoTo: A Hybrid Andersen's Points-To Analysis for Python · Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
29. Practical Type-Based Taint Checking and Inference · Nima Karimipour, Kanak Das, Manu Sridharan, Behnaz Hassanshahi
30. Profile-Guided Field Externalization in an Ahead-Of-Time Compiler · Sebastian Kloibhofer, Lukas Makor, Peter Hofer, David Leopoldseder, Hanspeter Mössenböck
31. Pydrofoil: Accelerating Sail-Based Instruction Set Simulators · Carl Friedrich Bolz-Tereick, Luke Panayi, Ferdia McKeogh, Tom Spink, Martin Berger
32. Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions · Jacqueline L. Mitchell, Chao Wang
33. RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper) · Tomás Dacík, Tomás Vojnar
34. Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis · Mamy Razafintsialonina, David Bühler, Antoine Miné, Valentin Perrelle, Julien Signoles
35. Reusing Highly Optimized IR in Dynamic Compilation · Andrej Pecimuth, David Leopoldseder, Petr Tuma
36. 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 + 2 more
37. Shouting at Memory: Where Did My Write Go? (Pearl/Brave New Idea) · Vasileios Klimis
38. Spegion: Implicit and Non-Lexical Regions with Sized Allocations · Jack Hughes, Michael Vollmer, Mark Batty
39. Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering · Jiawei Yang, Xiao Cheng, Bor-Yuh Evan Chang, Xiapu Luo, Yulei Sui
40. The Algebra of Patterns · David Binder, Lean Ermantraut
41. Type-Safe and Portable Support for Packed Data (Experience Paper) · Arthur Jamet, Michael Vollmer
42. Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession · Aäron Munsters, Angel Luis Scull Pupo, Elisa Gonzalez Boix
43. WebGlitch: A Randomised Testing Tool for the WebGPU API (Experience Paper) · Matthew K. L. Wong, Alastair F. Donaldson