The Vaxine system builds on decades of research into distributed database consistency, integrity and performance. In many cases, this research has been pioneered by Vaxine’s team and advisors.

This page lists a selection of papers that chart the development of the key concepts and algorithms. It is not an exhaustive list but this selection of papers and the references they cite should provide a good entry point to the research and systems that Vaxine is based on.

Research papers

Name Authors Year Link
Conflict-free Replicated Data Types (CRDTs) Nuno Preguiça, Carlos Baquero and Marc Shapiro 2011 View
Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary Cheng Li, Daniel Porto, Allen Clement, Johannes Gehrke, Nuno Preguiça and Rodrigo Rodrigues 2012 View
Calvin: Fast Distributed Transactions for Partitioned Database Systems Alexander Thomson, Thaddeus Diamond, Shu-Chun Weng, Kun Ren, Philip Shao and Daniel J. Abadi 2012 View
Spanner: Google’s Globally-Distributed Database James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, J. J. Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson Hsieh, Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd, Sergey Melnik, David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang and Dale Woodford 2013 View
Highly Available Transactions: Virtues and Limitations Peter Bailis, Aaron Davidson, Alan Fekete, Ali Ghodsi, Joseph M. Hellerstein and Ion Stoica 2013 View
SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine Marek Zawirski, Annette Bieniusa, Valter Balegas, Sérgio Duarte, Carlos Baquero, Marc Shapiro and Nuno Preguiça 2013 View
Coordination Avoidance in Database Systems Peter Bailis, Alan Fekete†, Michael J. Franklin, Ali Ghodsi, Joseph M. Hellerstein and Ion Stoica 2014 View
Scalable Atomic Visibility with RAMP Transactions Peter Bailis, Alan Fekete, Ali Ghodsi, Joseph M. Hellerstein and Ion Stoica 2014 View
Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants Valter Balegas, Sérgio Duarte, Carla Ferreira, Mahsa Najafzadeh, Nuno Preguiça, Rodrigo Rodrigues, Marc Shapiro and Diogo Serra 2015 View
Feral Concurrency Control: An Empirical Investigation of Modern Application Integrity Peter Bailis, Alan Fekete, Michael J. Franklin, Ali Ghodsi, Joseph M. Hellerstein and Ion Stoica 2015 View
Cause I’m Strong Enough: Reasoning about Consistency Choices in Distributed Systems Alexey Gotsman, Hongseok Yang, Mahsa Najafzadeh, Carla Ferreira and Marc Shapiro 2016 View
The CISE Tool: Proving Weakly-Consistent Applications Correct Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira and Marc Shapiro 2016 View
Cure: strong semantics meets high availability and low latency Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Preguiça and Marc Shapiro 2016 View
Antidote: the highly-available geo-replicated database with strongest guarantees Deepthi Devaki Akkoorath and Annette Bieniusa 2016 View
BigSets: Scaling CRDTs to large sizes in Riak Russell Brown and Torben Hoffmann 2016 View
Bringing Hybrid Consistency Closer to Programmers Gonçalo Marcelino, Valter Balegas and Carla Ferreira 2017 View
Pure Operation-Based Replicated Data Types Carlos Baquero, Paulo Sérgio Almeida and Ali Shoker 2017 View
Just-Right Consistency: reconciling availability and safety Marc Shapiro, Annette Bieniusa, Nuno Preguiça, Valter Balegas and Christopher Meiklejohn 2018 View
IPA: invariant-preserving applications for weakly consistent replicated databases Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues and Nuno Preguiça 2018 View
Delta State Replicated Data Types Paulo Sérgio Almeida, Ali Shoker and Carlos Baquero 2018 View
Anna: A KVS For Any Scale Chenggang Wu, Jose M. Faleiro, Yihan Lin and Joseph M. Hellerstein 2018 View
Interactive Checks for Coordination Avoidance Michael Whittaker and Joseph M. Hellerstein 2018 View
ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases Mathias Weber and Annette Bieniusa 2018 View
CAnDoR: Consistency Aware Dynamic data Replication Etienne Mauffret, Flavien Vernier and Sébastien Monnet 2019 View
A Generic Replicated Data Type for Strong Eventual Consistency Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter and Elisa Gonzalez Boix 2019 View
Keeping CALM: When Distributed Consistency is Easy Joseph M. Hellerstein and Peter Alvaro 2019 View
Invariant Safety for Distributed Applications" Sreeja Nair, Gustavo Petri and Marc Shapiro 2019 View
LightKone Reference Architecture (LiRA) Ali Shoker, Paulo Sergio Almeida, Carlos Baquero, Annette Bieniusa, Roger Pueyo Centelles, Pedro Akos Costa, Vitor Enes, Carla Ferreira, Pedro Fouto, Felix Freitag, Bradley King, Igor Kopestenski, Giorgos Kostopoulos, João Leitão, Adam Lindberg, Albert van der Linde, Sreeja Nair, Nuno Preguiça, Mennan Selimi, Marc Shapiro, Peer Stritzinger, Ilyas Toumlilt, Peter Van Roy, Dimitrios Vasilas, Georges Younes, Igor Zavalyshyn and Peter Zeller 2019 View
CDB: Geo-Replicated, Conflict-Free Document Database with Session Guarantees Chetan Venkatesh, Durga Gokina and Christopher S. Meiklejohn 2019 View
A Tour of Gallifrey, a Language for Geodistributed Programming Mae Milano, Rolph Recto, Tom Magrino and Andrew C. Myers 2019 View
Specification of a Transactionally and Causally-Consistent (TCC) database Saalik Hatia and Marc Shapiro 2020 View
CScript: A distributed programming language for building mixed-consistency applications Kevin De Porre, Florian Myter, Christophe Scholliers and Elisa Gonzalez Boix 2020 View
Cloudburst: Stateful Functions-as-a-Service Vikram Sreekanti, Chenggang Wu, Xiayue Charles Lin, Johann Schleier-Smith, Joseph E. Gonzalez, Joseph M. Hellerstein and Alexey Tumanov 2020 View
Transactional Causal Consistency for Serverless Computing Chenggang Wu, Vikram Sreekanti and Joseph M. Hellerstein 2020 View
Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems Susanne Braun, Annette Bieniusa and Frank Elberzhager 2021 View
Tackling Consistency-related Design Challenges of Distributed Data-Intensive Systems - An Action Research Study Susanne Braun, Stefan Deßloch, Eberhard Wolff, Frank Elberzhager and Andreas Jedlitschka 2021 View
ECROs: Building Global Scale Systems from Sequential Code Kevin De Porre, Carla Ferreira, Nuno Preguiça and Elisa Gonzalez 2021 View
It’s about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing João A. Silva, Filipe Cerqueira, Hervé Paulino, João M. Lourenço, João Leitão and Nuno Preguiça 2021 View
Thespis: Causally-consistent OLTP Joseph G. Vella and Vitezslav Nezval 2021 View
AUTOGR: automated geo-replication with fast system performance and preserved application semantics Jiawei Wang, Cheng Li, Kai Ma, Jingze Huo, Feng Yan, Xinyu Feng and Yinlong Xu 2021 View
New Directions in Cloud Programming Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein and Mae Milano 2021 View
Highly-Available and Consistent Group Collaboration at the Edge with Colony Ilyas Toumlilt, Pierre Sutra and Marc Shapiro 2021 View