ECOOP 2026
Mon 29 June - Fri 3 July 2026 Brussels, Belgium
Wed 1 Jul 2026 12:07 - 12:30 at I.2.03 - Concurrency Chair(s): António Ravara

Persistent Memory offers byte-addressable persistence but exposes developers to new concurrency bugs — persistency-induced races — where a thread might read unpersisted data, potentially leading to inconsistencies after crashes. Existing tools face important practical limitations: they either require exhaustive exploration of thread interleavings, depend on application-specific semantics or specialized testing drivers, or report many interleavings that do not correspond to real persistency-induced races. This paper introduces a hybrid approach for detecting persistency-induced races that overcomes these limitations. Our method operates without application-specific knowledge and does not require observing the exact racy interleaving during testing. Instead, by precisely extending the detection window around persistent memory accesses, we can infer the existence of racy interleavings whenever conflicting executions are observed. Our evaluation across multiple applications found bugs (7 new) demonstrating that our approach provides a principled and practical foundation for detecting persistency-induced races.

Wed 1 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:00 - 12:30
ConcurrencyTechnical Papers at I.2.03
Chair(s): António Ravara Nova University of Lisbon
11:00
22m
Talk
A Complete Program Logic for Compositional LinearizabilityDistinguished paper award
Technical Papers
Eashan Hatti Yale University, Arthur Oliveira Vale Yale University, Zhongye Wang Yale University, Yueyang Feng Yale University, Zhong Shao Yale University
11:22
22m
Talk
Foundational and Compositional Verification of Layered Concurrent Objects
Technical Papers
Yicheng Ni , Yuting Wang Shanghai Jiao Tong University
11:45
22m
Talk
Verifying wait-freedom for concurrent higher-order programs
Technical Papers
Egor Namakonov , Lars Birkedal Aarhus University, Amin Timany Aarhus University
12:07
22m
Talk
Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs
Technical Papers
João Gonçalves IST U. Lisboa & INESC-ID, Miguel Matos IST, INESC-ID, U. Lisboa, Rodrigo Rodrigues Instituto Superior Técnico, U. Lisboa & INESC-ID, José Fragoso Santos INESC-ID; Instituto Superior Técnico - University of Lisbon