update Raft

Paxos/README.md

@@ -18,6 +18,6 @@ Andrew Helwer is a software engineer in Microsoft Azure, living in Seattle WA. H
 
 ### Media
 + [video](https://www.youtube.com/watch?v=zCaJSrTmUFA)
-+ [slides](http://www.slideshare.net/DrTlaplusSeries/dr-tla-series-paxos)
++ [slides](./Paxos.pdf)
 
 [back to schedule](https://github.com/tlaplus/DrTLAPlus)

README.md

@@ -5,7 +5,7 @@
 |            | Date          | Speaker       | Topic |   Media    |
 |:----------:| ------------- |:-------------:| :----:|:----------:|
 |            | June 22, 2016 | [Andrew Helwer](https://www.linkedin.com/in/ahelwer) | [Paxos](./Paxos/README.md) | [video](https://www.youtube.com/watch?v=zCaJSrTmUFA), [slides](./Paxos/Paxos.pdf)
-|            | July 21, 2016 | [Jin Li](http://research.microsoft.com/~jinl) | [Raft](./raft_lecture.md) | [video](https://www.youtube.com/watch?v=6Kwx8zfGW0Y), [slides](http://www.slideshare.net/DrTlaplusSeries/dr-tla-series-raft-jin-li)
+|            | July 21, 2016 | [Jin Li](http://research.microsoft.com/~jinl) | [Raft](./Raft/README.md) | [video](https://www.youtube.com/watch?v=6Kwx8zfGW0Y), [slides](./Raft/Raft.pdf)
 |            | August 29, 2016  | [Cheng Huang](http://research.microsoft.com/~chengh) | [Fast Paxos](./FastPaxos/README.md) | [slides](./FastPaxos/FastPaxos.pdf)
 | *upcoming* | September, 2016  | [Rustan Leino](http://research.microsoft.com/~leino) | Global Snapshot | 
 |            | TBD  | [Shuai Mu](http://www.mpaxos.com/) | Practical Byzantine / Byzantine Paxos |

Raft/README.md

@@ -0,0 +1,21 @@
+## Dr. TLA+ Series - Raft (Jin Li)
+
+### Time
+July 21, 2016 - 10-11:30am PDT
+
+### Abstract
+In this talk, we will discuss Raft and its TLA+ spec. Raft is a consensus algorithm for managing a replicated log. It produces a result equivalent to (multi-)Paxos. The design of Raft separates key elements of consensus algorithm, such as leader election, log replication, etc.., which results in the Raft more understandable and implementable. Raft has been widely taught and implemented, with a partial list of implementation available at https://raft.github.io/.
+
+### Bio
+Dr. Jin Li manages the Cloud Computing and Storage group at MSR Technologies/MSR-NExT. His team has made great contributions to Microsoft with monetary value in the order of hundreds of million dollars per annum, with works such as the local reconstruction code (LRC) in Azure and Windows Server, the erasure code used in Lync, Xbox and RemoteFX, the Data Deduplication feature in Windows Server 2012, the high performance SSD based key-value store in Bing, and the RemoteFX for WAN feature in Windows 8 and Windows Server 2012. He is an IEEE Fellow.
+
+### Paper and Spec
+(not required, but helpful to take a look before the lecture)
++ [In Search of an Understandable Consensus Algorithm](https://www.usenix.org/conference/atc14/technical-sessions/presentation/ongaro) (Best Paper at USENIX ATC 2014)
++ [Raft TLA+ specification](https://github.com/ongardie/raft.tla)
+
+### Media
++ [video](https://www.youtube.com/watch?v=6Kwx8zfGW0Y)
++ [slides](./Raft.pdf)
+
+[back to schedule](https://github.com/tlaplus/DrTLAPlus)