ECOOP 2025 Workshops
Editorial
Preface
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
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
Articles
Preface
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.