UW OS/N Reading Group
 
Overview
The UW Operating Systems/Networking Reading Group meets weekly (more or less) to discuss papers and issues related to operating systems, parallel and distributed systems, and development and performance tools. Our interpretation of our charter is fairly loose, so we sometimes venture into other related areas such as programming languages or databases.

Currently, we meet Wednesdays at 4 p.m. near the elevators on the first floor of CS&S, and usually stroll over to Muddy Waters to discuss the paper(s) for the week. If the weather is nice, we may hike up to the Terrace or stay outside at Union South.

As you might expect, the group's success depends on having interesting and relevant papers to discuss. If you come across a paper that fits the bill, propose it for discussion! Send the reference and a pointer (if the paper is available online) to zandy@cs.wisc.edu to add your suggestion to the list of proposed papers.

There is a majordomo mailing list called "osn-reading" for matters related to the OS/Networking reading group.  To subscribe to this list,  send a message to "osn-reading-request@cs.wisc.edu" with the following in the body of your message

    subscribe addr

replacing addr with your own email address.  To unsubscribe from the list, send a message to "osn-reading-request@cs.wisc.edu" with the following in the body of your message

    unsubscribe addr

replacing addr with your own email address.
 

Schedule

10/10/2001:
Phil Winterbottom. Acid: A Debugger Built From A Language. 1994 USENIX Winter Conference, San Francisco, CA, 1994.
 
10/3/2001:
Dejan Milojicic, Alan Messer, James Shau, Guangrui Fu, and Alberto Munoz. Increasing Relevance of Memory Hardware Errors: A Case for Recoverable Programming Models9th ACM SIGOPS European Workshop "Beyond the PC: New Challenges for the Operating System", Kolding, Denmark, September 2000.
 
9/26/2001:
Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau. Fail-Stutter Fault Tolerance. Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), Schloss Elmau, Germany, May 2001.
 
Steven D. Gribble. Robustness in Complex Systems. Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), Schloss Elmau, Germany, May 2001.
 
9/19/2001:
M.B. Jones and S. Saroiu. Predicatability Requirements of a Soft Modem. ACM Conference on Measurement and Modeling of Computer Systems (SIGMETRICS 2001), Cambridge MA, June 2001.
 
9/12/2001:
Jeremy Sugerman, Ganesh Venkitachalam, and Beng-Hong Lim. Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor.  2001 USENIX Annual Technical Conference, Boston, MA, June 2001.
 
8/17/2001:
John Kubiatowicz, David Bindel, Yan Chen, Steven Czerwinski, Patrick Eaton, Dennis Geels, Ramakrishan Gummadi, Sean Rhea, Hakim Weatherspoon, Westley Weimer, Chris Wells, and Ben Zhao. OceanStore: An Architecture for Global-Scale Persistent Storage. Proceedings of the Ninth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS IX), Cambridge, MA,  November 2000, Pages 190-201.

Peter M. Chen and Brian D. Noble.  When Virtual Is Better Than Real. Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), Schloss Elmau, Germany, May 2001.
 

6/20/2001:
No paper this week.
 

6/13/2001:
Robert Morris, Eddie Kohler, John Jannotti and M. Frans Kaashoek. The Click Modular Router. Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP 1999), Charleston, SC, USA, December 1999, Pages 217-231.

Matt Welsh and David Culler. Virtualization Considered Harmful: OS Design Directions for Well-Conditioned Services. Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), Schloss Elmau, Germany, May 2001.
 

6/6/2001:
Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr. Exokernel: An Operating System Architecture for Application-level Resource Management. Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles (SOSP 1995), Copper Mountain, CO, USA, December 1995.  Pages 251-266.

Robert Morris, Eddie Kohler, John Jannotti and M. Frans Kaashoek. The Click Modular Router. Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP 1999), Charleston, SC, USA, December 1999, Pages 217-231.
 

5/30/2001:
OS and Compiler Considerations in the Design of the IA-64 Architecture, Rumi Zahir, Jonathan Ross, Dale Morris, and Drew Hess, Proceedings of the Ninth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IX), Cambridge, MA, November 2000, pages 212-221.

