CS 739 Paper Reading List

Return to CS739 home page.

Numbered papers are required reading for everyone in the class. Papers showed indented below a numbered paper are to be read by the presenter and incorporated in the day's presentation.

Background

1. J.H. Saltzer, D.P. Reed, and D.D. Clark "End-To-End Arguments in System Design", ACM Trans. on Computer Systems 2, 4, November 1984, pp. 277-288.

Language Issues

2. N. Carriero and D. Gelernter, "The S/Net's Linda Kernel", ACM Trans. on Computer Systems 4, 2, May 1986, pp. 110-129.
3. E. Jul, H. Levy, N. Hutchinson, and A. Black, "Fine-Grained Mobility in the Emerald System", ACM Trans. on Computer Systems 6, 1, February 1988, pp. 109-133.

Distributed Shared Memory

4. D.J. Scales and K. Gharachorloo, "Towards Transparent and Efficient Software Distributed Shared Memory", 16th Symposium on Operating Systems Principles, Saint Malo, France, October 1997, pp. 157-169.
5. R. Stets, S. Dwarkadas, N. Hardavellas, G. Hunt, L. Kontothanassis, S. Parthasarathy, and M. Scott, "Cashmere-2L: Software Coherent Shared Memory on a Clustered Remote-Write Network", 16th Symposium on Operating Systems Principles, Saint Malo, France, October 1997, pp. 170-183.

   Process Migration and Load Sharing

6. M.L. Powell and B.P. Miller, "Process Migration in DEMOS/MP", 9th Symposium on Operating Systems Principles, Bretton Woods, NH, October 1983, pp. 110-119.
7. M. Theimer, K. Lantz, and D. Cheriton, "Preemptable Remote Execution Facility for the V-System", 10th Symposium on Operating Systems Principles, Orcas Island, WA, December 1985, pp. 2-12.
   • E. Zayas, "Attacking the Process Migration Bottleneck", 11th Symposium on Operating Systems Principles, Austin, TX, November 1987, pp. 13-24.

Grid and Distributed Computing

8. W. Gropp and E. Lusk, "Goals Guiding Design: PVM and MPI", IEEE International Conference on Cluster Computing, Chicago, September 2002.
9. D. Thain, T. Tannenbaum and M. Livny, "Distributed Computing in Practice: The Condor Experience", Concurrency and Computation: Practice and Experience 17, 2-4, February-April 2005, pp. 323-356.
   • D. Thain, J. Basney, S.-C. Son, and M. Livny, "The Kangaroo Approach to Data Movement on the Grid", Tenth IEEE Symposium on High Performance Distributed Computing (HPDC10), San Francisco, California, August 7-9, 2001
10. I. Foster, "Globus Toolkit Version 4: Software for Service-Oriented Systems", IFIP International Conference on Network and Parallel Computing, Springer-Verlag LNCS 3779, pp. 2-13, 2006.
    • I. Foster, C. Kesselman and S. Tuecke, "The Anatomy of the Grid: Enabling Scalable Virtual Organizations", International Journal of Supercomputer Applications 15, 3, 2001.
11. L. Peterson, T. Anderson, D. Culler, and T. Roscoe, "A Blueprint for Introducing Disruptive Technology into the Internet", First Workshop on Hot Topics in Networking (HotNets-I), October 2002.
    • A. Bavier, M. Bowman, B. Chun, D. Culler, S. Karlin, S. Muir, L. Peterson, T. Roscoe, T. Spalink, and M. Wawrzoniak, "Operating System Support for Planetary-Scale Network Services", First Symposium on Networked Systems Design and Implementation (NSDI), March 2004, pp. 253-266.

Time, Order, and Agreement

12. L. Lamport, "Time, Clocks, and the Ordering of Events in a Distributed System", Communications of the ACM, 21 7, July 1978, pp. 558-564.
    • C.J. Fidge, "Partial Orders for Parallel Debugging", SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, Madison, Wisconsin, May 1988, pp. 183-194. Appears as SIGPLAN Notices 24, 1, January 1989.
