📄 http:^^www.cs.washington.edu^homes^savage^
字号:
Date: Thu, 21 Nov 1996 22:52:05 GMTServer: NCSA/1.4.2Content-type: text/htmlLast-modified: Tue, 27 Feb 1996 08:13:37 GMTContent-length: 5815<html><head><title>Stefan Savage</title><h1> <a name="top">Stefan Savage</a><br> <em>savage@cs.washington.edu</em></h1><!WA0><!WA0><!WA0><!WA0><!WA0><a href=http://www.cs.washington.edu/homes/savage/pictures/medome_big.gif> <!WA1><!WA1><!WA1><!WA1><!WA1><img src=http://www.cs.washington.edu/homes/savage/pictures/medome.gif></a><p><address><dl><dt><!WA2><!WA2><!WA2><!WA2><!WA2><a href=http://www.cs.washington.edu/homes/savage/pictures/work.gif>Work:</a> <br><dd><!WA3><!WA3><!WA3><!WA3><!WA3><a href=http://www.cs.washington.edu/> Computer Science & Engineering Department,</a><br> <!WA4><!WA4><!WA4><!WA4><!WA4><a href=ftp://ftp.u.washington.edu/public/> University of Washington,</a> FR-35, <br><!WA5><!WA5><!WA5><!WA5><!WA5><a href="http://www.cs.washington.edu/area/"> Seattle, WA</a> 98195 USA <br><dt><!WA6><!WA6><!WA6><!WA6><!WA6><a href=http://www.cs.washington.edu/homes/savage/pictures/4223.gif>Home</a>: <br><dd>4223 5th Ave NE<br> <!WA7><!WA7><!WA7><!WA7><!WA7><a href="http://www.cs.washington.edu/area/">Seattle, WA</a> 98105 USA <br></dl></address></head><hr><body>After sampling the rich post-industrial culture of modern Pittsburghfor six years, I caught a ride with the 1993 Bershad migration and I'mnow a gradual student of the first rank here at UW. My strongbackground in 19th and 20th century American History provides me witha firm, yet irrelevant, platform from which to "trash talk" my peers:<dl><dd>"Any fool can see that de Tocqeuville's statement,'[Americans] find it a tiresome inconvenience to exercisepolitical rights which distract them from industry' is quite similar tocurrent microprocessor architectural trends favoring the needs ofapplication code over operating systems"</dl><p>I work with <!WA8><!WA8><!WA8><!WA8><!WA8><ahref="http://www.cs.washington.edu/homes/bershad/">Brian Bershad</a> and the rest of the </a> <!WA9><!WA9><!WA9><!WA9><!WA9><a href=http://www.cs.washington.edu/homes/savage/pictures/team.gif>merry band</a> onan operating system project called SPIN. <h2>Projects</h2><dl><dt><!WA10><!WA10><!WA10><!WA10><!WA10><a href = http://www.cs.washington.edu/research/projects/spin/www/><i>SPIN</i></a><dd><i>SPIN</i> is an extensible operating system omnifemtokernel whichsupports the dynamic adaptation of system interfaces andimplementations through direct application control, while stillmaintaining system integrity and inter-application isolation. </dl><h2>Things in Writing</h2><dl><b><i>SPIN papers</i></b></dl><ul><li> <!WA11><!WA11><!WA11><!WA11><!WA11><a href=http://www.cs.washington.edu/homes/savage/papers/sosp95.ps> Extensibility, Safety and Performance in the <i>SPIN</i> Operating System</a> <ul> in <i> "Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP-15)"</i>, pp. 267-284, Copper Mountain, CO, December 1995.</ul> <ul>Slides from the <!WA12><!WA12><!WA12><!WA12><!WA12><a href=http://www.cs.washington.edu/homes/savage/papers/savageSosp95slides.ps>talk</a>.</ul><li> <!WA13><!WA13><!WA13><!WA13><!WA13><a href=http://www.cs.washington.edu/homes/savage/papers/wcsss96lang.ps> Language Support for Extensible Operating Systems</a> <ul> in <i> "Proceedings of the First Workshop on Compiler Support for System Software (WCSSS)"</i>, Tucson, AZ, Feb 1996.</ul><li> <!WA14><!WA14><!WA14><!WA14><!WA14><a href=http://www.cs.washington.edu/homes/savage/papers/wcsss96m3os.ps> Writing an Operating System with Modula-3</a> <ul> in <i> "Proceedings of the First Workshop on Compiler Support for System Software (WCSSS)"</i>, Tucson, AZ, Feb 1996.</ul><li> <!WA15><!WA15><!WA15><!WA15><!WA15><a href=http://www.cs.washington.edu/homes/savage/papers/hotos95.ps> Protection is a Software Issue</a> <ul> in <i> "Proceedings of the Fifth Workshop on Hot Topics in Operating Systems (HotOS-V)"</i>, pp. 62-65, Orcas Island, WA, May 1995.</ul><li> <!WA16><!WA16><!WA16><!WA16><!WA16><a href=http://www.cs.washington.edu/homes/savage/papers/osdi94.ps> Some Issues in the Design of an Extensible Operating System</a> <ul>in <i>"Proceedings of the First USENIX Symposium on Operating System Design and Implementation (OSDI-1)"</i>, p. 196, Monterey, CA, November 1994. (panel abstract)</ul> <ul> A longer (unpublished) version of the above <!WA17><!WA17><!WA17><!WA17><!WA17><a href=http://www.cs.washington.edu/homes/savage/papers/issues_ext.ps> paper</a>. </ul><li> <!WA18><!WA18><!WA18><!WA18><!WA18><a href=http://www.cs.washington.edu/homes/savage/papers/sigops94.ps> <i>SPIN</i> - An Extensible Microkernel for Application-specific Operating System Services</a> <ul>in <i> "Proceedings of the Sixth SIGOPS European Workshop on Matching Operating Systems to Application Needs"</i>.</ul> <ul>A version appeared in <!WA19><!WA19><!WA19><!WA19><!WA19><a href=http://www.cs.washington.edu/homes/savage/papers/osr.ps>Operating Systems Review</a>, pp. 74-77, January 1995, v 29, no 1. </ul><li> <!WA20><!WA20><!WA20><!WA20><!WA20><a href=ftp://cs.washington.edu/tr/1994/03/UW-CSE-94-03-03.PS.Z> <i>SPIN</i> - An Extensible Microkernel for Application-specific Operating System Services</a> <ul>University of Washington Tech Report UW-CSE-94-03-03, March 1994.</ul> <p></ul><dl><b>AFRAID paper</b></dl><ul><li> <!WA21><!WA21><!WA21><!WA21><!WA21><a href=http://www.cs.washington.edu/homes/savage/papers/usenix96.ps> AFRAID -- A Frequently Redundant Array of Independent Disks</a> <ul>in <i>"Proceedings of the 1996 Winter USENIX Technical Conference"</i>, pp. 27--39, San Diego, CA, January 1996. (best student paper) </ul> <ul>Slides from the <!WA22><!WA22><!WA22><!WA22><!WA22><a href=http://www.cs.washington.edu/homes/savage/papers/savageUsenix96slides.ps>talk</a>.</ul><p></ul><dl><b>Reservation papers</b></dl><ul><li> <!WA23><!WA23><!WA23><!WA23><!WA23><a href=http://www.cs.washington.edu/homes/savage/papers/mcs94.ps> Processor Capacity Reserves: Operating System Support for Multimedia Applications</a> <ul> in <i> "Proceedings of the First IEEE International Conference on Multimedia Computing and Systems"</i>, Boston, MA, May 1994.</ul><li> <!WA24><!WA24><!WA24><!WA24><!WA24><a href=http://www.cs.washington.edu/homes/savage/papers/wwos93.ps> Processor Capacity Reserves: An Abstraction for Managing Processor Usage</a> <ul> in <i> "Proceedings of the Fourth Workshop on Workstation Operating Systems (WWOS-IV)"</i>, pp. 129-134, Napa, CA, October 1993.</ul><li> <!WA25><!WA25><!WA25><!WA25><!WA25><a href=http://www.cs.washington.edu/homes/savage/papers/CMU-CS-93-157.ps> Processor Capacity Reserves for Multimedia Operating Systems</a> <ul>Carnegie-Mellon Tech Report CMU-CS-93-157, May 1993.</ul><p></ul><dl><b>Ye Old Real-Time Mach paper</b></dl><ul><li> <!WA26><!WA26><!WA26><!WA26><!WA26><a href=http://www.cs.washington.edu/homes/savage/papers/machnix93.ps> Real-Time Mach Timers: Exporting Time to the User</a> <ul>in <i>"Proceedings of the Third USENIX Mach Symposium"</i>, pp. 111-118, Santa Fe, April 1993.</ul><ul>Slides from the <!WA27><!WA27><!WA27><!WA27><!WA27><a href=http://www.cs.washington.edu/homes/savage/papers/savageMachnix93slides.ps>talk</a>.</ul></ul><h2>Interests</h2><ul><li> <!WA28><!WA28><!WA28><!WA28><!WA28><a href = http://www.cs.washington.edu/homes/savage/music.html>Music</a><li> <!WA29><!WA29><!WA29><!WA29><!WA29><a href = http://www.cs.washington.edu/homes/savage/hiking.html>Hiking</a></ul>This web is under construction...<p></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -