Carlos Baquero — Synchronizing State-Based CRDTs: Two-Party, Multi-Party, and AI-Discovered Protocols
Conflict-free Replicated Data Types (CRDTs) let replicas evolve independently and still converge, but keeping them synchronized efficiently is a problem in its own right. This talk follows a single thread from foundations to the research frontier. We start with state-based CRDTs and the observation that their states admit join decompositions, which recasts synchronization as reconciling sets of irreducible components. From there we build up reconciliation itself: first the two-party case, where digest-driven techniques such as rateless Bloom filters and invertible Bloom lookup tables transfer only what differs, saving an order of magnitude over full-state exchange; then the harder multi-party setting, where network topology and forwarding strategy reshape the trade-offs. Finally, we turn the problem on its head: instead of hand-designing these protocols, can an AI agent discover them? We show how an autoresearch loop — edit, evaluate, keep or revert over a faithful simulator — autonomously finds multi-party protocols within a few percent of theoretical bounds.
Antonio Fernandez — A Modular Event-based Framework for Concurrent Object Specification
We introduce a modular framework for specifying distributed systems that we call AMECOS. Specifically, our framework departs from the traditional use of sequential specification, which presents limitations both on the specification expressiveness and implementation efficiency of inherently concurrent objects, as documented by Castañeda, Rajsbaum and Raynal in CACM 2023. Our framework focuses on the interactions between the various system components, specified as concurrent objects. Interactions are described with sequences of object events. This provides a modular way of specifying distributed systems and separates legality (object semantics) from other issues, such as consistency. We demonstrate the usability of our framework by (i) specifying various well-known concurrent objects, such as registers, shared memory, message-passing, reliable broadcast, and consensus, (ii) providing hierarchies of ordering semantics (namely, consistency hierarchy, memory hierarchy, and reliable broadcast hierarchy), and (iii) presenting a novel axiomatic proof of the impossibility of the well-known Consensus problem.
Claudia-Lavinia Ignat — Sequence-Based CRDTs for Collaborative Editing Systems
Collaborative editing systems must support concurrent, low-latency work while maintaining a consistent shared document. This talk will briefly trace their evolution, introduce sequence-based Conflict-free Replicated Data Types (CRDTs) as a key replication mechanism for collaborative editing, and open broader perspectives on future distributed collaborative systems.
Carla Ferreira — TBD
TBD.
Davide Frey — Byzantine Fault Tolerance: From Foundations to Current Perspectives
In 1982, Leslie Lamport and his co-authors introduced the Byzantine Generals Problem as a way to model arbitrary process behavior caused by bugs or malicious actions. Byzantine fault tolerance later received renewed attention with the emergence of blockchain systems, alongside specialized applications in security-critical computing, avionics, and spacecraft design.
This lecture will introduce the foundations of Byzantine fault tolerance, starting with the system models, fault assumptions, and communication primitives on which Byzantine-resilient protocols are built. It will review several fundamental results on reliable broadcast and consensus, highlighting the role of synchrony assumptions and resilience bounds. It will conclude with a research perspective on the use of weak agreement abstractions in Byzantine settings and on how such abstractions may enable more scalable protocols for open and decentralized systems. In particular, it will discuss how recent systems increasingly seek to avoid global agreement when weaker, more localized abstractions are sufficient.
Elisa Gonzalez Boix — TBD
TBD.
Ragnar Mogk — Protocol RDTs: Programs as Replicated Data
Protocol RDTs extend the concept of replicated data types by treating programs—not just data—as the replicated entity. This approach captures both state and behaviour, enabling systems to enforce application-level correctness under weak consistency. The talk presents the foundations of Protocol RDTs and demonstrates how they enable expressive, coordination-free distributed programming.
Fernando Pedone — Is Synchrony Back? A Path to Efficient and Sustainable Replication
For decades, distributed systems researchers have treated synchrony as an unrealistic assumption. After all, how can a protocol rely on timing guarantees in a world of unpredictable networks and arbitrary delays? But what if this conventional wisdom no longer holds?
In this talk, I will revisit one of the oldest assumptions in distributed computing through the lens of modern public clouds. Drawing on an extensive measurement study across multiple cloud providers and geographic regions, I will show that communication delays are often far more predictable than commonly believed, particularly for small messages.
Motivated by these findings, I will explore what becomes possible when synchrony is treated not as a theoretical convenience, but as a practical design tool. I will illustrate these ideas with SyncPaxos, a synchronous variant of Paxos, along with several extensions that exploit characteristics of public cloud infrastructures. We will examine their performance, their robustness to timing violations, and the trade-offs they make compared to traditional partially synchronous approaches.
The talk will argue that synchrony is not a relic of textbook models, but an increasingly practical foundation for cloud-scale distributed systems. Beyond improving performance, synchronous protocols can reduce protocol complexity, eliminate costly recovery mechanisms, and enable more resource-efficient replication. In this sense, synchrony may offer a path toward not only faster but also more sustainable distributed systems.
Guido Salvaneschi — Taming the Distributed Systems Beast with Programming Languages
Distributed systems are notoriously hard to design, implement and deploy. In this talk, we argue that programming languages are a fundamental tool to tackle the complexity of distributed systems.
We first discuss concrete examples of how abstractions offered by programming languages have been fundamental in solving problems in distributed systems. Then we discuss recent research results in this area, such as abstractions for data consistency and behavioral types for distributed applications. Finally, we outlook promising research directions.
Marc Shapiro — Availability vs consistency, from CRDT to Consensus
Consistency boils down to maintaining data invariants (i.e., specified properties over data items, including derived and replicated items), despite asynchrony, concurrent updates, and failures. Availability means that the distributed program is not blocked waiting to resolve a consistency conflict.
This talk revisits the consistency-vs.-availability trade-off of maintaining consistency at the minimal cost in availability. Our approach is to identify general classes of invariants and the associated minimal-cost availability protocol. Thus we distinguish: (1) Local invariants that have no availability impact, requiring only that updates converge, e.g., by using CRDTs. (2) All-or-nothing constraints, requiring additionally that each replica delivers and reads atomically. (3) Implication constraints, which require causal delivery. These three classes are both available and partition-tolerant.
The remaining class, (4) TOCTTOU-sensitive updates, requires them to be applied in a total order. We present CISE, a program analysis that detects harmful TOCTTOU. We also discuss two opposing approaches to total order: a posteriori, available at the cost of rollback, vs. a priori, consensus-based. Finally, we consider the stability of updates, i.e. when they are known to be applied at all replicas.
Tom Van Cutsem — Introduction to Blockchain and Distributed Ledgers
Blockchain and distributed ledger technology (DLT) are key enabling technologies for building open, resilient and secure distributed transaction processing systems. This introductory lecture will provide you with an up-to-date view on both the foundations and open challenges in the field. We will cover: the origins of Blockchain, the cryptographic building blocks of blockchains, how blockchain networks process transactions, consensus in blockchain networks: Proof-of-Work, Proof-of-Stake and BFT Consensus, “permissioned” versus “permissionless” blockchain networks, programming blockchains using smart contracts and latest trends.
