Papers discussed in the recent past

Fall 2002

Spring/Summer 2002

• August 14 - Application-controlled physical memory using external page-cache management
  Kieran Harty, David R. Cheriton, In Proc. of 5th International Conference on Architectural Support for Programming Languages and Operating Systems, 12--15 October 1992. Abstract [ACM Digital Library, author's copy]
• August 7 - Inferring internet denial-of-service activity
  David Moore, Geoffrey M. Voelker, Stefan Savage, In Proc. of 2001 Usenix Security Symposium, 13--17 August 2001. Abstract [USENIX library, author's copy]
• July 31 - pdd: Memory imaging and forensic analysis of Palm OS devices
  Joseph Grand, In Proc. of 14th Annual Computer Security Incident Handling Conference, 24--28 June 2002. Abstract [author's copy]
• July 24 - Cancelled
• July 17 - Active network vision and reality: lessons from a capsule-based system
  David Wetherall, In Proc. of 17th ACM Symposium on Operating Systems Principles, 12--15 December 1999. Abstract [ACM Digital Library copy, author's copy]
• July 10 - A lock-free multiprocessor OS kernel
  Henry Massalin, Calton Pu, Columbia University Technical Report No. CUCS-005-91, 19 June 1991. Abstract [Columbia Univ. TR Repository]
• June 26 - Threads and input/output in the Synthesis kernel
  Henry Massalin, Calton Pu, In Proc. of Twelfth ACM Symposium on Operating Systems Principles, 3--6 December 1989. Abstract [ACM digital library copy]
• June 19 - Conquest: better performance through a disk/persistent-RAM hybrid file system
  An-I A. Wang, Peter Reiher, Gerald J. Popek, Geoffrey H. Kuenning, In Proc. of USENIX Annual Technical Conference, 10--15 June 2002. Abstract [USENIX library, author's copy]
• June 12 - Structure and performance of the direct access file system
  Kostas Magoutis, Salimah Addetia, Alexandra Fedorova, Margo I. Seltzer, Jeffrey S. Chase, Andrew J. Gallatin, Richard Kisley, Rajiv G. Wickremesinghe, Eran Gabber, In Proc. of USENIX Annual Technical Conference, 9--14 June 2002. Abstract [USENIX library, author's copy]
• June 5 - THINK: a software framework for component-based operating system kernels
  Jean-Philippe Fassino, Jean-Bernard Stefani, Julia Lawall, Gilles Muller, In Proc. of Usenix Annual Technical Conference, 10--15 June 2002. Abstract [USENIX library, author's copy]
• May 29 - An operating system in Java for the Lego Mindstorms RCX microcontroller
  Pekka Nikander, In Proc. of 2000 USENIX Annual Technical Conference, Freenix Session, 18--23 June 2000. Abstract [USENIX library]
• May 22 - Using cohort scheduling to enhance server performance
  James R. Larus, Michael Parkes, In Proc. of Usenix Annual Technical Conference, 10--15 June 2002. Abstract [USENIX library, author's copy]
• May 15 - Using complete machine simulation for software power estimation: the SoftWatt approach
  Sudhanva Gurumurthi, Anand Sivasubramaniam, Mary Jane Irwin, N. Vijaykrishnan, Mahmut Kandemir, Tao Li, Lizy Kurian John, In Proc. of 8th HPCA., 2--6 February 2002. Abstract [author's copy]
• May 8 - Symbiotic jobscheduling with priorities for a simultaneous multithreading processor
  A. Snavely, D. Tullsen and G. Voelker, Proc. of the 2002 Joint International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS '02), June 2002.
Abstract [ACM Digital Library, author's copy]
• May 1 - The optimum pipeline depth for a microprocessor

A. Hartstein and T. R. Puzak, Proc. of the 29th Annual International Symposium on Computer Architecture (ISCA '02), May 2002. Abstract [Conference web site copy]
• April 24 - Safety, Visibility, and Performance in a Wide-Area File System

M. Kim, L.P. Cox, and B. D. Noble, Proc. of the First USENIX Conference on File and Storage Technologies (FAST '02), January 2002. Abstract [USENIX library]

Winter 2002

• Scalability of Linux event-dispatch mechanisms
  Abhishek Chandra, David Mosberger, In Proc. of 2001 USENIX Annual Technical Conference, 25--30 June 2001. Abstract
• Virtualizing I/O devices on VMware workstation's hosted virtual machine monitor
  Jeremy Sugerman, Ganesh Venkitachalam, Beng-Hong Lim, In Proc. of 2001 USENIX Annual Technical Conference, 25--30 June 2001. Abstract
• Timing-accurate storage emulation
  John Linwood Griffin, Jiri Schindler, Steven W. Schlosser, John S. Bucy, Gregory R. Ganger, In Proc. of Proceedings of 1st USENIX Conference on File and Storage Technology, 28--30 January 2002. Abstract
• Building a robust software-based router using network processors
  Tammo Spalink, Scott Karlin, Larry Peterson, Yitzchak Gottlieb, In Proc. of 18th SOSP, 21--24 October 2001. Abstract
• Utilizing Linux kernel components in K42
  K42 Team, IBM White Paper, October 2001. Abstract

Before 2002

• The case for resilient overlay networks
  David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris, In Proc. of 8th HotOS, 20--23 May 2001. Abstract
• Information and control in gray-box systems
  Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, In Proc. of 18th ACM Symposium on Operating Systems Principles, 21--24 October 2001. Abstract
• Hoard: a scalable memory allocator for multithreaded applications
  Emery D. Berger, Kathryn S. McKinley, Robert D. Blumofe, Paul R. Wilson, In Proc. of 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 12--15 November 2000. Abstract
• Taming the memory hogs: using compiler-inserted releases to manage physical memory intelligently
  Angela Demke Brown, Todd C. Mowry, In Proc. of 4th OSDI., 23--25 October 2000. Abstract
• When virtual is better than real
  Peter M. Chen, Brian D. Noble, In Proc. of 8th HotOS., 20--23 May 2001. Abstract
• An empirical study of operating systems errors
  Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson Engler, In Proc. of 18th ACM Symposium on Operating Systems Principles, 21--24 October 2001. Abstract
• Performance-driven processor allocation
  Julita Corbalán, Xavier Martorell, Jesús Labarta, In Proc. of 4th OSDI., 23--25 October 2000. Abstract
• Bugs as deviant behavior: a general approach to inferring errors in systems code
  Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, Benjamin Chelf, In Proc. of 18th ACM Symposium on Operating Systems Principles, 21--24 October 2001. Abstract
• Guest viewpoint: a critical look at IA-64 (Massive resources, massive ILP, but can it deliver?)
  Martin Hopkins, Cahners Microprocessor Report, 7 February 2000. Abstract
  (also a draft of a letter, Rebuttal of Worley-Huck Paper on IA-64)
• Anticipatory scheduling: a disk scheduling framework to overcome deceptive idleness in synchronous I/O
  Sitaram Iyer, Peter Druschel, In Proc. of 18th ACM Symposium on Operating Systems Principles, 21--24 October 2001. Abstract
• K42 Overview
  K42 Team, IBM White Paper, October 2001. Abstract
• A low-overhead high-performance unified buffer management scheme that exploits sequential and looping references
  Jong Min Kim, Jongmoo Choi, Jesung Kim, Sam H. Noh, Sang Lyul Min, Yookun Cho, Chong Sang Kim, In Proc. of 4th OSDI, 23--25 October 2000. Abstract
• An evaluation of the ninth SOSP submissions, or, how (and how not) to write a good systems paper
  Roy Levin, David D. Redell, Operating Systems Review, July 1983. Abstract
• Toward real microkernels
  Jochen Liedtke, Communications of the ACM, September 1996. Abstract
• Devil: an IDL for hardware programming
  Fabrice Mérillon, Laurent Réveillčre, Charles Consel, Renaud Marlet, Gilles Muller, In Proc. of 4th OSDI, 23--25 October 2000. Abstract
• A low-bandwidth network file system
  Athicha Muthitacharoen, Benjie Chen, David Mazieres, In Proc. of 18th SOSP, 21--24 October 2001. Abstract
• Real-time dynamic voltage scaling for low-power embedded operating systems
  Padmanabhan Pillai, Kang G. Shin, In Proc. of 18th SOSP, 21--24 October 2001. Abstract
• Optimistic incremental specialization: streamlining a commercial operating system
  Calton Pu, Tito Autrey, Andrew Black, Charles Consel, Crispin Cowan, Jon Inouye, Lakshmi Kethana, Jonathan Walpole, Ke Zhang, In Proc. of 15th SOSP, 3--6 December 1995. Abstract
• An analysis of operating system behavior on a simultaneous multithreaded architecture
  Joshua A. Redstone, Susan J. Eggers, Henry M. Levy, In Proc. of 9th ASPLOS, 12--15 November 2000. Abstract
• Knit: component composition for systems software
  Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide, In Proc. of 4th OSDI, 23--25 October 2000. Abstract
• BASE: using abstraction to improve fault tolerance
  Rodrigo Rodrigues, Miguel Castro, Barbara Liskov, In Proc. of 18th SOSP, 21--24 October 2001. Abstract
• Designing computer systems with MEMS-based storage
  Steven W. Schlosser, John Linwood Griffin, David F. Nagle, Gregory R. Ganger, In Proc. of 9th ASPLOS, 12--15 November 2000. Abstract
• The task of the referee
  Alan Jay Smith, IEEE Computer, April 1990. Abstract
• SEDA: an architecture for well-conditioned, scalable internet services
  Matt Welsh, David Culler, Eric Brewer, In Proc. of 18th SOSP, 21--24 October 2001. Abstract
• Virtualization considered harmful: OS design directions for well-conditioned services
  Matt Welsh, David Culler, In Proc. of 8th HotOS, 20--23 May 2001. Abstract
• Protium, an infrastructure for partitioned applications
  Cliff Young, Y. N. Lakshman, Tom Szymanski, John Reppy, David Presotto, Rob Pike, Girija Narlikar, Sape Mullender, Eric Grosse, In Proc. of 8th HotOS, 20--23 May 2001. Abstract
• Autoconfiscating Amd: automatic software configuration of the Berkeley automounter
  Erez Zadoc, Unpublished, 1997. Abstract
• OS and compiler considerations in the design of the IA-64 architecture
  Rumi Zahir, Jonathan Ross, Dale Morris, Drew Hess, In Proc. of 9th ASPLOS, 12--15 November 2000. Abstract