EECS 345 - Reading List

Main topics

  1. The IBM 701 Computer at the General Motor Research Laboratories, George F. Ryckman, IEEE Annals, Apr-Jun 1983.
  2. The nucleus of a multiprogramming system, Per Brinch Hansen, Communications of the ACM, April 1970.
  3. An Experimental Time-Sharing System, Fernando J. Corbato, Marjorie M, Daggett and Robert C. Daley, Spring Joint Computer Conference (AIEE-IRE), May 1962.
  4. The UNIX time-sharing system, Dennis M. Ritchie and Ken Thompson, Communications of the ACM, 17(7):365-375, July 1974.
  5. Pilot: an operating system for a personal computer, D. Redell, Y.K. Dalal, T.R. Horsley, H.C. Lauer, W.C. Lynch, P.R. McJones, H.G. Murraly and S.C. Purcell, Communication of the ACM, February 1980.
  6. Exokernel: An Operating System Architecture for Application-Level Resource Management, R. Engler, M. F. Kaashoek, and J. O'Toole Jr., Proc. of SOSP, 1995
  7. Sharing and Protection in a Single Address Space Operating System, J. Chase, H. Levy, M. Feeley, and E. Lazowska, ACM Trans. on Computer Systems, November 1994.
  8. Extensibility, Safety and Performance in the SPIN Operating System, B. Bershad, S. Savage, P. Pardyak, E. Sirer, M. Fiuczynski, D. Becker, C. Chambers, and S. Eggers, Proc. of SOSP, 1995.
  9. On Micro-Kernel Construction, J. Liedtke, Proc. of SOSP, 1995.
  10. Lottery scheduling: Flexible proportional-share resource management, Carl Waldspurger and William Weihl, Proc. of USENIX OSDI, 1994.
  11. Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism, Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska and Henry M. Levy, Proc. of SOSP, 1991.
  12. Experiences with Processes and Monitors in Mesa, Butler W. Lampson and David D. Redell, Communications of the ACM, 23(2):105-117, February 1980.
  13. The Working Set Model for Program Behavior, Peter J. Denning, Proc. of SOSP, 1967.
  14. Virtual Memory management in the VAX/VMS Operating System, H. Levy and P. Lipman, IEEE Computer, March 1982.
  15. The Slab Alloctor: An Object-Caching Kernell Memory Allocator, J. Bonwick, In Proc. of USENIX Summer, 1994
  16. A Fast File System for Unix, Marshall K. Mckusick, William N. Joy, Samuel J. Leffler and Robert S. Fabry, ACM Transactions on Computer Systems, 2(3):181-197, August 1984.
  17. Design and implementation of the log-structured file system, Mendel Rosenblum and John Ousterhout, Proc. of SOSP, 1991.
  18. Time, Clocks, and the Ordering of Events in a Distributed System, Leslie Lamport, Communications of the ACM, 21(7):558-565, July 1978.
  19. Implementing Remote Procedure Calls,, Andrew D. Birrell and Bruce J. Nelson, ACM Transactions on Computer Systems, 2(1):39-59, February 1984.
  20. Grapevine: an exercise in distributed computing,A. Birrell, R. Levin, M. Schroeder, and R. M. Needham, Communications of the ACM, 25(4):260-274, April 1982.

Research in OS

(In parentheses are the years when the paper was assigned for discussion)

  1. Improving the reliability of comodity operating systems,M. Swift, B. Bershad, H. Levy, Proc. of SOSP, 2003. (2003/2004)
  2. Information and control in gray-box systems, A. Arpaci-Dusseau and R. Arpaci-Dusseau, Proc. of SOSP, 2001. (2005)
  3. Rx: Treating Bugs as Allergies - A safe method to survive software failures, F. Qin, J. Tucek, J. Sundaresan, and Y. Zhou, Proc. of SOSP, 2005. (2006)
  4. t-kernel: providing reliable OS support to wireless sensor networks , L. Gu and J. Stankovic, Proc. of SenSys, 2006. (2007/2008)
  5. Rethink the Sync, E. Nightingale, K. Veerraghavan, P. Chien and J. Flinn, Proc. of USENIX OSDI, 2006. (2009)
  6. FlexSC: Flexible System Call Scheduling with Exception-Less System Calls, L. Soares and M. Stumm, Proc. of USENIX OSDI, 2010. (2010)
  7. The Multikernel: A new OS architecture for scalable multicore systems, A. Baumann, P. Barham, P-E Dagand, T. Harris, R. Isaacs, S. Peter, T. Roscoe, A. Schüpbach and A. Singhania, Proc. of SOSP, October 2009. (2011)
  8. DTHREADS: Efficient Deterministic Multithreading, T. Liu, C. Curtsinger and E. Bergerd, Proc. of SOSP, 2011. (2012)
  9. Cells: A Virtual Mobile Smartphone Architecture, J. Andrus et al., Proc. of SOSP, 2011. (2013)
  10. Sparrow: Distributed, Low Latency Scheduling, Kay Ousterhout, Patrick Wendell, Matei Zaharia and Ion Stoica, Proc. of SOSP, 2013. (2014)
  11. Arrakis: The Operating System is the Control Plane, Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, and Thomas Anderson, Timothy Roscoe, Proc. of USENIX OSDI, 2014. (2015)
  12. Light-Weight Contexts: An OS Abstraction for Safety and Performance, James Litton, Anjo Vahldiek-Oberwagner, Eslam Elnikety, Deepak Garg, Bobby Bhattacharjee, and Peter Druschel, Proc. of the USENIX Symposium on Operating Sytstems Design and Implementation (OSDI), October 2016.