C++ Exception Handling, Christophe de Dinechin, IEEE Concurrency8(4), October-December 2000, pages 72-79.
Note: to access this paper online, go to the UW library electronic journal list, and click on the IEEE Concurrency link. Once at the IEEE Xplore page for IEEE Concurrency, follow the 2000 link and then the Oct-Dec 2000, Vol. 8, Issue 4 link.

5/23/2001:
The Design of a Multicast-based Distributed File System, Björn Grönvall, Assar Westerlund, Stephen Pink, Proceedings of the Third Symposium on Operating Systems Design and Implementation (OSDI 1999), New Orleans, LA USA, February 1999.

1/31/2001:
The Organization of Networks in Plan 9, Dave Presotto, Phil Winterbottom, Proceedings of the Winter 1993 USENIX Conference, San Diego, CA, January 1993.

12/13/2000:
Hoard: A Scalable Memory Allocator for Multithreaded Applications, Emery D. Berger, Kathryn S. McKinley, Robert D. Blumofe, Paul R. Wilson, Proceedings of the Ninth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IX), Cambridge, MA, November 2000, pages 117-128.

11/27/2000:
The Failure of TCP in High-Performance Computational Grids,  W. Feng, P. Tinnakornsrisuphap, Proceedings of SC 2000, Dallas, TX, November 2000.

11/22/2000:
PSockets: The Case for Application-Level Network Striping for Data Intensive Applications using High Speed Wide Area Networks,  H. Sivakumar, S. Bailey, R. L. Grossman, Proceedings of SC 2000, Dallas, TX, November 2000.
Efficient Wire Formats for High Performance Computing, Fabian E. Bustamante, Greg Eisenhauer, Karsten Schwan, Patrick Widener, Proceedings of SC 2000, Dallas, TX, November 2000.

11/15/2000:
Lockmeter:  Highly-Informative Instrumentation for Spin Locks in the Linux Kernel, Proceedings of the 4th Annual Linux Showcase & Conference, Atlanta, GA, October 2000.
Dynamic Probes and Generalised Kernel Hooks Interface for LinuxProceedings of the 4th Annual Linux Showcase & Conference, Atlanta, GA, October 2000.

11/8/2000:
No reading group (due to SC 2000).

11/1/2000:
Scalable, Distributed Data Structures for Internet Service Construction, Steven D. Gribble, Eric A. Brewer, Joseph M. Hellerstein, and David Culler, To appear in the Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).

10/25/2000:
Atomic Heap Transactions and Fine-Grain Interrupts, Olin Shivers, James W. Clark, and Roland McGrath, Proceedings of the 1999 ACM International Conference on Functional Programming (ICFP) 1999, Pages 48-59.

10/18/2000:
Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java, Godmar Back, Wilson H. Hsieh, Jay Lepreau, To appear in the Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).

10/11/2000:
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions, Dawson Engler, Benjamen Chelf, Andy Chou, Seth Hallem, To appear in the Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).
Note: This paper is to appear in the OSDI 2000 proceedings as "Systems as Languages." It is not known if or how the online version and the version in the proceedings differ.

10/4/2000:
Self-Securing Storage: Protecting Data in Compromised Systems, John D. Strunk, Garth R. Goodson, Michael L. Scheinholtz, Craig A.N. Soules, Gregory R. Ganger, To appear in the Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).
Note: This paper is to appear in the OSDI 2000 proceedings as "Design and Implementation of a Self-Securing Storage Device." It is not known if or how the online version and the version in the proceedings differ.

9/27/2000:
Taming the Memory Hogs: Using Compiler Inserted Releases to Manage Physical Memory Intelligently, Angela Demke Brown, Todd C. Mowry, To appear in the Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).

Schedules for past years may be found here.


Questions or comments? Send them to zandy@cs.wisc.edu. Last changed $Date: 2001/09/27 17:16:38 $ by $Author: zandy $.