OS Reading Group

The Operating Systems Reading Group has been meeting for many years to discuss both recent and classic OS research. Faculty and graduate students contribute equally to discussions in these meetings. Our method for selecting and discussing papers is somewhat unusual: at each meeting a random roll of the dice selects a presenter for the current paper. (The person who chooses the following week's paper is also decided by a random roll of the dice.)

Clearly this setup requires everyone to have read the paper before the meeting! However, as systems researchers we have to be pragmatists, so unprepared folks can "buy out" of presenting by paying a small fine. (The collected fines are used to buy food and/or beverages for the group.) In recent years there has been a dearth of buy-outs, leading to great in-depth discussions!

New members are always welcome, and are granted amnesty from both presenting and selecting papers for their first few weeks. The current organizer/keeper of the mailing list is David Tam. Send him email if you would like to join us!

Habitual Attendees

Papers discussed in the recent past

Current Papers - Spring 2003

May 1 - Operating System Support for Virtual Machines
Samuel T. King, George W. Dunlap, Peter M. Chen. Proceedings of the 2003 Annual USENIX Technical Conference, June 2003.
April 24 - Vertigo: Automatic Performance-Setting for Linux
Krisztián Flautner, ARM Limited; Trevor Mudge, University of Michigan. Proceedings of the Fifth Symposium on Operating Systems Design and Implementation (OSDI), Boston, MA, December 2002.
April 17 -
April 10 -
April 3 - The Design and Implementation of Zap: A System for Migrating Computing Environments
Steven Osman, Dinesh Subhraveti, Gong Su, and Jason Nieh. Proceedings of the Fifth Symposium on Operating Systems Design and Implementation (OSDI), Boston, MA, December 2002.
March 27 - Taming aggressive replication in the Pangaea wide-area file system
Yasushi Saito, Christos Karamanolis, Magnus Karlsson, and Mallik Mahalingam. Proceedings of the Fifth Symposium on Operating Systems Design and Implementation (OSDI), Boston, MA, December 2002.
March 20 - Cancelled
March 13 -
March 6 - CMC: A Pragmatic Approach to Model Checking Real Code
Madanlal Musavathi, David Y.W. Park, Andy Chou, Dawson R. Engler, David L. Dill. Proceedings of the Fifth Symposium on Operating Systems Design and Implementation (OSDI), Boston, MA, December 2002.
February 27 - Resource Overbooking and Application Profiling in Shared Hosting Platforms
Bhuvan Urgaonkar, Prashant Shenoy and Timothy Roscoe. Proceedings of the Fifth Symposium on Operating Systems Design and Implementation (OSDI), Boston, MA, December 2002.
February 20 - Reading Week - No meeting
February 13 -
February 6 - The vMatrix: A Network of Virtual Machine Monitors for Dynamic Content Distribution
Amr Awadallah and Mendel Rosenblum.
January 30 - Design and Implementation of a Dynamic Optimization Framework for Windows
Derek Bruening, Evelyn Duesterwald, and Saman Amarasinghe. Proceedings of the 4th ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-4), Austin, Texas, December, 2001.

Angela Demke Brown

Last modified: Mon Apr 29 15:41:08 EDT 2002