ERC Consolidator Grant · 2025
Foundations of Weakly Consistent Objects for Shared-Memory Programming
Despite being intuitive, strong consistency necessitates frequent global coordination, significantly limiting the scalability of concurrent systems. In shared-memory programming, the need to relax the consistency guarantees has long been recognized, spurring extensive research and driving the adoption of weak memory models in programming languages. However, the situation is markedly different at the level of concurrent objects. For objects---designed to provide common functionalities to clients without requiring knowledge of the internal implementation---linearizability remains the de facto standard, leaving programmers with limited means to use formally specified objects free from the…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.