Literature
ElectricSQL builds on decades of research into distributed database technology. Some of which was authored by our team and advisors.
Edit this page
If you'd like to suggest a paper or an edit to make to this page, please submit a pull‑request.
Research papers
This page lists a non-exhaustive selection of papers that chart the development of some of the concepts and algorithms that ElectricSQL and other systems are based on.
2011
- Conflict-free Replicated Data Types (CRDTs) by Nuno Preguiça, Carlos Baquero and Marc Shapiro
- Don’t Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS by Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky and David G. Andersen
2012
- Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary by Cheng Li, Daniel Porto, Allen Clement, Johannes Gehrke, Nuno Preguiça and Rodrigo Rodrigues
- Calvin: Fast Distributed Transactions for Partitioned Database Systems by Alexander Thomson, Thaddeus Diamond, Shu-Chun Weng, Kun Ren, Philip Shao and Daniel J. Abadi
2013
- Spanner: Google’s Globally-Distributed Database by 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
- Highly Available Transactions: Virtues and Limitations by Peter Bailis, Aaron Davidson, Alan Fekete, Ali Ghodsi, Joseph M. Hellerstein and Ion Stoica
- SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine by Marek Zawirski, Annette Bieniusa, Valter Balegas, Sérgio Duarte, Carlos Baquero, Marc Shapiro and Nuno Preguiça
2014
- Coordination Avoidance in Database Systems by Peter Bailis, Alan Fekete†, Michael J. Franklin, Ali Ghodsi, Joseph M. Hellerstein and Ion Stoica
- Scalable Atomic Visibility with RAMP Transactions by Peter Bailis, Alan Fekete, Ali Ghodsi, Joseph M. Hellerstein and Ion Stoica
2015
- Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants by Valter Balegas, Sérgio Duarte, Carla Ferreira, Mahsa Najafzadeh, Nuno Preguiça, Rodrigo Rodrigues, Marc Shapiro and Diogo Serra
- Feral Concurrency Control: An Empirical Investigation of Modern Application Integrity by Peter Bailis, Alan Fekete, Michael J. Franklin, Ali Ghodsi, Joseph M. Hellerstein and Ion Stoica
2016
- Cause I’m Strong Enough: Reasoning about Consistency Choices in Distributed Systems by Alexey Gotsman, Hongseok Yang, Mahsa Najafzadeh, Carla Ferreira and Marc Shapiro
- The CISE Tool: Proving Weakly-Consistent Applications Correct by Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira and Marc Shapiro
- Cure: strong semantics meets high availability and low latency by Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Preguiça and Marc Shapiro
- Antidote: the highly-available geo-replicated database with strongest guarantees by Deepthi Devaki Akkoorath and Annette Bieniusa
- BigSets: Scaling CRDTs to large sizes in Riak by Russell Brown and Torben Hoffmann
2017
- Bringing Hybrid Consistency Closer to Programmers by Gonçalo Marcelino, Valter Balegas and Carla Ferreira
- Pure Operation-Based Replicated Data Types by Carlos Baquero, Paulo Sérgio Almeida and Ali Shoker
2018
- Just-Right Consistency: reconciling availability and safety by Marc Shapiro, Annette Bieniusa, Nuno Preguiça, Valter Balegas and Christopher Meiklejohn
- IPA: invariant-preserving applications for weakly consistent replicated databases by Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues and Nuno Preguiça
- Delta State Replicated Data Types by Paulo Sérgio Almeida, Ali Shoker and Carlos Baquero
- Anna: A KVS For Any Scale by Chenggang Wu, Jose M. Faleiro, Yihan Lin and Joseph M. Hellerstein
- Interactive Checks for Coordination Avoidance by Michael Whittaker and Joseph M. Hellerstein
- ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases by Mathias Weber and Annette Bieniusa
2019
- CAnDoR: Consistency Aware Dynamic data Replication by Etienne Mauffret, Flavien Vernier and Sébastien Monnet
- A Generic Replicated Data Type for Strong Eventual Consistency by Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter and Elisa Gonzalez Boix
- Keeping CALM: When Distributed Consistency is Easy by Joseph M. Hellerstein and Peter Alvaro
- Invariant Safety for Distributed Applications" by Sreeja Nair, Gustavo Petri and Marc Shapiro
- LightKone Reference Architecture (LiRA) by 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
- CDB: Geo-Replicated, Conflict-Free Document Database with Session Guarantees by Chetan Venkatesh, Durga Gokina and Christopher S. Meiklejohn
- A Tour of Gallifrey, a Language for Geodistributed Programming by Mae Milano, Rolph Recto, Tom Magrino and Andrew C. Myers
- Local-First Software: You Own Your Data, in spite of the Cloud by Martin Kleppmann, Adam Wiggins, Peter van Hardenberg and Mark McGranaghan
2020
- Specification of a Transactionally and Causally-Consistent (TCC) database by Saalik Hatia and Marc Shapiro
- CScript: A distributed programming language for building mixed-consistency applications by Kevin De Porre, Florian Myter, Christophe Scholliers and Elisa Gonzalez Boix
- Cloudburst: Stateful Functions-as-a-Service by Vikram Sreekanti, Chenggang Wu, Xiayue Charles Lin, Johann Schleier-Smith, Joseph E. Gonzalez, Joseph M. Hellerstein and Alexey Tumanov
- Transactional Causal Consistency for Serverless Computing by Chenggang Wu, Vikram Sreekanti and Joseph M. Hellerstein
- Conflict-Free Replicated Relations for Multi-Synchronous Database Management at Edge by Weihai Yu and Claudia-Lavinia Ignat
2021
- Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems by Susanne Braun, Annette Bieniusa and Frank Elberzhager
- Tackling Consistency-related Design Challenges of Distributed Data-Intensive Systems - An Action Research Study by Susanne Braun, Stefan Deßloch, Eberhard Wolff, Frank Elberzhager and Andreas Jedlitschka
- ECROs: Building Global Scale Systems from Sequential Code by Kevin De Porre, Carla Ferreira, Nuno Preguiça and Elisa Gonzalez
- It’s about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing by João A. Silva, Filipe Cerqueira, Hervé Paulino, João M. Lourenço, João Leitão and Nuno Preguiça
- Thespis: Causally-consistent OLTP by Joseph G. Vella and Vitezslav Nezval
- AUTOGR: automated geo-replication with fast system performance and preserved application semantics by Jiawei Wang, Cheng Li, Kai Ma, Jingze Huo, Feng Yan, Xinyu Feng and Yinlong Xu
- New Directions in Cloud Programming by Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein and Mae Milano
- Highly-Available and Consistent Group Collaboration at the Edge with Colony by Ilyas Toumlilt, Pierre Sutra and Marc Shapiro
- Towards a General Database Management System of Conflict-Free Repli- cated Relations by Iver Toft Tomter
2022
- Building data-centric apps with a reactive relational database by Nicholas Schiefer, Geoffrey Litt, Johannes Schickling and Daniel Jackson
- VeriFx: Correct Replicated Data Types for the Masses by Kevin De Porre, Carla Ferreira and Elisa Gonzalez Boix