Publications of Marc Shapiro

Selected papers and presentations: (Almost) Full list, by topic: Author pages in public archives:



“Living on the edge, safely”, Collège de France , 12 May 2019. Closing symposium of Rachid Guerraoui's course on distributed algorithms “Just-Right Consistency and Antidote”, dotScale, 1 June 2018
Just-Right Consistency explained
The CISE approach for proving a distributed application correct
Strong Eventual Consistency and Conflict-free Replicated Data Types (Microsoft Research talk, August 2011)

Major publications

In reverse chronological order:

Recent papers

Concurrent algorithms in shared memory

Verification of distributed data systems

Conflict-free Replicated Data Types (CRDTs)

Strong consistency

Causal or eventual consistency; geo-replication

Reconciliation of divergent replicas

Persistent Distributed Store

Garbage Collection for Cached Stores and Distributed Shared Memory:

Garbage Collection in a Classical Distributed System:

Distributed Objects:

Other research:

Organising the Systems research community in Europe:

(See also the ACM Europe Council, as well as EuroSys, the European professional society in Systems, and SIGOPS, the ACM Special Interest Group on Operating Systems.)
Marc.Shapiro =at=