My Distributed Systems Seminar's reading list for Fall 2020

For the Fall semester distributed systems seminar, we will discuss these papers:

  1. Bipartisan Paxos: A Family of Fast, Leaderless, Modular State Machine Replication Protocols
  2. eXtreme Modelling in Practice   
  3. Starling: A Scalable Query Engine on Cloud Function Services
  4. Lambada: Interactive Data Analytics on Cold Data using Serverless Cloud Infrastructure 
  5. Tiered Replication: A Cost-effective Alternative to Full Cluster Geo-replication 
  6. Scalable State-Machine Replication 
  7. Designing Distributed Systems Using Approximate Synchrony in Data Center Networks 
  8. Armada: Low-Effort Verification of High-Performance Concurrent Programs 
  9. Ocean Vista: Gossip-Based Visibility Control for Speedy Geo-Distributed Transactions 
  10. Consolidating Concurrency Control and Consensus for Commits under Conflicts  
  11. Tales of the Tail: Hardware, OS, and Application-level Sources of Tail Latency 
  12. Near-Optimal Latency Versus Cost Tradeoffs in Geo-Distributed Storage 
  13. Scaling Symbolic Evaluation for Automated Verification of Systems Code with Serval 
  14. Incremental Inference of Inductive Invariants for Verification of Distributed Protocols 

In order to run our reading/discussion seminars effectively, we follow the format described in this post.

Here are the links to our previous semester reading lists.


Popular posts from this blog

Strict-serializability, but at what cost, for what purpose?

Foundational distributed systems papers

Learning about distributed systems: where to start?

Speedy Transactions in Multicore In-Memory Databases

Anna: A Key-Value Store For Any Scale

The Seattle Report on Database Research (2022)

Warp: Lightweight Multi-Key Transactions for Key-Value Stores

Checking statistical properties of protocols using TLA+

Amazon Aurora: Design Considerations + On Avoiding Distributed Consensus for I/Os, Commits, and Membership Changes

Paper summary: Bitcoin-NG -- A scalable Blockchain Protocol