13. K. M. Chandy and L. Lamport, "Distributed Snapshots: Determining Global States of Distributed Systems", ACM Trans. on Computer Systems, 3 1, February 1985, pp. 63-75.
14. B.P. Miller and J-D. Choi, "Breakpoints and Halting in Distributed Programs", 8th Int'l Conf. on Distributed Computing Systems, San Jose, CA, June 1988, pp. 316-323.
    • A.I. Tomlinson and V.K. Garg, "Detecting Relational Global Predicates in Distributed Systems", 1993 ACM/ONR workshop on Parallel and Distributed Debugging (PADD '93), San Diego, CA, December 1993.
15. L. Lamport, R. Shostak, and M. Pease, "The Byzantine Generals Problem", ACM Transactions on Programming Languages Systems 4, 3, July 1982, pp. 382-401.

    Program Replay

16. T.J. LeBlanc and J.M. Mellor-Crummey, "Debugging Passing Parallel Programs with Instant Replay", IEEE Transactions on Computers C36, 4, April 1987, pp. 471-482.
    • R.H.B. Netzer and B.P. Miller, "Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs", Supercomputing '92, Minneapolis, MN, November 1992, pp. 502-511. 4, November 1984, pp. 277-288.
    • J.D. Choi and H. Srinivasa, "Deterministic Replay of Java Multithreaded Applications", SIGMETRICS Symposium on Parallel and Distributed Tools, Welches, OR, August 1998. pp. 48-59.

Remote Procedure Calls

17. M. D. Schroeder and M. Burrows, "Performance of the Firefly RPC", ACM Trans. on Computer Systems, 8 1, February 1990, pp. 1-17.
    • B. N. Bershad, T. E. Anderson, and E. D. Lazowska, "Lightweight Remote Procedure Call", ACM Trans. on Computer Systems 8, 1, February 1990, pp. 37-55.

Replication and Fault Tolerance

18. E. C. Cooper, "Replicated Distributed Programs", 10th Symposium on Operating Systems Principles, Orcas Island, WA, December 1985 pp. 63-78.
19. K.P. Birman, "Replication and Fault-Tolerance in the ISIS System", 10th Symposium on Operating Systems Principles, Orcas Island, WA, December 1985 pp. 79-86.
    • K.P. Birman and T.A. Joseph, "Reliable Communication in the Presence of Failures", ACM Transactions on Computer Systems 5, 1, February 1987, pp. 47-76.

Authentication

20. M. Burrows, M. Abadi, and R. Needham, "A Logic of Authentication", 12th Symposium on Operating Systems Principles, Litchfield Park, AZ, December 1989, pp. 1-13.
• B. Lampson, M. Abadi, M. Burrows, and E. Wobber, "Authentication in Distributed Systems: Theory and Practice", 13th Symposium on Operating Systems Principles, Pacific Grove, CA, October 1991, pp. 165-182.
21. Netscape Communications, "How SSL Works", http://www.definityhealth.com/marketing/how_ssl_works.html, 1999.
    • K.E.B. Hickman, "The SSL Protocol", http://mia.ece.uic.edu/~papers/volans/SSL_2.html.

Mobile Computing

22. G.H. Kuenning and G.J. Popek, "Automated Hoarding for Mobile Computers", 16th Symposium on Operating Systems Principles, Saint Malo, France, October 1997, pp. 264-275.
    • K.Petersen, M.J. Spreitzer, D.B. Terry, M.M. Theimer, and A.J. Demers, "Flexible Update Propagation for Weakly Consistent Replication", 16th Symposium on Operating Systems Principles, Saint Malo, France, October 1997, pp. 288-301.
23. V.C. Zandy and B.P. Miller, "Reliable Network Connections", ACM MobiCom 2002, Atlanta, September 2002.

Last modified: Wed Jan 24 16:35:17 CST 2007 by bart