Page type: student

Stefan Savage; Stefan Savage;savage@cs.washington.edu;Work:; Computer Science & Engineering Department,; University of Washington, FR-35,; Seattle, WA 98195 USA;Home:;4223 5th Ave NE;Seattle, WA 98105 USA;After sampling the rich post-industrial culture of modern Pittsburgh;for six years, I caught a ride with the 1993 Bershad migration and I'm;now a gradual student of the first rank here at UW. My strong;background in 19th and 20th century American History provides me with;a firm, yet irrelevant, platform from which to "trash talk" my peers:;"Any fool can see that de Tocqeuville's statement,;'[Americans] find it a tiresome inconvenience to exercise;political rights which distract them from industry' is quite similar to;current microprocessor architectural trends favoring the needs of;application code over operating systems";I work with Brian Bershad;and the rest of the merry band on;an operating system project called SPIN.;Projects;SPIN;SPIN is an extensible operating system omnifemtokernel which;supports the dynamic adaptation of system interfaces and;implementations through direct application control, while still;maintaining system integrity and inter-application isolation.;Things in Writing;SPIN papers;; Extensibility, Safety and Performance in the SPIN; Operating System; in "Proceedings of the 15th ACM Symposium on Operating System; Principles (SOSP-15)", pp. 267-284, Copper Mountain, CO,; December 1995.;Slides from the talk.;; Language Support for Extensible Operating Systems; in "Proceedings of the First Workshop on Compiler; Support for System Software (WCSSS)", Tucson, AZ, Feb 1996.;; Writing an Operating System with Modula-3; in "Proceedings of the First Workshop on Compiler; Support for System Software (WCSSS)", Tucson, AZ, Feb 1996.;; Protection is a Software Issue; in "Proceedings of the Fifth Workshop on Hot Topics in; Operating Systems (HotOS-V)", pp. 62-65, Orcas Island,; WA, May 1995.;; Some Issues in the Design of an Extensible Operating System;in "Proceedings of the First USENIX Symposium on Operating System; Design and Implementation (OSDI-1)", p. 196, Monterey, CA,; November 1994. (panel abstract); A longer (unpublished) version of the above; paper.;;SPIN - An Extensible Microkernel for Application-specific; Operating System Services;in "Proceedings of the Sixth SIGOPS European Workshop on; Matching Operating Systems to Application Needs".;A version appeared in; Operating Systems Review, pp. 74-77,; January 1995, v 29, no 1.;;SPIN - An Extensible Microkernel for Application-specific; Operating System Services;University of Washington Tech Report UW-CSE-94-03-03, March 1994.;AFRAID paper;; AFRAID -- A Frequently Redundant Array of Independent Disks;in "Proceedings of the 1996 Winter USENIX; Technical Conference", pp. 27--39, San Diego, CA, January; 1996. (best student paper);;Slides from the talk.;Reservation papers;; Processor Capacity Reserves: Operating System Support for Multimedia; Applications; in "Proceedings of the First IEEE International Conference; on Multimedia Computing and Systems", Boston, MA, May 1994.;; Processor Capacity Reserves: An Abstraction for Managing Processor Usage; in "Proceedings of the Fourth Workshop on Workstation; Operating Systems (WWOS-IV)", pp. 129-134, Napa, CA, October; 1993.;; Processor Capacity Reserves for Multimedia Operating Systems;Carnegie-Mellon Tech Report CMU-CS-93-157, May 1993.;Ye Old Real-Time Mach paper;; Real-Time Mach Timers: Exporting Time to the User;in "Proceedings of the Third USENIX Mach Symposium",; pp. 111-118, Santa Fe, April 1993.;Slides from the talk.;Interests; Music; Hiking;This web is under construction...;