Banyan: Coordination-Free Distributed Transactions over Mergeable Types
Abstract elided by the publisher.
Related papers
- Certified mergeable replicated data types PLDI 2022
- Transactions on Mergeable Objects APLAS 2015
- Declarative programming over eventually consistent data stores PLDI 2015
- Mergeable replicated data types OOPSLA 2019
- Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments POPL 2005
- Atomic Boxes: Coordinated Exception Handling with Transactional Memory ECOOP 2011
- Versionable, Branchable, and Mergeable Application State Onward! 2014
- Ensuring Convergence and Invariants Without Coordination ECOOP 2025