Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.

【BAYES COFFEE HOUSE TECH TALK SERIES】CRDTs: State-based approaches to high availability

Carlos Baquero will give a talk, in person and online, for the Coffee House Tech Talk Series. 

The details of the talk are below. A lunch will be provided after the talk.


Title: CRDTs: State-based approaches to high availability

Speaker: Carlos Baquero

When: 11am Tue 4 July

Where: 4th floor Bayes Centre, Coffee House


External link:

Meeting ID: 98055933

Passcode: 493142



Distributed systems are inherently complex and exposed to failures in their components. While distributed algorithms try to do their best in handling node and network failures, it is often not possible to mask them. In the presence of

failures, systems that thrive for high availability need to allow users to always submit operations and observe the local state (ensuring local-first), leading to potential divergence. Designs with Conflict-free Replicated Data Types (CRDTs) have been used extensively to guarantee that it is possible to converge to a state that reflects concurrent operations.



Carlos Baquero is a Professor in the Department of Informatics Engineering within FEUP, and area coordinator at the High Assurance Laboratory (HASLab) within INESC TEC. He currently teaches courses in Operating Systems and in Large Scale Distributed Systems. Research interests cover data management in eventual consistent settings, distributed data aggregation and causality tracking. He worked in the development of data summary mechanisms such as Scalable Bloom Filters, causality tracking for dynamic settings with Interval Tree Clocks and Dotted Version Vectors and predictable eventual consistency with Conflict-Free Replicated Data Types. Most of this research has been applied in industry, namely in the Riak distributed database, Redis CRDBs, Akka distributed data and Microsoft Azure Cosmos DB.


Report this page

To report inappropriate content on this page, please use the form below. Upon receiving your report, we will be in touch as per the Take Down Policy of the service.

Please note that personal data collected through this form is used and stored for the purposes of processing this report and communication with you.

If you are unable to report a concern about content via this form please contact the Service Owner.

Please enter an email address you wish to be contacted on. Please describe the unacceptable content in sufficient detail to allow us to locate it, and why you consider it to be unacceptable.
By submitting this report, you accept that it is accurate and that fraudulent or nuisance complaints may result in action by the University.