PPaperPicks
← All conferences
Editions2025

ECOOP 2025

A

European Conference on Object-Oriented Programming

Official site ↗
43
accepted papers
135
authors
June 30 - July 4, 2025
dates
Norway
location

43 / 43 papers

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