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

Foundational distributed systems papers

Your attitude determines your success

Progress beats perfect

Cores that don't count

Silent data corruptions at scale

Learning about distributed systems: where to start?

Read papers, Not too much, Mostly foundational ones

Sundial: Fault-tolerant Clock Synchronization for Datacenters