computer science
2010
2009
- GFS Retrospective in ACM Queue
- Barbara Liskov's Turing Award, and Byzantine Fault Tolerance
- OSDI '08: FlightPath: Obedience vs. Choice in Cooperative Services
- Consensus Protocols: Paxos
- OSDI '08 - CuriOS: Improving Reliability Through Operating System Structure
- OSDI '08: Corey, an operating system for many cores
- Consensus with lossy links: Establishing a TCP connection