readings.md

Date	Subject	Readings
1/5	Welcome
1/7	Fundamentals: doom and gloom	A note on distributed computing Impossibility of Distributed Consensus with One Faulty Process
1/12	Fundamentals: rays of hope	Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail
1/14	Fundamentals: rays of hope	The Weakest Failure Detector for Solving Consensus
1/19	Fundamentals: what we know	Using Reasoning About Knowledge to analyze Distributed Systems
1/21	Storage: naming and finding	Chord: A Scalable Peer-to-peer Lookup Service for InternetApplications Using Lightweight Modeling To Understand Chord Internet Indirection Infrastructure
1/26	Guest Lecturer	Kyle Kingsbury
1/28	Storage: conflicts and consistency 2	Managing update conflicts in Bayou, a weakly connected replicated storage system Don’t Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS
2/2	Guest Lecturer	Bruce Lindsay
2/4	Storage: conflicts and consistency 1	Concurrency Control in Distributed Database Systems
2/9	Programming models: the classics	Generative Communication in Linda (can't find free) DISTRIBUTED PROGRAMMING IN ARGUS
2/11	Programming models: Actors	A Universal Modular ACTOR Formalism for Artificial Intelligence Orleans: Distributed Virtual Actors for Programmability and Scalability Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications (can't find free)
2/18	Programming models: potpourri	The Orc Programming Language BOOM Analytics
2/23	Coordination and availability	Towards a Cloud Computing Research Agenda Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services
2/25	Guest Lecture	Caitie McCaffrey
3/1	Guest Lecture	Pat Helland
3/3	Guest Lecture	Doug Terry
3/8	Avoiding coordination 2	Paxos Made Simple In Search of an Understandable Consensus Algorithm
3/10	Avoiding coordination 1	A comprehensive study of Convergent and Commutative Replicated Data Types Logic and Lattices for Distributed Programming