activity
20072023
most citedCRDTs: Consistency without concurrency control

36 citations · 176 across the 19 of their papers we have counts for

collaborators

20 papers

cs.DC2023

JepREST: Functional tests for distributed REST applications

Sara Simoes, Ana Ribeiro, Carla Ferreira +1

Application services often support mobile and web applications with REST interfaces, implemented using a set of distributed components that interact with each other. This approach…

cs.DC2022★ 2 cited

Babel: A Framework for Developing Performant and Dependable Distributed Protocols

Pedro Fouto, Pedro Ákos Costa, Nuno Preguiça +1

Prototyping and implementing distributed algorithms, particularly those that address challenges related with fault-tolerance and dependability, is a time consuming task. This is, i…

cs.DC2022

Geo-located data for better dynamic replication

Luís M. Silva, Frederico Aleixo, Albert van der Linde +2

An increasing number of mobile applications share location-dependent information, from collaborative applications and social networks to location-based games. For such applications…

cs.DC2020

Lazy State Determination: More concurrency for contending linearizable transactions

Tiago M. Vale, João Leitão, Nuno Preguiça +3

The concurrency control algorithms in transactional systems limits concurrency to provide strong semantics, which leads to poor performance under high contention. As a consequence,…

cs.DB2019★ 4 cited

Antidote SQL: Relaxed When Possible, Strict When Necessary

Pedro Lopes, João Sousa, Valter Balegas +5

Geo-replication poses an inherent trade-off between low latency, high availability and strong consistency. While NoSQL databases favor low latency and high availability, relaxing c…

cs.DC2018★ 17 cited

Conflict-free Replicated Data Types: An Overview

Nuno Preguiça

Internet-scale distributed systems often replicate data at multiple geographic locations to provide low latency and high availability, despite node and network failures. Geo-replic…

cs.DC2018

Conflict-free Replicated Data Types (CRDTs)

Nuno Preguiça, Carlos Baquero, Marc Shapiro

A conflict-free replicated data type (CRDT) is an abstract data type, with a well defined interface, designed to be replicated at multiple processes and exhibiting the following pr…

cs.DC2018★ 8 cited

Towards Enabling Novel Edge-Enabled Applications

João Leitão, Pedro Ákos Costa, Maria Cecília Gomes +1

Edge computing has emerged as a distributed computing paradigm to overcome practical scalability limits of cloud computing. The main principle of edge computing is to leverage on c…

cs.DC2018★ 1 cited

IPA: Invariant-preserving Applications for Weakly-consistent Replicated Databases

Valter Balegas, Nuno Preguiça, Sérgio Duarte +2

Storage systems based on Weak Consistency provide better availability and lower latency than systems that use Strong Consistency, especially in geo-replicated settings. However, un…

cs.DC2018★ 6 cited

Just-Right Consistency: reconciling availability and safety

Marc Shapiro, Annette Bieniusa, Nuno Preguiça +2

By the CAP Theorem, a distributed data storage system can ensure either Consistency under Partition (CP) or Availability under Partition (AP), but not both. This has led to a split…

cs.DC2017

Time-Aware Publish/Subscribe for Networks of Mobile Devices

João A. Silva, Hervé Paulino, João M. Lourenço +2

Smart mobile devices are increasingly ubiquitous and are the primary source of user-generated content, and current communication infrastructures are failing in keeping up with the…

cs.DC2017★ 1 cited

Non-uniform Replication

Gonçalo Cabrita, Nuno Preguiça

Replication is a key technique in the design of efficient and reliable distributed systems. As information grows, it becomes difficult or even impossible to store all information a…

cs.DC2015

Eventually Consistent Register Revisited

Marek Zawirski, Carlos Baquero, Annette Bieniusa +2

In order to converge in the presence of concurrent updates, modern eventually consistent replication systems rely on causality information and operation semantics. It is relatively…

cs.DC2015★ 11 cited

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants

Valter Balegas, Diogo Serra, Sérgio Duarte +5

Geo-replicated databases often operate under the principle of eventual consistency to offer high-availability with low latency on a simple key/value store abstraction. Recently, so…

cs.DC2013

SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine

Marek Zawirski, Annette Bieniusa, Valter Balegas +4

Client-side logic and storage are increasingly used in web and mobile applications to improve response time and availability. Current approaches tend to be ad-hoc and poorly integr…

cs.DC2013★ 11 cited

Non-Monotonic Snapshot Isolation

Masoud Saeida Ardekani, Pierre Sutra, Nuno Preguiça +1

Many distributed applications require transactions. However, transactional protocols that require strong synchronization are costly in large scale environments. Two properties help…

cs.DC2012★ 32 cited

An optimized conflict-free replicated set

Annette Bieniusa, Marek Zawirski, Nuno Preguiça +4

Eventual consistency of replicated data supports concurrent updates, reduces latency and improves fault tolerance, but forgoes strong consistency. Accordingly, several cloud comput…

cs.DC2010★ 14 cited

Dotted Version Vectors: Logical Clocks for Optimistic Replication

Nuno Preguiça, Carlos Baquero, Paulo Sérgio Almeida +2

In cloud computing environments, a large number of users access data stored in highly available storage systems. To provide good performance to geographically disperse users and al…

cs.DC2009★ 36 cited

CRDTs: Consistency without concurrency control

Mihai Letia, Nuno Preguiça, Marc Shapiro

A CRDT is a data type whose operations commute when they are concurrent. Replicas of a CRDT eventually converge without any complex concurrency control. As an existence proof, we e…

cs.DC2007★ 33 cited

Designing a commutative replicated data type

Marc Shapiro, Nuno Preguiça

Commuting operations greatly simplify consistency in distributed systems. This paper focuses on designing for commutativity, a topic neglected previously. We show that the replicas…