My Distributed Systems Seminar's Reading Listing For Saltation 2020

Below is the get-go draft listing of papers I innovation to hash out inward my distributed systems seminar inward the Spring semester. If y'all conduct maintain roughly suggestions on roughly good/recent papers to cover, delight allow me know.

Paxos

1. Canopus: A Scalable in addition to Massively Parallel Consensus Protocol (CoNext17) 
2. Consus taming the Paxi 
3. Stable in addition to consistent membership at scale amongst rapid (ATC18)
4. Unifying consensus in addition to atomic commit (VLDB19) 
5. Wormspace: A modular foundation for simple, verifiable distributed systems (SOCC19) 

Replication

1. Mergeable replicated information types (OOPSLA19) 
2. Exploiting Commutativity For Practical Fast Replication (NSDI19) 
3. Amazon Aurora: On Avoiding Distributed Consensus for I/Os, Commits, in addition to Membership Changes (SIGMOD18) 
4. Dynamic atomic storage without consensus (JACM 2011) 
5. PaxosStore:  High-availability Storage Made Practical inward WeChat (VLDB17)

Transactions/consistency

1. Interactive checks for coordination avoidance (VLDB19)
2. SLOG: serializable, low-latency, geo-replicated transactions (VLDB19)  
3. Enabling lightweight transactions amongst precision time (ASPLOS17)

Formal methods

1. Scaling Symbolic Evaluation for Automated Verification of Systems Code amongst Serval (SOSP19)
2. I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols (SOSP19)

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

Here are the links to our previous semester reading lists.

2018 Seminar reading list

2017 Seminar reading list

2016 Seminar reading list

2015 Seminar reading list

Share this post