Selected Publications

[all publications]

. State-Machine Replication for Planet-Scale Systems. EuroSys, 2020.

PDF DOI Video Slides Extended Version (arXiv) Metadata Blog

. Efficient Synchronization of State-based CRDTs. ICDE, 2019.

PDF DOI Code Slides Blog The Morning Paper


[all posts]

A series on making the Paxos protocol incorrect. Part I explains why we would want to do that.

An introduction to causal consistency and causal stability.

This is a transcript of the ICDE’19 talk, briefly explaining the main idea behind the paper.

Conflict-freeness is not always natural, and sometimes CRDTs need to force it.