Resources

Exams

See Older exams on HKN

Readings

• John R. Garman, "The Bug Heard 'round the World,"
  ACM SIGSOFT Software Engineering Notes, Vol 6 No 5, Oct 1981
• Nancy Leveson, "Medical Devices: The Therac-25,"
  Safeware: System Safety and Computers, Adison-Wesley, 1995
• Queuing Theory References
  • Queuing section from Appendix D of "Computer Architecture: A quantitative approach" second edition by Hennessy and Patterson
    
  • A bunch of resources on Queuing Theory
• File Systems:
  • A Fast File System for UNIX. M. McKusick, W. Joy, S. Leffler, and R. Fabry. ACM Transactions on Computer Systems, Vol 2, No 3, August 1984, Pages 181-197
  • Analysis and Evolution of Journaling File Systems. Vijayan Prabhakaran, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. USENIX Technical Conference, 2005
  • The Design and Implementation of a Log-Structured File System, Mendel Rosenblum and John K. Ousterhout. Proceedings of the 13th ACM Symposium on Operating Systems Principles (SOSP), October 1991
• RAID/Erasure Coding
  • A Case for Redundant Arrays of Inexpensive Disks (RAID), David patterson, Garth Gibson, and Randy Katz, ACM SIGMOD conference, 1988
  • EVENODD: an optimal scheme for tolerating double disk failures in RAID architectures, M. Blaum, J. Brady, J. Bruck and J. Menon. Proceedings of the 21st International Symposium on Computer Architecture (ISCA), 1996
• Distributed Systems: RPC
• Distributed Systems: NFS
• End-to-End Design
• Van Jacobson's TCP Paper
• The Byzantine Generals Problem. Leslie Lamport, Robert Shostak, and Marshall Pease. ACM Transactions on Programming Languages and Systems, Vol 4, No. 3, July 1982, Pages 382-401
• Smart Sensors to Network the World
• Experience with processes and monitors in Mesa.
• Dyanmo: Amazon's Highly Available Key-value Store
• Chord: A scalable peer-to-peer lookup service for internet applications