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