Papers in distributed systems
- A Case for Energy-Proportional Computing
- A Generic Abstract Machine for the Join-Calculus
- A History of the Virtual Synchrony Replication Model
- A Hundred Impossibility Proofs for Distributed Computing
- A Methodology for Implementing Highly Concurrent Data Structures
- A Note on Distributed Computing
- A Protocol for Scalable Anonymous Communication
- A Response to Cheriton and Skeen's Criticism of Causal and Totally Ordered Communication
- A Survey of Protocols for Scalable Reliable Multicasting
- A Universal Modular ACTOR Formalism for Artificial Intelligence
- A Versatile Scheme for Routing Highly Variable Traffic in Service Overlays and IP Backbones
- Beehive: O(1) Lookup Performance for Power-Law Query Distributions in Peer-to-Peer Overlays
- Brewer's Conjecture and the Feasibility of Consistent Available Partition-Tolerant Web Services
- Byzantine Chain Replication
- Chain Replication for Supporting High Throughput and Availability
- Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications
- Commodifying Replicated State Machines with OpenReplica
- Composing High-Performance Memory Allocators
- Consensus in the Presence of Partial Synchrony
- Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms
- Consistent Hashing and Random Trees: Distributed Caching Protocols for Relieving Hot Spots on the World Wide Web
- Copysets: Reducing the Frequency of Data Loss in Cloud Storage
- Dapper, a Large-Scale Distributed Systems Tracing Infrastructure
- Dapper, a Large-Scale Distributed Systems Tracing Infrastructure
- Distributed Snapshots: Determining Global States of Distributed Systems
- Efficient Shortest Paths in Graphs with Uncertain Negative Lengths
- Eluding Carnivores: File Sharing with Strong Anonymity
- End-To-End Arguments in System Design
- EPaxos: Consensus on values, not ballots
- Epidemic Algorithms for Replicated Database Maintenance
- Experience with the CORAL Data Management System
- Fast, Accurate Detection of 802.11 Wireless Rogue Access Points
- Harvest, Yield and Scalable Tolerant Systems
- Herbivore: A Scalable and Efficient Protocol for Anonymous Communication and Broadcasting
- High-Level Specifications: Lessons from Industry
- How the Hidden Hand Shapes the Market for Software Reliability
- Implementing the Omega Failure Detector in the Crash-Recovery Failure Model
- Impossibility of Distributed Consensus with One Faulty Process
- In Search of an Understandable Consensus Algorithm
- IronFleet: Proving Practical Distributed Systems Correct
- Kafka: a Distributed Messaging System for Log Processing
- Kelips: Building an Efficient and Stable P2P DHT Through Increased Memory and Background Overhead
- Large-scale Incremental Processing Using Distributed Transactions and Notifications
- Life Beyond Distributed Transactions: an Apostate's Opinion
- MapReduce: Simplified Data Processing on Large Clusters
- Mesos: A Platform for Fine-Grained Resource Sharing in the Data Center
- Oblivious Routing of Highly Variable Traffic in Service Overlays and IP Backbones
- On Proof and Progress in Mathematics
- Pastry: Scalable, decentralized object location, and routing for large-scale peer-to-peer systems
- Paxos Made Moderately Complex
- Paxos Made Simple
- Paxos Made Simple
- Practical Byzantine Fault Tolerance and Proactive Recovery
- Pregel: A System for Large-Scale Graph Processing
- Quantum Plasmonic Excitation in Graphene and Single-Layer Materials
- Recurring Virtual Machine for Reliable Systems
- RON: Reliable Overlay Networks
- Self-Stabilizing Systems in Spite of Distributed Control
- SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control
- Signal/Collect: Graph Algorithms for the (Semantic) Web
- Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems
- Sinfonia: A New Paradigm for Building Scalable Distributed Systems
- Solution of a Problem in Concurrent Program Control
- Spanner: Google's Globally-Distributed Database
- Sparrow: Distributed, Low Latency Scheduling
- Sparse Partitions
- Stronger Semantics for Low-Latency Geo-Replicated Storage
- Swirlds: A New Operating System for the Internet
- The Akamai Network: A Fast and Reliable Software System for Serving the World's Web Sites
- The Byzantine Generals Problem
- The Byzantine Generals Problem
- The Chubby lock service for loosely-coupled distributed systems
- The Dining Cryptographers Problem: Unconditional Sender and Recipient Untraceability
- Tiered Replication: A Cost-Effective Alternative to Full Cluster Geo-Replication
- Tor: The Second-Generation Onion Router
- Towards a Cloud Computing Research Agenda
- Towards Practical Default-On Multi-Core Record/Replay
- Understanding the Limitations of Causally and Totally Ordered Communication
- Unikernels: Library Operating Systems for the Cloud
- Untraceable Electronic Mail, Return Addresses, and Digital Pseudonyms
- Viewing Control Structures as Patterns of Passing Messages
- Virtual Reality for Mobile Systems
- Virtual time and global states of distributed systems
- VL2: A Scalable and Flexible Data Center Network
- Zab: High-performance broadcast for primary-backup systems
- Zab: High-performance broadcasting using a non-blocking voting scheme
- ZooKeeper: Wait-free coordination for internet-scale systems