6.894 Fall 2000 References

• Anderson, Bershad, Lazowska, Levy, Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism, SOSP 1991.
• Anderson, Dahlin, Neefe, Patterson, Roselli, Wang, Serverless Network File Systems, SOSP 1995, and ACM ToCS 1996.
• Appel and Li, Virtual Memory Primitives for User Programs, ASPLOS 1991.
• Bershad, Redell and Ellis, Fast Mutual Exclusion for Uniprocessors, ASPLOS 92.
• Bershad, Anderson, Lazowska, Levy, Lightweight Remote Procedure Call, SOSP 1989.
• Bershad et. al., Extensibility, Safety and Performance in the SPIN Operating System, SOSP 1995.
• Birrel et al., Network Objects, SOSP 1993.
• Bugnion, Devine, Rosenblum, Disco: Running Commodity Operating Systems on Scalable Multiprocessors, SOSP 1997.
• Castro, Liskov, Practical Byzatine Fault Tolerance, OSDI 1999.
• Clarke, Sandberg, Wiley, Hong, FreeNet: A Distributed Anonymous Information Storage and Retrieval System.
• Freier et al., The SSL protocol version 3.0, Internet Draft, November 1996.
• Gribble et al., Scalable, Distributed Data Structures for Internet Service Construction OSDI 2000.
• Kaashoek et. al., Application Performance and Flexibility on Exokernel Systems, SOSP'97.
• Karger et al., Web Caching With Consistent Hashing, WWW8 Conference.
• Liedtke, On micro-Kernel Construction, SOSP 1995.
• Mazieres et al., Separating key management from file system security, SOSP 1999.
• Mazieres, Kaashoek, The design, implementation and operation of an email pseudonym server, 5th ACM Conference on Computer and Communications Security, 1998.
• Mazieres, Dabek, and Peterson, Using TCP Through Sockets, 6.894 course material, 2000.
• Mogul and Ramakrishnan, Eliminating Receive Livelock in an Interrupt-Driven Kernel, ACM ToCS August 1997 (v15 n3).
• Ousterhout, Cherenson, Douglis, Nelson, Welch, The Sprite Network Operating System. More publications on Sprite
  
• Petersen, Spreitzer, Terry, Theimer, Demers, Flexible Update Propagation for Weakly Consistent Replication, SOSP 1997. More publications on Bayou.
• Saito et al., Manageability, availability and performance in Porcupine: a highly-scalable, cluster-based mail service, SOSP 1999.
• Savage et al., Practical Network Support For IP Traceback, SIGCOMM 2000.
• Sweeney, Scalability in the XFS File System, USENIX Winter 1996.
• Wahbe et. al., Efficient Software-Based Fault Isolation, SOSP 1993.
• Waldspurger, Weihl, Lottery Scheduling: Flexible Proportional-Share Resource Management, OSDI 1994.
• Wobber, Adabi, Burrows, Lampson, Authentication in the Taos operating system, ACM Trans. Computer Systems 12, 1 (Feb. 1994).
• The FreeNet project page.

SOSP means the ACM Symposium on Operating Systems Principles. OSDI means the USENIX/ACM Operating Systems Design and Implementation conference. ASPLOS means the ACM Architectural Support for Programming Languages and Operating Systems conference.

Questions or comments regarding 6.894? Send e-mail to the jinyang jinyang@lcs.mit.edu.

Top // 6.894 home // Last updated $Date: 2000/11/10 00:58:07 $ by $Author: 6894 $