Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Videos of conference talks #18

Open
wants to merge 8 commits into
base: master
Choose a base branch
from
Open

Videos of conference talks #18

Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
cd406d6
Update README.md
manishkk Mar 3, 2018
314b06a
Update README.md
manishkk Mar 3, 2018
bbdcf8e
Update README.md
manishkk Mar 3, 2018
9bcf723
Update README.md
manishkk Mar 3, 2018
f8e8d20
Update README.md
manishkk Mar 3, 2018
65df3bc
Update README.md
manishkk Mar 5, 2018
cbb26ba
Update README.md
manishkk Mar 5, 2018
224a5c2
Update README.md
manishkk Mar 5, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 15 additions & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -42,6 +42,7 @@ Must read papers on distributed systems. While nearly *all* of Lamport's work sh
### Distributed Consensus and Fault-Tolerance
- [Practicle Byzantine Fault Tolerance](http://pmg.csail.mit.edu/papers/osdi99.pdf)
- [The Byzantine Generals Problem](http://bnrg.cs.berkeley.edu/~adj/cs16x/hand-outs/Original_Byzantine.pdf)
- [Impossibility of Distributed Consensus with One Faulty Process](http://macs.citadel.edu/rudolphg/csci604/ImpossibilityofConsensus.pdf)
- [The Part Time Parliament](http://research.microsoft.com/en-us/um/people/lamport/pubs/lamport-paxos.pdf) Paxos, Lamport's original Paxos paper, a bit difficult to understand, may require multiple passes
- [Paxos Made Simple](http://research.microsoft.com/en-us/um/people/lamport/pubs/paxos-simple.pdf), a more terse readable Paxos paper by Lamport himself. Shorter and more easier compared to the original.
- [The Chubby Lock Service for loosely coupled distributed systems](http://static.googleusercontent.com/media/research.google.com/en//archive/chubby-osdi06.pdf) Google's lock service used for loosely coupled distributed systems. Sort of Paxos as a Service for building other distributed systems. Primary inspiration behind other Service Discovery & Coordination tools like Zookeeper, etcd, Consul etc.
Expand All @@ -54,7 +55,20 @@ While designing distributed systems are hard enough, testing them is even harder

### Programming Model
- [Distributed Programming Model](http://web.cs.ucdavis.edu/~pandey/Research/Papers/icdcs01.pdf)
- [PSync: a partially synchronous language for fault-tolerant distributed algorithms](http://www.di.ens.fr/~cezarad/popl16.pdf)
- [PSync: a partially synchronous language for fault-tolerant distributed algorithms](http://www.di.ens.fr/~cezarad/popl16.pdf) Video: [Conference Video](https://www.youtube.com/watch?v=jxfq9_L9T1U&t=51s)
- [Programming Models for Distributed Computing](http://heather.miller.am/teaching/cs7680/)
- [Logic and Lattices for Distributed Programming](http://db.cs.berkeley.edu/papers/UCB-lattice-tr.pdf)

### Verification in Distributed System
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Since there is already a title that reads 'Verification of Distributed Systems' it would be better to maintain consistency. I suggest update the title to 'Verification of Distributed Systems' for uniformity.

- [Jepsen](https://github.com/jepsen-io/jepsen) A framework for distributed systems verification, with fault injection
- [Verdi](http://verdi.uwplse.org/) A Framework for Implementing and Formally Verifying Distributed Systems [Paper](http://verdi.uwplse.org/verdi.pdf)

### Videos of Conference Talks
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Given the presence of a 'Videos' section, it would be better to organize all videos under a single title and categorize them with tags such as '[Conference Talks]' for better clarity and organization.

- [Programming and Proving with Distributed Protocols](https://www.youtube.com/watch?v=zuuBEXhM4tU&t=492s), POPL 2018
- [IronFleet: proving practical distributed systems correct](https://www.youtube.com/watch?v=KRmItldCU-Y), SoSP 2015
- [Software Model Checking for Verifying Distributed Algorithms](https://www.youtube.com/watch?v=hTbI0t7pNtM), CMU Talk
- [Practical Byzantine Fault-Tolerance](https://www.youtube.com/watch?v=Q0xYCN-rvUs), Microsoft Research


## Courses
- [Reliable Distributed Algorithms, Part 1](https://www.edx.org/course/reliable-distributed-algorithms-part-1-kthx-id2203-1x-0), KTH Sweden
Expand Down