CS 677 Suggested Readings (By Author)

CMPSCI 677 Distributed Operating Systems

Suggested Reading List (Sorted by Author)

Edsgar W. Dijkstra

Edsgar W. Dijkstra, "A short introduction to the art of programming", EWD 316, 1971

Available at http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD316.PDF
Cached copy availabale here

Edsgar W. Dijkstra, "The humble programmer", EWD 340, 1972

Available at http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD340.PDF
Cached copy availabale here

Edsgar W. Dijkstra, "Self-stabilization in spite of distributed control", EWD 391, 1973

Available at http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD391.PDF
Cached copy availabale here

Edsgar W. Dijkstra, "Self-stabilizing systems in spite of distributed control", EWD 426, 1974

Available at http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD426.PDF
Cached copy availabale here

Edsgar W. Dijkstra, "Termination detection for diffusing computations", EWD 687a, 1979

Available at http://www.cs.utexas.edu/users/EWD/ewd06xx/EWD687a.PDF
Cached copy availabale here

K Mani Chandy

Jayadev Misra, K. Mani Chandy, "Termination Detection of Diffusing Computations in Communicating Sequential Processes", ACM Transactions on Programming Languages and Systems (TOPLAS) archive, Volume 4 , Issue 1 (January 1982), Pages: 37 - 43

Available at http://portal.acm.org/ft_gateway.cfm?id=357156&type=pdf&coll=portal&dl=ACM&CFID=16846599&CFTOKEN=89688081
Cached copy availabale here

K. Mani Chandy, Leslie Lamport, "Distributed snapshots: determining global states of distributed systems", ACM Transactions on Computer Systems (TOCS) archive, Volume 3, Issue 1, Pages: 63 - 75

Available at http://portal.acm.org/ft_gateway.cfm?id=214456&type=pdf&coll=GUIDE&dl=ACM&CFID=16846838&CFTOKEN=97152316
Cached copy availabale here

K. Mani Chandy, Jayadev Misra, Laura M. Haas, "Distributed deadlock detection", ACM Transactions on Computer Systems (TOCS) archive, Volume 1, Issue 2 (May 1983), Pages: 144 - 156

Available at http://portal.acm.org/ft_gateway.cfm?id=357365&type=pdf&coll=portal&dl=ACM&CFID=16847067&CFTOKEN=99829906
Cached copy availabale here

K. Mani Chandy, Jayadev Misra, "The drinking philosophers problem", ACM Transactions on Programming Languages and Systems (TOPLAS) archive, Volume 6, Issue 4 (October 1984), Lecture notes in computer science Vol. 174 , Pages: 632 - 646

Available at http://portal.acm.org/ft_gateway.cfm?id=1804&type=pdf&coll=portal&dl=ACM&CFID=16677440&CFTOKEN=20584275
Cached copy availabale here

K. Mani Chandy, Jayadev Misra, "A distributed algorithm for detecting resource deadlocks in distributed systems", Annual ACM Symposium on Principles of Distributed Computing archive, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, Ottawa, Canada, Pages: 157 - 164

Available at http://portal.acm.org/ft_gateway.cfm?id=806693&type=pdf&coll=portal&dl=ACM&CFID=16677622&CFTOKEN=32437798
Cached copy availabale here

Jim Gray

Jim Gray, "The Transaction Concept, Virtues And Limitations", Proceedings of 7th VLDB, Cannes, France, 1981, pp. 144-154

Available at http://research.microsoft.com/~gray/papers/theTransactionConcept.doc
Cached copy availabale here

Jim Gray, Lesile Lamport, "Consensus on Transaction Commit", MSR-TR-2003-96, January 2004, 32 p.

Available at ftp://ftp.research.microsoft.com/pub/tr/tr-2003-96.pdf
Cached copy availabale here

Jim Gray, "Why Do Computers Stop and What Can We Do About It", 6th International Conference on Reliability and Distributed Databases, June 1987

Available at http://research.microsoft.com/~gray/papers/TandemTR85.7_WhyDoComputersStop.doc
Cached copy availabale here

Leslie Lamport

Leslie Lamport,"A New Solution of Dijkstra's Concurrent Programming Problem", Communications of the ACM 17, 8 (August 1974), 453-455.

Available at http://research.microsoft.com/copyright/accept.asp?path=/users/lamport/pubs/bakery.pdf&pub=ACM
Cached copy availabale here

Leslie Lamport,"Time, Clocks and the Ordering of Events in a Distributed System", Communications of the ACM 21, 7 (July 1978), 558-565. Reprinted in several collections, including Distributed Computing: Concepts and Implementations, McEntire et al., ed. IEEE Press, 1984.

Available at http://portal.acm.org/ft_gateway.cfm?id=359563&type=pdf&coll=portal&dl=ACM&CFID=16851096&CFTOKEN=7080148
Cached copy availabale here

Leslie Lamport,"A New Approach to Proving the Correctness of Multiprocess Programs", ACM Transactions on Programming Languages and Systems 1, 1 (July 1979), 84-97.

Available at http://research.microsoft.com/users/lamport/pubs/new-approach.pdf
Cached copy availabale here

Leslie Lamport, Marshall Pease, Robert Shostak, "The Byzantine Generals Problem", ACM Transactions on Programming Languages and Systems 4, 3 (July 1982), 382-401.

Available at http://research.microsoft.com/users/lamport/pubs/byz.pdf
Cached copy availabale here

Leslie Lamport, Susan Owicki, "Proving Liveness Properties of Concurrent Programs", ACM Transactions on Programming Languages and Systems 4, 3 (July 1982), 455-495.

Available at http://research.microsoft.com/users/lamport/pubs/liveness.pdf
Cached copy availabale here

Leslie Lamport, Michael Melliar-Smith, "Byzantine Clock Synchronization", Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing (August, 1984), 68-74.

Available at http://research.microsoft.com/users/lamport/pubs/clocks2.pdf
Cached copy availabale here

Leslie Lamport, "Synchronizing Time Servers", SRC Research Report 18 (June 1987).

Available at http://research.microsoft.com/users/lamport/pubs/synchronizing-time-servers.pdf
Cached copy availabale here

Leslie Lamport, "The Part-Time Parliament", ACM Transactions on Computer Systems 16, 2 (May 1998), 133-169.

Available at http://research.microsoft.com/users/lamport/pubs/lamport-paxos.pdf
Cached copy availabale here

Butler Lampson

Butler Lampson, "Designing a global name service.", Proc. 4th ACM Symposium on Principles of Distributed Computing, Minaki, Ontario, 1986, pp 1-10

Available at http://research.microsoft.com/~lampson/36-GlobalNames/WebPage.html
Cached copy available here

Butler Lampson, "How to build a highly available system using consensus", In Distributed Algorithms, ed. Babaoglu and Marzullo, Lecture Notes in Computer Science 1151, Springer, 1996, pp 1-17

Available at http://research.microsoft.com/~lampson/58-Consensus/WebPage.html
Cached copy availabale here here

Butler Lampson, M. Abadi, M. Burrows, E. Wobber, "Authentication in distributed systems: Theory and practice", ACM Trans. Computer Systems 10, 4 (Nov. 1992), pp 265-310

Available at http://research.microsoft.com/lampson/45-AuthenticationTheoryAndPractice/WebPage.html
Cached copy availabale here