- Dina Borrego, Nuno M. Preguiça, Elisa Gonzalez Boix, Carla Ferreira 0001. Ensuring Convergence and Invariants Without Coordination (Artifact). DARTS, 11(2), 2025.
- 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 (Artifact). DARTS, 11(2), 2025.
- Soumik Kumar Basu, Jyothi Vedurada. GSOHC: Global Synchronization Optimization for Heterogeneous Computing (Artifact). DARTS, 11(2), 2025.
- Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi. Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design (Artifact). DARTS, 11(2), 2025.
- Martin Skoudlil, Michal Sojka. A First Look at ROS 2 Applications Written in Asynchronous Rust (Artifact). DARTS, 11(1), 2025.
- Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone. Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction (Artifact). DARTS, 11(2), 2025.
- Kasra Ferdowsi, Hila Peleg. Bottom-Up Synthesis of Memory Mutations with Separation Logic (Artifact). DARTS, 11(2), 2025.
- David Binder, Lean Ermantraut. The Algebra of Patterns - Rocq Proofs (Artifact). DARTS, 11(2), 2025.
- Riccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, Einar Broch Johnsen. Declarative Dynamic Object Reclassification (Artifact). DARTS, 11(2), 2025.
- Andreas Finkenzeller, Andrew Roberts, Mauro Bellone, Olaf Maennel, Mohammad Hamad, Sebastian Steinhorst. Sensor Fusion Desynchronization Attacks (Artifact). DARTS, 11(1), 2025.