Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About

About

I'm a MSc student at the Department of Informatics of the University of Minho, supervised by Professor Carlos Baquero, and hosted by HASLab, INESC TEC. I've been granted two internships from HASLab and from NOVA University of Lisbon to pursue my research, mainly within my MSc program and the EU FP7 SyncFree project, which was partially published at ECOOP PMLDC’16 workshop in Italy. I hold a Bachelor degree in Computer Science from University of Minho as well. I'm working on Distributed Systems (Eventual Consistency), but I also enjoy Formal Methods (although I know very little about them). I hope that, one day, I can work on both of them to make Distributed Systems work better..

Interest
Topics
Details

Details

  • Name

    Vítor Manuel Duarte
  • Cluster

    Computer Science
  • Role

    Research Assistant
  • Since

    01st February 2016
002
Publications

2021

Efficient replication via timestamp stability

Authors
Enes, V; Baquero, C; Gotsman, A; Sutra, P;

Publication
EuroSys '21: Sixteenth European Conference on Computer Systems, Online Event, United Kingdom, April 26-28, 2021

Abstract
Modern web applications replicate their data across the globe and require strong consistency guarantees for their most critical data. These guarantees are usually provided via state-machine replication (SMR). Recent advances in SMR have focused on leaderless protocols, which improve the availability and performance of traditional Paxos-based solutions. We propose Tempo - a leaderless SMR protocol that, in comparison to prior solutions, achieves superior throughput and offers predictable performance even in contended workloads. To achieve these benefits, Tempo timestamps each application command and executes it only after the timestamp becomes stable, i.e., all commands with a lower timestamp are known. Both the timestamping and stability detection mechanisms are fully decentralized, thus obviating the need for a leader replica. Our protocol furthermore generalizes to partial replication settings, enabling scalability in highly parallel workloads. We evaluate the protocol in both real and simulated geo-distributed environments and demonstrate that it outperforms state-of-the-art alternatives. © 2021 ACM.

2020

State-machine replication for planet-scale systems

Authors
Enes, V; Baquero, C; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;

Publication
EuroSys '20: Fifteenth EuroSys Conference 2020, Heraklion, Greece, April 27-30, 2020

Abstract

2019

Efficient Synchronization of State-based CRDTs

Authors
Enes, V; Almeida, PS; Baquero, C; Leitao, J;

Publication
CoRR

Abstract

2017

Borrowing an Identity for a Distributed Counter: Work in progress report

Authors
Enes, V; Baquero, C; Almeida, PS; Leitao, J;

Publication
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017

Abstract
Conflict-free Replicated Data Types (CRDTs) are data abstractions (registers, counters, sets, maps, among others) that provide a relaxed consistency model called Eventual Consistency. Current designs for CRDT counters do not scale, having a size linear with the number of both active and retired nodes (i.e., nodes that leave the system permanently after previously manipulating the value of the counter). In this paper we present a new counter design called Borrow-Counter, that provides a mechanism for the retirement of transient nodes, keeping the size of the counter linear with the number of active nodes. © 2017 ACM.

2017

The Single-Writer Principle in CRDT Composition

Authors
Enes, V; Almeida, PS; Baquero, C;

Publication
Proceedings of the Programming Models and Languages for Distributed Computing on - PMLDC '17

Abstract