9/23/2016 |
Intro |
None |
Me |
9/26/2016 |
Time |
Time, Clocks, and the Ordering of Events in a Distributed System (Lamport, CACM 1978) |
|
9/28/2016 |
Time |
Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail |
|
9/30/2016 |
Communication |
Implementing remote procedure calls, A Note on Distributed Computing |
Vedashree, Anirudh |
10/3 |
Storage |
Dynamo: Amazon’s Highly Available Key-value Store |
Michael, Annlin, Anuradha Talur |
10/5 |
Naming |
Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications; Using Lightweight Modeling To Understand Chord |
Ethan, Kathryn, Brandon Luu |
10/7 |
Seminal Theory |
Impossibility of Distributed Consensus with One Faulty Process |
Zheyuan, Yiming Zhang, Daniel B, Yifan Wei |
10/10 |
Seminal Theory |
Using Reasoning About Knowledge to analyze Distributed Systems |
Kathryn, Saya |
10/12 |
Consensus |
Paxos made simple |
Daniel B, Yifan Wei, Yujie Deng, Saya |
10/14 |
Consensus |
Raft |
Ashutosh Raina, Kenneth Chang, Ben, Pinglei Guo |
10/17 |
Consensus |
State machine replication |
yegeta zeleke, Akhil Dixitm, Brandon Luu, Yujie Deng |
10/19 |
fault tolerance |
Lineage-driven Fault Injection |
yegeta Zeleke, Nikhil Kini, Oceane Bel, Aneesh Neelam |
10/21 |
Storage |
Managing update conflicts in Bayou, a weakly connected replicated storage system |
Vedang Joshi, Aniket Kulkarni,Qihui Yang, Oceane Bel |
10/24 |
Storage |
Stronger Semantics for Low-Latency Geo-Replicated Storage |
Devashish, Anuradha Talur, Matt Bryson, Shobhit Maheshwari |
10/26 |
Storage |
Building Consistent Transactions with Inconsistent Replication |
Anuradha Talur, Ashwini P, Ethan V, Shobhit Maheshwari |
10/28 |
Storage |
Ceph |
Aniket Kulkarni, Vedang Joshi, Pinglei Guo, Yiming Zhang |
10/31 |
BFT |
Practical Byzantine Fault Tolerance (Castro, OSDI 1999) |
Zheyuan, Reza, Alif Sarker, Yusi Xiang |
11/2 |
LIGHTNING TALKS 1 |
|
|
11/4 |
LIGHTNING TALKS 2 |
|
|
11/7 |
BFT |
Zyzzyva: Speculative Byzantine Fault Tolerance (Kotla, SOSP 2007) |
Amber O'Connell, YIFENG LIU,Tianyi Lin, Yusi Xiang |
11/9 |
Cloud |
A view of cloud computing (Armbrust, CACM 53(4), 2010) |
Sinjoni, Ethan V,Vedashree, Yifeng Liu, Matt Bryson |
11/11 |
HOLIDAY |
|
|
11/14 |
Cloud |
Towards a Cloud Computing Research Agenda |
Devashish, Yuanjiang Ni, Ben, Reza |
11/16 |
Programming models |
Sinfonia |
Aneesh Neelam, Jia Song, Alif Sarker |
11/18 |
Programming models |
MapReduce |
Sinjoni, Annlin, Kenneth Chang, Anirudh |
11/21 |
Avoiding coordination |
A comprehensive study of Convergent and Commutative Replicated Data Types |
Amber O'Connell, Tuan |
11/23 |
Avoiding coordination |
Logic and Lattices for Distributed Programming |
Nikhil Kini, Akhil Dixit, Ashwini P, Andrew Klofas |
11/25 |
HOLIDAY |
|
|
11/28 |
Avoiding coordination |
Coordination Avoidance in Database Systems |
Ashutosh Raina, Qihui Yang, YIFENG LIU, Yuanjiang, Matt Bryson |
11/30 |
debugging |
The Good, the Bad, and the Differences: Better Network Diagnostics with Differential Provenance |
Tuan,Tianyi Lin, Jia Song, Andrew Klofas, Ya Xu |
12/2 |
wrapup |
|
|