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.

Comments

Popular posts from this blog

I have seen things

SOSP19 File Systems Unfit as Distributed Storage Backends: Lessons from 10 Years of Ceph Evolution

PigPaxos: Devouring the communication bottlenecks in distributed consensus

Frugal computing

Learning about distributed systems: where to start?

Fine-Grained Replicated State Machines for a Cluster Storage System

My Distributed Systems Seminar's reading list for Spring 2020

Cross-chain Deals and Adversarial Commerce

Book review. Tiny Habits (2020)