LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
Explore LiDO, a consensus model enabling safety and liveness verification in Byzantine fault-tolerant protocols through refinement. Learn about mechanized proofs for Jolteon in Coq, advancing blockchain technology.
The Hows and Whys of a Distributed SQL Database
Explore the evolution of databases and dive into distributed SQL systems, focusing on CockroachDB's design choices for scalability, consistency, and high availability.
The Road to Akka Cluster, and Beyond
Exploring distributed computing landscape, from early computer architecture to modern challenges. Covers key theories, protocols, and technologies, with insights into Akka Cluster's design and future developments.
CRaft - An Erasure-coding-supported Version of Raft for Reducing Storage Cost
Explores CRaft, an erasure-coding-supported version of Raft consensus protocol, reducing storage and network costs while maintaining fault tolerance and liveness. Presents design, challenges, and performance improvements.
A Decentralized Blockchain with High Throughput and Fast Confirmation
Explore a novel blockchain system with high throughput and fast confirmation, featuring an optimistic consensus protocol and adaptive weight mechanism to enhance scalability and security.
Practicalities of Productionizing Distributed Systems
Practical strategies for deploying distributed systems in production, covering failure modes, monitoring, logging, performance optimization, and infrastructure management techniques.
Cluster Consensus - When Aeron Met Raft
Explore consensus protocols in distributed systems, focusing on Raft and Aeron. Learn about high-performance computing, cluster management, and efficient data processing techniques.
DispersedLedger - High-Throughput Byzantine Consensus on Variable Bandwidth Networks
Explores a novel Byzantine fault tolerant protocol for high-throughput consensus on variable bandwidth networks, optimizing blockchain performance in wide area deployments.
Virtual Consensus in Delos
Explores virtualizing consensus in replicated systems, enabling dynamic protocol changes without downtime. Introduces VirtualLog and Loglets for simplified, diverse, and composable consensus implementations, showcasing benefits in the Delos database.
Cloud Native Storage - Storage TAG Intro, Projects, Landscape & Technology
Explore CNCF Storage TAG's role, projects, and whitepapers on cloud-native storage, performance benchmarking, and disaster recovery in this comprehensive overview.
High Performance IoT Data Replication Over Raft
Discover how to implement high-performance IoT data replication using the Raft consensus protocol, focusing on optimization techniques and practical applications in distributed systems.
Anatomy of a Distributed SQL Database - YugabyteDB
Explore YugabyteDB's architecture, combining PostgreSQL features with distributed technologies for horizontal scaling and cloud-native performance. Learn about consensus protocols, sharding, and modern storage techniques.
Consensus Protocols - Crypto 2024
Explore cutting-edge consensus protocols in cryptography, featuring expert presentations and discussions on the latest advancements in distributed systems and blockchain technology.
Introduction to Distributed Databases - Lecture 21
Explore distributed database systems, their architectures, and key concepts for scalable data management across multiple nodes.
Introduction to Distributed Databases - Lecture 21
Explore distributed database systems, their architectures, and key concepts for scalable data management in modern applications.