Publications

Publications by Paulo Sérgio Almeida

2012

Brief announcement: Efficient causality tracking in distributed storage systems with dotted version vectors

Authors
Preguica, N; Bauqero, C; Almeida, PS; Fonte, V; Goncalves, R;

Publication
Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Abstract
Version vectors (VV) are used pervasively to track dependencies between replica versions in multi-version distributed storage systems. In these systems, VV tend to have a dual functionality: identify a version and encode causal dependencies. In this paper, we show that by maintaining the identifier of the version separate from the causal past, it is possible to verify causality in constant time (instead of O(n) for VV) and to precisely track causality with information with size bounded by the degree of replication, and not by the number of concurrent writers. © 2012 Authors.

CloseRead Abstract

2020

A Case for Partitioned Bloom Filters

Authors
Almeida, PS;

Publication
CoRR

Abstract

2020

Age-Partitioned Bloom Filters

Authors
Shtul, A; Baquero, C; Almeida, PS;

Publication
CoRR

Abstract

2017

Pure Operation-Based Replicated Data Types

Authors
Baquero, C; Almeida, PS; Shoker, A;

Publication
CoRR

Abstract

2023

Approaches to Conflict-free Replicated Data Types

Authors
Almeida, PS;

Publication
CoRR

Abstract

2024

The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type

Authors
Almeida, PS; Shapiro, E;

Publication
CoRR

Abstract

Read Full Publication