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
    Explore Interest Topics
    Details

    Details

    • Name

      Vítor Manuel Duarte

    • Cluster

      Computer Science

    • Role

      Research Assistant

    • Since

      01st February 2016
    002
    Publications
    View all 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

    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

    Read Full Publication

    2019

    Efficient Synchronization of State-based CRDTs

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

    Publication
    CoRR

    Abstract

    Read Full Publication

    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.

    CloseRead AbstractRead Full Publication

    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

    Read Full Publication