| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Sat, 19 Aug 2023 09:09:57 GMT
access-control-allow-origin: *
etag: W/"64e086e5-5f1e"
expires: Sat, 17 Jan 2026 23:38:07 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: F966:3AC0E8:176AC4:1B7E32:696C1AFD
accept-ranges: bytes
age: 0
date: Sat, 17 Jan 2026 23:28:07 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210096-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768692487.144722,VS0,VE243
vary: Accept-Encoding
x-fastly-request-id: a942e9a20d4624230c447cdb44a866fc4eddf52f
content-length: 5487
Vitor Enes
Selected Publications
[all publications]
Vitor Enes, Carlos Baquero, Alexey Gotsman, Pierre Sutra.
Efficient Replication via Timestamp Stability.
EuroSys,
2021.
Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman, Matthieu Perrin, Pierre Sutra.
State-Machine Replication for Planet-Scale Systems.
EuroSys,
2020.
Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, João Leitão.
Efficient Synchronization of State-based CRDTs.
ICDE,
2019.
Blog
[all posts]
Paxos Made Wrong (part I)
A series on making the Paxos protocol incorrect. Part I explains why we would want to do that.
3 min read
Fault-tolerant Causal Stability (part I)
An introduction to causal consistency and causal stability.
5 min read
Efficient Synchronization of State-based CRDTs
This is a transcript of the ICDE’19 talk, briefly explaining the main idea behind the paper.
11 min read
Genuine vs Artificial Conflict-freeness
Conflict-freeness is not always natural, and sometimes CRDTs need to force it.
3 min read