![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| google-intro.html | 2023-03-27 09:19 | 47K | |
| zhang-et-al-tapir.pdf | 2023-02-22 13:57 | 735K | |
| newcombe-et-al-use-of-formal-methods-at-amazon-web-services.pdf | 2023-02-22 13:55 | 438K | |
| decandia-et-al-dynamo.pdf | 2023-02-22 13:53 | 873K | |
| ghemawat-et-al-gfs.pdf | 2023-02-22 13:53 | 269K | |
| yegge-platform-rant.md | 2023-02-22 13:48 | 26K | |
| yegge-platform-rant.html | 2023-02-22 13:48 | 29K | |
| keshav-how-to-read-a-paper.pdf | 2023-02-22 13:48 | 47K | |
| sharma-et-al-tales-of-the-tail.pdf | 2023-02-15 12:19 | 551K | |
| li-et-al-tales-of-the-tail.pdf | 2023-02-15 12:19 | 551K | |
| van-renesse-altinbuken-paxos-made-moderately-complex.pdf | 2023-02-06 14:52 | 2.7M | |
| lamport-paxos-made-simple.pdf | 2023-01-24 19:48 | 93K | |
| halpern-moses-knowledge-and-common-knowledge.pdf | 2023-01-23 14:27 | 3.4M | |
| lamport-time-clocks-ordering.pdf | 2023-01-23 12:10 | 830K | |