readings

Optional Course Readings

  1. End-to-End Arguments in System Design
    Saltzer, J. H., Reed, D. P., Clark, D. D.
    ACM Transactions on Computer Systems, Volume 2, Number 4, November 1984

  2. “Fundamental Challenges in Mobile Computing”
    Satyanarayanan, M.
    Proceedings of the Fifteenth ACM Symposium on Principles of Distributed Computing, Philadelphia, PA, May 1996

  3. “Efficient User-Level File Cache Management on the Sun Vnode Interface
    Steere, D. C., Kistler, J. J. , Satyanarayanan, M.
    Proceedings of the Summer Usenix Conference, Anaheim, CA, June 1990

  4. Scale and performance in a distributed file system
    Howard, J. H., Kazar, M. L., Menees, S. G., Nichols, D. A., Satyanarayanan, M., Sidebotham, R. N., and West, M. J.
    ACM Transactions on Computer Systems Volume 6, Number 1, Feb. 1988

  5. Leases: an efficient fault-tolerant mechanism for distributed file cache consistency
    Gray, C. and Cheriton, D.
    In Proceedings of the Twelfth ACM Symposium on Operating Systems Principles, Litchfield Park, AZ, 1989

  6. Andrew: A Distributed Personal Computing Environment
    Morris, J., Satyanarayanan, M., Conner, M., Howard, J., Rosenthal, D., and Smith, F.
    Communications of the ACM, April 1986

  7. Scalable, Secure, and Highly-Available Distributed File Access
    Satyanarayanan, M.
    IEEE Computer, May 1990

  8. Outperforming LRU with an Adaptive Replacement Cache Algorithm
    Megiddo, N. and Modha, D.
    IEEE Computer, April 2004

  9. Dynamic Storage Allocation in the Atlas Computer, Including an Automatic Use of a Backing Store
    Fotheringham, J.,
    Communications of the ACM, Volume 4, Issue 10, October 1961

  10. Structural aspects of the System/360 Model 85: II The cache
    Liptay, J.S.
    IBM Systems Journal, Volume 7, Number 1, March 1968

  11. Why Do Computers Stop and What Can Be Done About It?
    Gray, J.
    Tandem Corporation, Technical Report 85.7, June 1985

  12. Why do Internet services fail, and what can be done about it?
    Oppenheimer, D., Ganapathi, A., Patterson, D.
    Proceedings of the 4th USENIX Symposium on Internet Technologies and Systems, Seattle, WA, March 2003

  13. The Byzantine Generals Problem
    Lamport, L., Shostak, R., Pease, M.
    ACM Transactions on Programming Languages, Volume 4, Number 3, July 1982

  14. Lightweight Recoverable Virtual Memory”,
    Satyanarayanan, M., Mashburn, H. M., Kumar, P., Steere, D.C., Kistler, J.J.,
    Proceedings of the 14th ACM Symposium on Operating Systems Principles, December 1993

  15. A Message System Supporting Fault-Tolerance
    Borg, A., Baumbach, J., Glazer, S.
    Proceedings of the ACM Symp. on Op. Sys. Principles, Oct. 1983, Bretton Woods, NH

  16. Fault Tolerance Under Unix
    Borg, A., Blau, W., Graetsch, W., Herrmann, F., Oberle, W.
    ACM Transactions on Computer Systems, Vol 7, No. 1, Feb. 1989

  17. Weighted Voting for Replicated Data”,
    Gifford, D.K.,
    Proceedings of the Seventh ACM symposium on Operating Systems Principles, Sept 1979, Pacific Grove, CA

  18. A Quorum-Consensus Replication Method for Abstract Data Types
    Herlihy, M.,
    ACM Transactions on Computer Systems, Vol. 4, No. 1, February 1986

  19. “Paxos Made Simple
    Lamport, L.,
    Unpublished manuscript

  20. “Paxos Made Practical
    Mazieres, D.
    Unpublished manuscript

  21. Paxos Made Live - An Engineering Perspective
    Chandra, T., Griesemer, R., Redstone, J.
    Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC), 1997

  22. Disconnected Operation in the Coda File System
    ACM Transactions on Computer Systems, Vol. 10, No. 1, February 1992

  23. The Evolution of Coda
    Satyanarayanan, M.
    ACM Transactions on Computer Systems,  Vol. 20, No. 2, May 2002

  24. Log-Based Directory Resolution in the Coda File System
    Kumar, P., Satyanarayanan, M. ,
    Proceedings of the Second International Conference on Parallel and Distributed Information Systems , Jan. 1993, San Diego, CA

  25. Flexible and Safe Resolution of File Conflicts
    Kumar, P., Satyanarayanan, M.,
    Proceedings of the USENIX Winter 1995 Technical Conference , Jan. 1995, New Orleans, LA

  26. The Architecture of Complexity
    Simon, H. A.
    Proceedings of the American Philosophical Society, Vol. 106, No. 6, December 1962

  27. The Internet at the Speed of Light
    Singla, A., Chandrasekaran, B., Godfrey, P. B., Maggs, B.
    Proceedings of the 13th ACM Workshop on Hot Topics in Networks (HotNets-XIII)
    , Los Angeles, CA, 2014

  28. vTube: Efficient Streaming of Virtual Appliances Over Last-Mile Networks
    Abe, Y., Geambasu, R., Joshi, K., Lagar-Cavilla,  H. A., Satyanarayanan, M.
    Proceedings of the 2013 ACM Symposium on Cloud Computing, Santa Clara, CA, October 2013

  29. The Emergence of Edge Computing
    Satyanarayanan, M.
    IEEE Computer, Vol. 50, No. 1, January 2017

  30. A Formal Model of Crash Recovery in a Distributed System
    Skeen, D, Stonebraker, M.
    IEEE Transactions on Software Engineering, Vol. 9, No. 3, May 1983

  31. Virtual Memory, Processes and Sharing in Multics
    Daley, R.C., Dennis, J.B.
    Communications of the ACM, Volume 11, Number 5, May 1968

  32. FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion]”
    Yang, J., Qiu, Z., Zhang, Y., Yue, Y., Rashmi, K. V.
    Proceedings of the 19th Workshop on Hot Topics in Operating Systems, June 2023

  33. FIFO Queues Are All You Need For Cache Eviction]”
    Yang, J., Qiu, Z., Zhang, Y., Yue, Y., Rashmi, K. V.
    Proceedings of the 29th ACM Symposium on Operating Systems Principles, October 2023