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
  • Since

    01st February 2016
  • Nationality

    Portugal
  • Contacts

    +351253604440
    vitor.m.duarte@inesctec.pt
002
Publications

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

2017

Practical evaluation of the Lasp programming model at large scale

Authors
Meiklejohn, CS; Enes, V; Yoo, J; Baquero, C; Roy, PV; Bieniusa, A;

Publication
ACM International Conference Proceeding Series

Abstract
Programming models for building large-scale distributed applications assist the developer in reasoning about consistency and distribution. However, many of the programming models for weak consistency, which promise the largest scalability gains, have little in the way of evaluation to demonstrate the promised scalability. We present an experience report on the implementation and largescale evaluation of one of these models, Lasp, originally presented at PPDP '15, which provides a declarative, functional programming style for distributed applications. We demonstrate the scalability of Lasp's prototype runtime implementation up to 1024 nodes in the Amazon cloud computing environment. It achieves high scalability by uniquely combining hybrid gossip with a programming model based on convergent computation. We report on the engineering challenges of this implementation and its evaluation, specifically related to operating research prototypes in a production cloud environment. © 2017 Copyright held by the owner/author(s).