39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 1-1202, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@Proceedings{aldrich_et_al:LIPIcs.ECOOP.2025, title = {{LIPIcs, Volume 333, ECOOP 2025, Complete Volume}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {1--1202}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025}, URN = {urn:nbn:de:0030-drops-236580}, doi = {10.4230/LIPIcs.ECOOP.2025}, annote = {Keywords: LIPIcs, Volume 333, ECOOP 2025, Complete Volume} }
39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 0:i-0:xviii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{aldrich_et_al:LIPIcs.ECOOP.2025.0, author = {Aldrich, Jonathan and Silva, Alexandra}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {0:i--0:xviii}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.0}, URN = {urn:nbn:de:0030-drops-236553}, doi = {10.4230/LIPIcs.ECOOP.2025.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Mouloud Amara, Giovanni Bernardi, Mohammed Aristide Foughali, and Adrian Francalanza. A Theory of (Linear-Time) Timed Monitors. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 1:1-1:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{amara_et_al:LIPIcs.ECOOP.2025.1, author = {Amara, Mouloud and Bernardi, Giovanni and Foughali, Mohammed Aristide and Francalanza, Adrian}, title = {{A Theory of (Linear-Time) Timed Monitors}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {1:1--1:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.1}, URN = {urn:nbn:de:0030-drops-232930}, doi = {10.4230/LIPIcs.ECOOP.2025.1}, annote = {Keywords: Timed logics, Runtime Verification, Monitorability} }
David Binder and Lean Ermantraut. The Algebra of Patterns. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 2:1-2:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{binder_et_al:LIPIcs.ECOOP.2025.2, author = {Binder, David and Ermantraut, Lean}, title = {{The Algebra of Patterns}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {2:1--2:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.2}, URN = {urn:nbn:de:0030-drops-232959}, doi = {10.4230/LIPIcs.ECOOP.2025.2}, annote = {Keywords: functional programming, pattern matching, algebraic data types, equational reasoning} }
Carl Friedrich Bolz-Tereick, Luke Panayi, Ferdia McKeogh, Tom Spink, and Martin Berger. Pydrofoil: Accelerating Sail-Based Instruction Set Simulators. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 3:1-3:31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bolztereick_et_al:LIPIcs.ECOOP.2025.3, author = {Bolz-Tereick, Carl Friedrich and Panayi, Luke and McKeogh, Ferdia and Spink, Tom and Berger, Martin}, title = {{Pydrofoil: Accelerating Sail-Based Instruction Set Simulators}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {3:1--3:31}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.3}, URN = {urn:nbn:de:0030-drops-232962}, doi = {10.4230/LIPIcs.ECOOP.2025.3}, annote = {Keywords: Instruction set architecture, processor, domain-specific language, just-in-time compilation, meta-tracing} }
Dina Borrego, Nuno Preguiça, Elisa Gonzalez Boix, and Carla Ferreira. Ensuring Convergence and Invariants Without Coordination. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 4:1-4:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{borrego_et_al:LIPIcs.ECOOP.2025.4, author = {Borrego, Dina and Pregui\c{c}a, Nuno and Gonzalez Boix, Elisa and Ferreira, Carla}, title = {{Ensuring Convergence and Invariants Without Coordination}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {4:1--4:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.4}, URN = {urn:nbn:de:0030-drops-232978}, doi = {10.4230/LIPIcs.ECOOP.2025.4}, annote = {Keywords: distributed systems, conflict resolution, RDTs, invariant preservation} }
Pedro Carrott, Sacha-Élie Ayoun, and Azalea Raad. Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 5:1-5:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{carrott_et_al:LIPIcs.ECOOP.2025.5, author = {Carrott, Pedro and Ayoun, Sacha-\'{E}lie and Raad, Azalea}, title = {{Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {5:1--5:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.5}, URN = {urn:nbn:de:0030-drops-232988}, doi = {10.4230/LIPIcs.ECOOP.2025.5}, annote = {Keywords: Rust, bug detection, static analysis, program logics, under-approximation} }
Tianyu Chen, Zeyu Wang, Lin Li, Ding Li, Zongyang Li, Xiaoning Chang, Pan Bian, Guangtai Liang, Qianxiang Wang, and Tao Xie. Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 6:1-6:27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{chen_et_al:LIPIcs.ECOOP.2025.6, author = {Chen, Tianyu and Wang, Zeyu and Li, Lin and Li, Ding and Li, Zongyang and Chang, Xiaoning and Bian, Pan and Liang, Guangtai and Wang, Qianxiang and Xie, Tao}, title = {{Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {6:1--6:27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.6}, URN = {urn:nbn:de:0030-drops-232999}, doi = {10.4230/LIPIcs.ECOOP.2025.6}, annote = {Keywords: Application Security, Vulnerability Detection, Large Language Model} }
Francesco Dagnino, Paola Giannini, and Elena Zucca. Monadic Type-And-Effect Soundness. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 7:1-7:31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{dagnino_et_al:LIPIcs.ECOOP.2025.7, author = {Dagnino, Francesco and Giannini, Paola and Zucca, Elena}, title = {{Monadic Type-And-Effect Soundness}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {7:1--7:31}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.7}, URN = {urn:nbn:de:0030-drops-233009}, doi = {10.4230/LIPIcs.ECOOP.2025.7}, annote = {Keywords: Effects, monads, type soundness} }
Francesco Dagnino, Paola Giannini, and Elena Zucca. An Effectful Object Calculus. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 8:1-8:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{dagnino_et_al:LIPIcs.ECOOP.2025.8, author = {Dagnino, Francesco and Giannini, Paola and Zucca, Elena}, title = {{An Effectful Object Calculus}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {8:1--8:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.8}, URN = {urn:nbn:de:0030-drops-233017}, doi = {10.4230/LIPIcs.ECOOP.2025.8}, annote = {Keywords: Object calculi, handlers, type-and-effect systems} }
Andre Takeshi Endo and Anders Møller. Event Race Detection for Node.js Using Delay Injections. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 9:1-9:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{endo_et_al:LIPIcs.ECOOP.2025.9, author = {Endo, Andre Takeshi and M{\o}ller, Anders}, title = {{Event Race Detection for Node.js Using Delay Injections}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {9:1--9:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.9}, URN = {urn:nbn:de:0030-drops-233026}, doi = {10.4230/LIPIcs.ECOOP.2025.9}, annote = {Keywords: JavaScript, race conditions, flaky tests, event races, callback interleaving} }
Kasra Ferdowsi and Hila Peleg. Bottom-Up Synthesis of Memory Mutations with Separation Logic. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 10:1-10:32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{ferdowsi_et_al:LIPIcs.ECOOP.2025.10, author = {Ferdowsi, Kasra and Peleg, Hila}, title = {{Bottom-Up Synthesis of Memory Mutations with Separation Logic}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {10:1--10:32}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.10}, URN = {urn:nbn:de:0030-drops-233036}, doi = {10.4230/LIPIcs.ECOOP.2025.10}, annote = {Keywords: Program synthesis, observational equivalence} }
David R. Ferreira, Alexandra Mendes, João F. Ferreira, and Carolina Carreira. Contract Usage and Evolution in Android Mobile Applications. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 11:1-11:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{ferreira_et_al:LIPIcs.ECOOP.2025.11, author = {Ferreira, David R. and Mendes, Alexandra and Ferreira, Jo\~{a}o F. and Carreira, Carolina}, title = {{Contract Usage and Evolution in Android Mobile Applications}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {11:1--11:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.11}, URN = {urn:nbn:de:0030-drops-233041}, doi = {10.4230/LIPIcs.ECOOP.2025.11}, annote = {Keywords: Contracts, Design by Contract, DbC, Android, Java, Kotlin} }
Ali Ghanbari. Automatic Goal Clone Detection in Rocq. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 12:1-12:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{ghanbari:LIPIcs.ECOOP.2025.12, author = {Ghanbari, Ali}, title = {{Automatic Goal Clone Detection in Rocq}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {12:1--12:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.12}, URN = {urn:nbn:de:0030-drops-233055}, doi = {10.4230/LIPIcs.ECOOP.2025.12}, annote = {Keywords: Clone Detection, Goal, Proof, Rocq, Gallina} }
Amber Gorzynski and Alastair F. Donaldson. FuzzFlesh: Randomised Testing of Decompilers via Control Flow Graph-Based Program Generation. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 13:1-13:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{gorzynski_et_al:LIPIcs.ECOOP.2025.13, author = {Gorzynski, Amber and Donaldson, Alastair F.}, title = {{FuzzFlesh: Randomised Testing of Decompilers via Control Flow Graph-Based Program Generation}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {13:1--13:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.13}, URN = {urn:nbn:de:0030-drops-233062}, doi = {10.4230/LIPIcs.ECOOP.2025.13}, annote = {Keywords: Decompiler, Reverse Engineering, Control Flow, Software Testing, Fuzzing} }
Matt Griffin, Brijesh Dongol, and Azalea Raad. IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 14:1-14:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{griffin_et_al:LIPIcs.ECOOP.2025.14, author = {Griffin, Matt and Dongol, Brijesh and Raad, Azalea}, title = {{IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {14:1--14:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.14}, URN = {urn:nbn:de:0030-drops-233070}, doi = {10.4230/LIPIcs.ECOOP.2025.14}, annote = {Keywords: Binary Analysis Platform, Isabelle/HOL, Hoare Logic, Incorrectness Logic} }
Jack Hughes, Michael Vollmer, and Mark Batty. Spegion: Implicit and Non-Lexical Regions with Sized Allocations. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 15:1-15:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{hughes_et_al:LIPIcs.ECOOP.2025.15, author = {Hughes, Jack and Vollmer, Michael and Batty, Mark}, title = {{Spegion: Implicit and Non-Lexical Regions with Sized Allocations}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {15:1--15:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.15}, URN = {urn:nbn:de:0030-drops-233082}, doi = {10.4230/LIPIcs.ECOOP.2025.15}, annote = {Keywords: Regions, Type Systems, Effect Systems, Programming Languages, Memory} }
Yusuke Izawa, Hidehiko Masuhara, and Carl Friedrich Bolz-Tereick. A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 16:1-16:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{izawa_et_al:LIPIcs.ECOOP.2025.16, author = {Izawa, Yusuke and Masuhara, Hidehiko and Bolz-Tereick, Carl Friedrich}, title = {{A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {16:1--16:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.16}, URN = {urn:nbn:de:0030-drops-233090}, doi = {10.4230/LIPIcs.ECOOP.2025.16}, annote = {Keywords: virtual machine, JIT compiler, multi-tier JIT compiler, meta-tracing JIT compiler, RPython} }
Juan C. Jaramillo and Jorge A. Pérez. Contrasting Deadlock-Free Session Processes. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 17:1-17:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{jaramillo_et_al:LIPIcs.ECOOP.2025.17, author = {Jaramillo, Juan C. and P\'{e}rez, Jorge A.}, title = {{Contrasting Deadlock-Free Session Processes}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {17:1--17:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.17}, URN = {urn:nbn:de:0030-drops-233103}, doi = {10.4230/LIPIcs.ECOOP.2025.17}, annote = {Keywords: session types, process calculi, deadlock freedom} }
Nima Karimipour, Kanak Das, Manu Sridharan, and Behnaz Hassanshahi. Practical Type-Based Taint Checking and Inference. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 18:1-18:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{karimipour_et_al:LIPIcs.ECOOP.2025.18, author = {Karimipour, Nima and Das, Kanak and Sridharan, Manu and Hassanshahi, Behnaz}, title = {{Practical Type-Based Taint Checking and Inference}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {18:1--18:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.18}, URN = {urn:nbn:de:0030-drops-233119}, doi = {10.4230/LIPIcs.ECOOP.2025.18}, annote = {Keywords: Static analysis, Taint Analysis, Pluggable type systems, Security, Inference} }
Sebastian Kloibhofer, Lukas Makor, Peter Hofer, David Leopoldseder, and Hanspeter Mössenböck. Profile-Guided Field Externalization in an Ahead-Of-Time Compiler. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 19:1-19:32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kloibhofer_et_al:LIPIcs.ECOOP.2025.19, author = {Kloibhofer, Sebastian and Makor, Lukas and Hofer, Peter and Leopoldseder, David and M\"{o}ssenb\"{o}ck, Hanspeter}, title = {{Profile-Guided Field Externalization in an Ahead-Of-Time Compiler}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {19:1--19:32}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.19}, URN = {urn:nbn:de:0030-drops-233121}, doi = {10.4230/LIPIcs.ECOOP.2025.19}, annote = {Keywords: compilation, instrumentation, profiling, fields, externalization, memory footprint reduction, memory footprint optimization} }
Prashant Kumar, André Pacak, and Sebastian Erdweg. Incremental Computing by Differential Execution. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 20:1-20:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kumar_et_al:LIPIcs.ECOOP.2025.20, author = {Kumar, Prashant and Pacak, Andr\'{e} and Erdweg, Sebastian}, title = {{Incremental Computing by Differential Execution}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {20:1--20:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.20}, URN = {urn:nbn:de:0030-drops-233137}, doi = {10.4230/LIPIcs.ECOOP.2025.20}, annote = {Keywords: Incremental computing, differential semantics, programming language design, formal verification, big-step semantics} }
Soumik Kumar Basu and Jyothi Vedurada. GSOHC: Global Synchronization Optimization in Heterogeneous Computing. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 21:1-21:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kumarbasu_et_al:LIPIcs.ECOOP.2025.21, author = {Kumar Basu, Soumik and Vedurada, Jyothi}, title = {{GSOHC: Global Synchronization Optimization in Heterogeneous Computing}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {21:1--21:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.21}, URN = {urn:nbn:de:0030-drops-232949}, doi = {10.4230/LIPIcs.ECOOP.2025.21}, annote = {Keywords: Static Analysis, Synchronization, CPU-GPU, Heterogeneous Computing, Parallelization} }
Jacqueline L. Mitchell and Chao Wang. Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 22:1-22:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{mitchell_et_al:LIPIcs.ECOOP.2025.22, author = {Mitchell, Jacqueline L. and Wang, Chao}, title = {{Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {22:1--22:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.22}, URN = {urn:nbn:de:0030-drops-233140}, doi = {10.4230/LIPIcs.ECOOP.2025.22}, annote = {Keywords: Abstract interpretation, side-channel, leakage quantification, cache} }
Aäron Munsters, Angel Luis Scull Pupo, and Elisa Gonzalez Boix. Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 23:1-23:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{munsters_et_al:LIPIcs.ECOOP.2025.23, author = {Munsters, A\"{a}ron and Scull Pupo, Angel Luis and Gonzalez Boix, Elisa}, title = {{Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {23:1--23:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.23}, URN = {urn:nbn:de:0030-drops-233153}, doi = {10.4230/LIPIcs.ECOOP.2025.23}, annote = {Keywords: WebAssembly, dynamic analysis, instrumentation platform, intercession} }
Luca Padovani and Gianluigi Zavattaro. Fair Termination of Asynchronous Binary Sessions. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 24:1-24:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{padovani_et_al:LIPIcs.ECOOP.2025.24, author = {Padovani, Luca and Zavattaro, Gianluigi}, title = {{Fair Termination of Asynchronous Binary Sessions}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {24:1--24:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.24}, URN = {urn:nbn:de:0030-drops-233169}, doi = {10.4230/LIPIcs.ECOOP.2025.24}, annote = {Keywords: Binary sessions, fair asynchronous subtyping, fair termination, linear logic} }
Andrej Pečimúth, David Leopoldseder, and Petr Tůma. Reusing Highly Optimized IR in Dynamic Compilation. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 25:1-25:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{pecimuth_et_al:LIPIcs.ECOOP.2025.25, author = {Pe\v{c}im\'{u}th, Andrej and Leopoldseder, David and T\r{u}ma, Petr}, title = {{Reusing Highly Optimized IR in Dynamic Compilation}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {25:1--25:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.25}, URN = {urn:nbn:de:0030-drops-233176}, doi = {10.4230/LIPIcs.ECOOP.2025.25}, annote = {Keywords: code reuse, compilation time, warmup, remote compilation, dynamic compilation, virtual machines} }
Siddhartha Prasad, Ben Greenman, Tim Nelson, and Shriram Krishnamurthi. Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 26:1-26:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{prasad_et_al:LIPIcs.ECOOP.2025.26, author = {Prasad, Siddhartha and Greenman, Ben and Nelson, Tim and Krishnamurthi, Shriram}, title = {{Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {26:1--26:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.26}, URN = {urn:nbn:de:0030-drops-233187}, doi = {10.4230/LIPIcs.ECOOP.2025.26}, annote = {Keywords: formal methods, diagramming, visualization, language design} }
Ingkarat Rak-amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, and Julian Dolby. PoTo: A Hybrid Andersen’s Points-To Analysis for Python. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 27:1-27:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{rakamnouykit_et_al:LIPIcs.ECOOP.2025.27, author = {Rak-amnouykit, Ingkarat and Milanova, Ana and Baudart, Guillaume and Hirzel, Martin and Dolby, Julian}, title = {{PoTo: A Hybrid Andersen’s Points-To Analysis for Python}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {27:1--27:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.27}, URN = {urn:nbn:de:0030-drops-233194}, doi = {10.4230/LIPIcs.ECOOP.2025.27}, annote = {Keywords: Python, Points-to analysis, Machine learning libraries} }
Mamy Razafintsialonina, David Bühler, Antoine Miné, Valentin Perrelle, and Julien Signoles. Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 28:1-28:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{razafintsialonina_et_al:LIPIcs.ECOOP.2025.28, author = {Razafintsialonina, Mamy and B\"{u}hler, David and Min\'{e}, Antoine and Perrelle, Valentin and Signoles, Julien}, title = {{Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {28:1--28:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.28}, URN = {urn:nbn:de:0030-drops-233207}, doi = {10.4230/LIPIcs.ECOOP.2025.28}, annote = {Keywords: Abstract Interpretation, Static Analysis, Incremental Analysis} }
Riccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, and Einar Broch Johnsen. Declarative Dynamic Object Reclassification. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 29:1-29:31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{sieve_et_al:LIPIcs.ECOOP.2025.29, author = {Sieve, Riccardo and Kamburjan, Eduard and Damiani, Ferruccio and Johnsen, Einar Broch}, title = {{Declarative Dynamic Object Reclassification}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {29:1--29:31}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.29}, URN = {urn:nbn:de:0030-drops-233211}, doi = {10.4230/LIPIcs.ECOOP.2025.29}, annote = {Keywords: Dynamic Object Reclassification, Dynamic Software Updates, Featherweight Java, Knowledge Bases, Semantic Reflection, Type Soundness} }
Aditya Thimmaiah, Zijian Yi, Joseph Kenis, Christopher J Rossbach, and Milos Gligoric. In-Memory Object Graph Stores. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 30:1-30:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{thimmaiah_et_al:LIPIcs.ECOOP.2025.30, author = {Thimmaiah, Aditya and Yi, Zijian and Kenis, Joseph and Rossbach, Christopher J and Gligoric, Milos}, title = {{In-Memory Object Graph Stores}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {30:1--30:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.30}, URN = {urn:nbn:de:0030-drops-233225}, doi = {10.4230/LIPIcs.ECOOP.2025.30}, annote = {Keywords: Object stores, Graph stores, Cypher} }
Dawit Tirore, Jesper Bengtson, and Marco Carbone. Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 31:1-31:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{tirore_et_al:LIPIcs.ECOOP.2025.31, author = {Tirore, Dawit and Bengtson, Jesper and Carbone, Marco}, title = {{Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {31:1--31:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.31}, URN = {urn:nbn:de:0030-drops-233238}, doi = {10.4230/LIPIcs.ECOOP.2025.31}, annote = {Keywords: Session types, Multiparty, Mechanisation, Coq} }
Milla Valnet, Raphaël Monat, and Antoine Miné. Compositional Static Value Analysis for Higher-Order Numerical Programs. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 32:1-32:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{valnet_et_al:LIPIcs.ECOOP.2025.32, author = {Valnet, Milla and Monat, Rapha\"{e}l and Min\'{e}, Antoine}, title = {{Compositional Static Value Analysis for Higher-Order Numerical Programs}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {32:1--32:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.32}, URN = {urn:nbn:de:0030-drops-233249}, doi = {10.4230/LIPIcs.ECOOP.2025.32}, annote = {Keywords: Static Value Analysis, Functional Programming, Abstract Interpretation} }
Runqing Xu, David Klopp, and Sebastian Erdweg. Mono Types - First-Class Containers for Datalog. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 33:1-33:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{xu_et_al:LIPIcs.ECOOP.2025.33, author = {Xu, Runqing and Klopp, David and Erdweg, Sebastian}, title = {{Mono Types - First-Class Containers for Datalog}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {33:1--33:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.33}, URN = {urn:nbn:de:0030-drops-233250}, doi = {10.4230/LIPIcs.ECOOP.2025.33}, annote = {Keywords: Datalog, compiler optimization} }
Jiawei Yang, Xiao Cheng, Bor-Yuh Evan Chang, Xiapu Luo, and Yulei Sui. Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 34:1-34:31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{yang_et_al:LIPIcs.ECOOP.2025.34, author = {Yang, Jiawei and Cheng, Xiao and Chang, Bor-Yuh Evan and Luo, Xiapu and Sui, Yulei}, title = {{Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {34:1--34:31}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.34}, URN = {urn:nbn:de:0030-drops-233265}, doi = {10.4230/LIPIcs.ECOOP.2025.34}, annote = {Keywords: Abstract interpretation, recursion, weak topological ordering} }
Sangyeop Yeo, Seung-Won Hwang, and Yu-Seung Ma. Chain of Grounded Objectives: Concise Goal-Oriented Prompting for Code Generation. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 35:1-35:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{yeo_et_al:LIPIcs.ECOOP.2025.35, author = {Yeo, Sangyeop and Hwang, Seung-Won and Ma, Yu-Seung}, title = {{Chain of Grounded Objectives: Concise Goal-Oriented Prompting for Code Generation}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {35:1--35:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.35}, URN = {urn:nbn:de:0030-drops-233271}, doi = {10.4230/LIPIcs.ECOOP.2025.35}, annote = {Keywords: Artificial Intelligence, Natural Language Processing, Prompt Design, Large Language Models, Code Generation} }
Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H.M.N. Dilum Bandara, Shiping Chen, Jianjun Zhao, and Yulei Sui. Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 36:1-36:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{zhang_et_al:LIPIcs.ECOOP.2025.36, author = {Zhang, Guanqin and Fukuda, Kota and Zhang, Zhenya and Bandara, H.M.N. Dilum and Chen, Shiping and Zhao, Jianjun and Sui, Yulei}, title = {{Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {36:1--36:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.36}, URN = {urn:nbn:de:0030-drops-233281}, doi = {10.4230/LIPIcs.ECOOP.2025.36}, annote = {Keywords: neural network verification, branch and bound, counterexample potentiality, simulated annealing, stochastic optimization} }
Tomáš Dacík and Tomáš Vojnar. RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper). In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 37:1-37:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{dacik_et_al:LIPIcs.ECOOP.2025.37, author = {Dac{\'\i}k, Tom\'{a}\v{s} and Vojnar, Tom\'{a}\v{s}}, title = {{RacerF: Lightweight Static Data Race Detection for C Code}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {37:1--37:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.37}, URN = {urn:nbn:de:0030-drops-233298}, doi = {10.4230/LIPIcs.ECOOP.2025.37}, annote = {Keywords: concurrency, data race detection, static analysis} }
Arthur Jamet and Michael Vollmer. Type-Safe and Portable Support for Packed Data (Experience Paper). In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 38:1-38:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{jamet_et_al:LIPIcs.ECOOP.2025.38, author = {Jamet, Arthur and Vollmer, Michael}, title = {{Type-Safe and Portable Support for Packed Data}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {38:1--38:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.38}, URN = {urn:nbn:de:0030-drops-233301}, doi = {10.4230/LIPIcs.ECOOP.2025.38}, annote = {Keywords: program optimisation, data structures, data layout, packed data} }
Matthew K. L. Wong and Alastair F. Donaldson. WebGlitch: A Randomised Testing Tool for the WebGPU API (Experience Paper). In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 39:1-39:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{wong_et_al:LIPIcs.ECOOP.2025.39, author = {Wong, Matthew K. L. and Donaldson, Alastair F.}, title = {{WebGlitch: A Randomised Testing Tool for the WebGPU API}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {39:1--39:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.39}, URN = {urn:nbn:de:0030-drops-233313}, doi = {10.4230/LIPIcs.ECOOP.2025.39}, annote = {Keywords: Fuzzing, WebGPU, WGSL, API, shaders} }
Francisco Handrick Tomaz da Costa, Ismael Medeiros, Leandro Oliveira, João Calássio, Rodrigo Bonifácio, Krishna Narasimhan, Mira Mezini, and Márcio Ribeiro. Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification (Replication Paper). In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 40:1-40:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{handricktomazdacosta_et_al:LIPIcs.ECOOP.2025.40, author = {Handrick Tomaz da Costa, Francisco and Medeiros, Ismael and Oliveira, Leandro and Cal\'{a}ssio, Jo\~{a}o and Bonif\'{a}cio, Rodrigo and Narasimhan, Krishna and Mezini, Mira and Ribeiro, M\'{a}rcio}, title = {{Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {40:1--40:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.40}, URN = {urn:nbn:de:0030-drops-233320}, doi = {10.4230/LIPIcs.ECOOP.2025.40}, annote = {Keywords: Android Malware Detection, Dynamic Analysis, Mining Android Sandboxes} }
Vasileios Klimis. Shouting at Memory: Where Did My Write Go? (Pearl/Brave New Idea). In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 41:1-41:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{klimis:LIPIcs.ECOOP.2025.41, author = {Klimis, Vasileios}, title = {{Shouting at Memory: Where Did My Write Go?}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {41:1--41:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.41}, URN = {urn:nbn:de:0030-drops-233339}, doi = {10.4230/LIPIcs.ECOOP.2025.41}, annote = {Keywords: Persistency Memory Semantics, Fuzz Testing, Model Learning} }
Cameron Moy, Ryan Jung, and Matthias Felleisen. Contract Systems Need Domain-Specific Notations (Pearl/Brave New Idea). In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 42:1-42:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{moy_et_al:LIPIcs.ECOOP.2025.42, author = {Moy, Cameron and Jung, Ryan and Felleisen, Matthias}, title = {{Contract Systems Need Domain-Specific Notations}}, booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)}, pages = {42:1--42:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-373-7}, ISSN = {1868-8969}, year = {2025}, volume = {333}, editor = {Aldrich, Jonathan and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.42}, URN = {urn:nbn:de:0030-drops-233348}, doi = {10.4230/LIPIcs.ECOOP.2025.42}, annote = {Keywords: software contracts, domain-specific languages} }
Feedback for Dagstuhl Publishing