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