The Community for Technology Leaders
CSDL Home H HOTOS 1997
Hot Topics in Operating Systems, Workshop on (1997)
Cape Cod, MA
May 5, 1997 to May 6, 1997
ISBN: 0-8186-7834-8
TABLE OF CONTENTS

Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133) (PDF)

pp. iii

From the General Chair (PDF)

pp. ix

From the Program Chair (PDF)

pp. x

Conference Committees (PDF)

pp. xi
Implementation: Session Leader: Peter Druschel

Experience with the Development of a Microkernel-Based, Multi-Server Operating System (Abstract)

F. Rawson Iii , IBM Corp., Austin, TX, USA
pp. 2

The Failure of Personalities to Generalize (Abstract)

B. Fleisch , Dept. of Comput. Sci., California Univ., Riverside, CA, USA
pp. 8

The Flux OS Toolkit: Reusable Components for OS Implementation (Abstract)

B. Ford , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
J. Lepreau , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
S. Clawson , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
K. Van Maren , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
B. Robinson , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
J. Turner , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
pp. 14

Formal Methods: A Practical Tool for OS Implementors (Abstract)

P. Tullmann , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
J. Turner , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
J. McCorquodale , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
J. Lepreau , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
A. Chitturi , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
G. Back , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
pp. 20
Microkernels: Session Leader: John Carter

Achieved IPC Performance (Abstract)

J. Liedtke , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
K. Elphinstone , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
S. Schiinberg , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
H. Hartig , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
G. Heiser , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
N. Islam , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
T Jaeger , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
pp. 28

The Network Hardware is the Operating System (Abstract)

F. Ballesteros , Syst. & Commun. Group, Carlos III Univ. of Madrid, Spain
L. Fernandez , Syst. & Commun. Group, Carlos III Univ. of Madrid, Spain
pp. 32
Session Leader: Pei Cao

Extensible Kernels are Leading OS Research Astray (Abstract)

P. Druschel , Dept. of Comput. Sci., Rice Univ., Houston, TX, USA
V. Pai , Dept. of Comput. Sci., Rice Univ., Houston, TX, USA
W. Zwaenepoel , Dept. of Comput. Sci., Rice Univ., Houston, TX, USA
pp. 38

Customization Lite (Abstract)

M. Auslander , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
H. Franke , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
B. Gamsa , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
0. Krieger , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
M. Stumm , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 43

Operating Systems for Component Software Environments (Abstract)

N. Mendelsohn , Lotus Dev. Corp., Cambridge, MA, USA
pp. 49
Security: Session Leader: Rob Gingell

Secure Applications Need Flexible Operating Systems (Abstract)

David Mazières , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
M. Kaashoek , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
pp. 56

Security for Extensible Systems (Abstract)

R. Grimm , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
B. Bershad , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
pp. 62

Building Diverse Computer Systems (Abstract)

S. Forrest , Dept. of Comput. Sci., New Mexico Univ., Albuquerque, NM, USA
A. Somayaji , Dept. of Comput. Sci., New Mexico Univ., Albuquerque, NM, USA
D. Ackley , Dept. of Comput. Sci., New Mexico Univ., Albuquerque, NM, USA
pp. 67

Preventing Denial-of-Service Attacks on a P-Kernel for WebOSes (Abstract)

J. Liedtke , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
N. Islam , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
T. Jaeger , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 73
The Internet as a Big Distributed System:Session Leader: Jeff Mogul

Query Routing: Applying Systems Thinking to Internet Search (Abstract)

P. Leach , Microsoft Corp., Redmond, WA, USA
C. Weider , Microsoft Corp., Redmond, WA, USA
pp. 82

General Purpose Proxies: Solved and Unsolved Problems (Abstract)

B. Zenel , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
D. Duchamp , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
pp. 87

Reduce, Reuse, Recycle: An Approach to Building Large Internet Caches (Abstract)

S. Gadde , Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
M. Rabinovich , Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
J. Chase , Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
pp. 93

Distributed Systems Support for Networked Games (Abstract)

Tzi-Cker Chiueh , Dept. of Comput. Sci., State Univ. of New York, Stony Brook, NY, USA
pp. 99
Rethinking: Session Leader: Mary Baker

Operating System Directions for the Next Millennium (Abstract)

R. Draves , Microsoft Corp., Redmond, WA, USA
W. Bolosky , Microsoft Corp., Redmond, WA, USA
R. Fitzgerald , Microsoft Corp., Redmond, WA, USA
C. Fraser , Microsoft Corp., Redmond, WA, USA
M. Jones , Microsoft Corp., Redmond, WA, USA
T. Knoblock , Microsoft Corp., Redmond, WA, USA
R. Rashid , Microsoft Corp., Redmond, WA, USA
pp. 106
System Services: Session Leader: Brad Chen

Run-Time Code Generation as a Central System Service (Abstract)

M. Franz , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 112

What Synchronous Groupware Needs: Notification Services (Abstract)

M. Day , Lotus Dev. Corp., Cambridge, MA, USA
pp. 118
Performance Dynamics: Session Leader: Mike Jones

Self-Monitoring and Self-Adapting Operating Systems (Abstract)

M. Seltzer , Harvard Univ., MA, USA
C. Small , Harvard Univ., MA, USA
pp. 124

A Fresh Look at Memory Hierarchy Management (Abstract)

J. Chapin , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
pp. 130

The Role of Trace Modulation in Building Mobile Computing Systems (Abstract)

M. Satyanarayanan , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
B. Noble , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 135

Index of Authors (PDF)

pp. 141
90 ms
(Ver 3.3 (11022016))