Volume 25, no. 1 ( 2026)

ECOOP 2025 Workshops

Editorial

• Clément Aubert, Volker Stolz, ECOOP Workshop Post-Proceedings, pp. 1-2, DOI.

Preface

• Crystal Chang Din, FTfJP 2025 – Formal Techniques for Judicious Programming: Preface, pp. 1-2, DOI.

Articles

• Jonathan Aldrich, Gradual Verification: Assuring Software Incrementally, pp. 1:1-1, DOI.
• Songyan Lai, Rosemary Monahan, FRET2WEST: Exploring translation between temporal logic representations, pp. 1:1-18, DOI.
• Bart Jacobs, Justus Fasse, An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model, pp. 1:1-13, DOI.
• Bart Jacobs, VeriFast's separation logic: a logic without laters for modular verification of fine-grained concurrent programs, pp. 1:1-10, DOI.
• Andrew Butterfield, Towards a Unifying Semantics Playground, pp. 1:1-13, DOI.

Preface

• Burcu Kulahcioglu Ozkan, Tom Lauwaerts, DEBT 2025 – Third Workshop on Future Debugging Techniques: Preface, pp. 1-1, DOI.

Articles

• Sebastian Erdweg, Live Feedback through Incremental Program Analysis, pp. 1:1-1, DOI.
• Grigorii Emdin, Dmitrii Kirkhmeier, Nikita Koval, Automatic Data Structures Visualization in IntelliJ IDEA, pp. 1:1-6, DOI.
• Björn Ruytenberg, Mohammad Sina Karvandi, HyperEvade: Countering Anti-Debugging Techniques and Enhancing Transparency in Nested Virtualization using HyperDbg, pp. 1:1-3, DOI.
• Dmitrii Artiukhov, Bob Brockbernd, Evgeniia Fedotova, Nikita Koval, Ivan Kylchik, Evgenii Moiseenko, Lev Serebryakov, Evgeniy Zhelenskiy, Maksim Zuev, Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin, pp. 1:1-5, DOI.

Preface

• Mikhail Barash, Yulia Startsev, Programming Language Standardization and Specification Workshop Report, pp. 1-8, DOI.

Articles

• Saumya Shankar, Thierry Jéron, Prisha Srinidi, Srinivas Pinisetty, Bounded Serial Compositional Runtime Enforcement, pp. 1:1-19, DOI.

Preface

• Andrea Rosà, Paulo Ferreira, ICOOOLPS 2025 – Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems: Preface, pp. 1-2, DOI.

Articles

• Eric Jul, Implementing Object Tracking in the Emerald Object-Oriented Language, pp. 1:1-1, DOI.
• Matyáš Brabec, Jiří Klepl, Martin Kruliš, Cellato: a DSL for Cellular Automata based on C++ Template Meta-programming, pp. 1:1-13, DOI.
• Aurélien Coet, Didier Buchs, Revisiting Borrow Checking with Abstract Interpretation, pp. 1:1-16, DOI.
• Octave Larose, Michael Vollmer, Stefan Marr, AST, Bytecode, and the Space In Between: An Exploration of Interpreter Design Tradeoffs, pp. 1:1-15, DOI.
• Christoph Jung, CF Bolz-Tereick, Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine, pp. 1:1-12, DOI.