SOSP-16 Advance Program

Sponsored by ACM SIGOPS in cooperation with INRIA

Final Program

Sunday, October 5, 1997

18:00-22:00 Conference Registration (Main Entrance)

18:00-22:00 Opening Reception (Salle Lamennais -- 3rd floor)

Monday, October 6, 1997

7:00-9:00 Conference Registration (Main Entrance)

7:00-9:00 Breakfast (Salle Lamennais -- 3rd floor)

9:00-9:15 Welcome and Introduction

(Auditorium Chateaubriand -- Ground floor)

9:15-10:00 Keynote Address

(Auditorium Chateaubriand -- Ground floor)

The Linux Challenge.
Linus Torvalds (Transmeta).

10:00-10:30 Coffee Break (Rotonde Jacques Cartier -- 1st floor)

10:30-12:00 Session 1: Performance and Correctness

(Auditorium Chateaubriand -- Ground floor)

Chair: Jeff Chase

Continuous Profiling: Where Have All the Cycles Gone?
Jennifer M. Anderson, Lance M. Berc, Jeffrey Dean, Sanjay Ghemawat, Monika R. Henzinger, Shun-Tak A. Leung, Richard L. Sites, Mark T. Vandervoorde, Carl A. Waldspurger, and William E. Weihl (DEC Systems Research Center and Western Research Lab).

System Support for Automated Profiling and Optimization.
Xiaolan Zhang, Zheng Wang, Nicholas Gloy, J. Bradley Chen, and Michael D. Smith (Harvard University).

Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs.
Stefan Savage (University of Washington), Michael Burrows, Greg Nelson, Patrick Sobalvarro (DEC Systems Research Center), and Thomas Anderson (University of California, Berkeley).

12:00-14:00 Lunch (Salle Lamennais -- 3rd floor)

14:00-15:30 Session 2: Kernels and OS Structure

(Auditorium Chateaubriand -- Ground floor)

Chair: Mendel Rosenblum

The Flux OSKit: A Substrate for Kernel and Language Research.
Bryan Ford and Godmar Back (University of Utah), Greg Benson (University of California, Davis), Jay Lepreau (University of Utah), Albert Lin and Olin Shivers (MIT).

Application Performance and Flexibility on Exokernel Systems.
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor Briceño, Russell Hunt, David Mazières, and Tom Pinckney (MIT), Robert Grimm (University of Washington), John Janotti and Kenneth Mackenzie (MIT).

The Performance of µ-Kernel-Based Systems.
Hermann Härtig, Michael Hohmuth (Dresden University of Technology), Jochen Liedtke (IBM, Yorktown), Sebastian Schönberg, and Jean Wolter (Dresden University of Technology).

15:30-16:00 Coffee Break (Rotonde Jacques Cartier -- 1st floor)

16:00-17:30 Work-in-Progress Session

(Auditorium Chateaubriand -- Ground floor)

Chair: Karin Petersen

Work-in-Progress Abstracts.

19:00 Reception hosted by INRIA and Région Bretagne

(Salle Lamennais -- 3rd floor)

Tuesday, October 7, 1997

7:00-9:00 Breakfast (Salle Lamennais -- 3rd floor)

9:00-10:30 Session 3: Network and Data Services

(Auditorium Chateaubriand -- Ground floor)

Chair: Dave Gifford

Cluster-Based Scalable Network Services.
Armando Fox, Steven D. Gribble, Yatin Chawathe, Eric A. Brewer (University of California, Berkeley), and Paul Gauthier (Inktomi Corp.).

Free Transactions With Rio Vista.
David E. Lowell and Peter M. Chen (University of Michigan).

HAC: Hybrid Adaptive Caching for Distributed Storage Systems.
Miguel Castro, Atul Adya, Barbara Liskov, and Andrew C. Myers (MIT).

10:30-11:00 Coffee Break (Rotonde Jacques Cartier -- 1st floor)

11:00-12:00 Session 4: Security

(Auditorium Chateaubriand -- Ground floor)

Chair: Paulo Guedes

Extensible Security Architecture for Java.
Dan S. Wallach, Dirk Balfanz, Drew Dean, and Edward W. Felten (Princeton University).

A Decentralized Model for Information Flow Control.
Andrew C. Myers and Barbara Liskov (MIT).

12:00-14:00 Lunch (Salle Lamennais -- 3rd floor)

12:00-14:00 Systers Lunch (Salle Lamennais -- 3rd floor)

14:00-15:30 Session 5: Multiprocessing Support

(Auditorium Chateaubriand -- Ground floor)

Chair: Kai Li

Disco: Running Commodity Operating Systems on Scalable Multiprocessors.
Edouard Bugnion, Scott Devine, and Mendel Rosenblum (Stanford University).

Towards Transparent and Efficient Software Distributed Shared Memory.
Daniel J. Scales and Kourosh Gharachorloo (DEC Western Research Lab).

Cashmere-2L: Software Coherent Shared Memory on a Clustered Remote-Write Network.
Robert Stets, Sandhya Dwarkadas, Nikolaos Hardavellas, Galen Hunt, Leonidas Kontothanassis, Srinivasan Parthasarathy, and Michael Scott (University of Rochester).

15:30-16:00 Coffee Break (Rotonde Jacques Cartier -- 1st floor)

16:00-17:30 Session 6: Scheduling for Multimedia

(Auditorium Chateaubriand -- Ground floor)

Chair: Susan Owicki

The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications.
Jason Nieh and Monica S. Lam (Stanford University).

CPU Reservations & Time Constraints: Efficient, Predictable Scheduling of Independent Activities.
Michael B. Jones (Microsoft Research), Daniela Rosu, and Marcel-Catalin Rosu (Georgia Institute of Technology).

Distributed Schedule Management in the Tiger Video Fileserver.
William J. Bolosky, Robert P. Fitzgerald, and John R. Douceur (Microsoft Research).

17:30-19:00 Poster Session

(Salle Bouvet -- 1st floor)

Chair: Karin Petersen

Poster Abstracts.

19:30 Dinner (Salle Lamennais -- 3rd floor)

21:00 SIGOPS Business Meeting

(Salle Charcot -- 1st floor)

Chair: Carla Ellis

Wednesday, October 8, 1997

7:00-8:30 Breakfast (Salle Lamennais -- 3rd floor)

8:30-10:00 Session 7: File Systems and I/O

(Auditorium Chateaubriand -- Ground floor)

Chair: John Wilkes

Frangipani: A Scalable Distributed File System.
Chandramohan A. Thekkath, Timothy Mann, and Edward K. Lee (DEC Systems Research Center).

Improving the Performance of Log-Structured File Systems with Adaptive Methods.
Jeanna Neefe Matthews, Drew Roselli, Adam M. Costello, Randolph Y. Wang, and Thomas E. Anderson (University of California, Berkeley).

Exploiting the Non-Determinism and Asynchrony of Set Iterators to Reduce Aggregate File I/O Latency.
David C. Steere (Oregon Graduate Institute).

10:00-10:30 Coffee Break (Rotonde Jacques Cartier -- 1st floor)

10:30-12:00 Session 8: Mobile Systems

(Auditorium Chateaubriand -- Ground floor)

Chair: Jeff Mogul

Automated Hoarding for Mobile Computers.
Geoffrey H. Kuenning and Gerald J. Popek (UCLA).

Agile Application-Aware Adaptation for Mobility.
Brian D. Noble, M. Satyanarayanan, Dushyanth Narayanan, James Eric Tilton, Jason Flinn, and Kevin R. Walker (Carnegie Mellon University).

Flexible Update Propagation for Weakly Consistent Replication.
Karin Petersen, Mike J. Spreitzer, Douglas B. Terry, Marvin M. Theimer, and Alan J. Demers (Xerox PARC).

12:00-14:00 Lunch (both sitdown and boxed) (Salle Lamennais -- 3rd floor)

Photos utilisées avec l'aimable autorisation de l'office du tourime de St-Malo Š1996

This page is being maintained by Valerie.Issarny at irisa.fr with assistance of Gerard.Paget at irisa.fr
Pages created with the help of Gwen Heliou.
Copyright ©1996 INRIA-Rennes - Last modified: September 16, 1997

18:00-22:00	Conference Registration (Main Entrance)
18:00-22:00	Opening Reception (Salle Lamennais -- 3rd floor)

7:00-9:00	Conference Registration (Main Entrance)
7:00-9:00	Breakfast (Salle Lamennais -- 3rd floor)

9:00-9:15	Welcome and Introduction
	(Auditorium Chateaubriand -- Ground floor)

9:15-10:00	Keynote Address
	(Auditorium Chateaubriand -- Ground floor)
	The Linux Challenge. Linus Torvalds (Transmeta).

10:00-10:30	Coffee Break (Rotonde Jacques Cartier -- 1st floor)

10:30-12:00	Session 1: Performance and Correctness
	(Auditorium Chateaubriand -- Ground floor)
	Chair: Jeff Chase
	Continuous Profiling: Where Have All the Cycles Gone? Jennifer M. Anderson, Lance M. Berc, Jeffrey Dean, Sanjay Ghemawat, Monika R. Henzinger, Shun-Tak A. Leung, Richard L. Sites, Mark T. Vandervoorde, Carl A. Waldspurger, and William E. Weihl (DEC Systems Research Center and Western Research Lab).
	System Support for Automated Profiling and Optimization. Xiaolan Zhang, Zheng Wang, Nicholas Gloy, J. Bradley Chen, and Michael D. Smith (Harvard University).
	Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs. Stefan Savage (University of Washington), Michael Burrows, Greg Nelson, Patrick Sobalvarro (DEC Systems Research Center), and Thomas Anderson (University of California, Berkeley).

12:00-14:00	Lunch (Salle Lamennais -- 3rd floor)

14:00-15:30	Session 2: Kernels and OS Structure
	(Auditorium Chateaubriand -- Ground floor)
	Chair: Mendel Rosenblum
	The Flux OSKit: A Substrate for Kernel and Language Research. Bryan Ford and Godmar Back (University of Utah), Greg Benson (University of California, Davis), Jay Lepreau (University of Utah), Albert Lin and Olin Shivers (MIT).
	Application Performance and Flexibility on Exokernel Systems. M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor Briceño, Russell Hunt, David Mazières, and Tom Pinckney (MIT), Robert Grimm (University of Washington), John Janotti and Kenneth Mackenzie (MIT).
	The Performance of µ-Kernel-Based Systems. Hermann Härtig, Michael Hohmuth (Dresden University of Technology), Jochen Liedtke (IBM, Yorktown), Sebastian Schönberg, and Jean Wolter (Dresden University of Technology).

15:30-16:00	Coffee Break (Rotonde Jacques Cartier -- 1st floor)

16:00-17:30	Work-in-Progress Session
	(Auditorium Chateaubriand -- Ground floor)
	Chair: Karin Petersen
	Work-in-Progress Abstracts.

19:00	Reception hosted by INRIA and Région Bretagne
	(Salle Lamennais -- 3rd floor)

7:00-9:00	Breakfast (Salle Lamennais -- 3rd floor)

9:00-10:30	Session 3: Network and Data Services
	(Auditorium Chateaubriand -- Ground floor)
	Chair: Dave Gifford
	Cluster-Based Scalable Network Services. Armando Fox, Steven D. Gribble, Yatin Chawathe, Eric A. Brewer (University of California, Berkeley), and Paul Gauthier (Inktomi Corp.).
	Free Transactions With Rio Vista. David E. Lowell and Peter M. Chen (University of Michigan).
	HAC: Hybrid Adaptive Caching for Distributed Storage Systems. Miguel Castro, Atul Adya, Barbara Liskov, and Andrew C. Myers (MIT).

10:30-11:00	Coffee Break (Rotonde Jacques Cartier -- 1st floor)

11:00-12:00	Session 4: Security
	(Auditorium Chateaubriand -- Ground floor)
	Chair: Paulo Guedes
	Extensible Security Architecture for Java. Dan S. Wallach, Dirk Balfanz, Drew Dean, and Edward W. Felten (Princeton University).
	A Decentralized Model for Information Flow Control. Andrew C. Myers and Barbara Liskov (MIT).

12:00-14:00	Lunch (Salle Lamennais -- 3rd floor)
12:00-14:00	Systers Lunch (Salle Lamennais -- 3rd floor)

14:00-15:30	Session 5: Multiprocessing Support
	(Auditorium Chateaubriand -- Ground floor)
	Chair: Kai Li
	Disco: Running Commodity Operating Systems on Scalable Multiprocessors. Edouard Bugnion, Scott Devine, and Mendel Rosenblum (Stanford University).
	Towards Transparent and Efficient Software Distributed Shared Memory. Daniel J. Scales and Kourosh Gharachorloo (DEC Western Research Lab).
	Cashmere-2L: Software Coherent Shared Memory on a Clustered Remote-Write Network. Robert Stets, Sandhya Dwarkadas, Nikolaos Hardavellas, Galen Hunt, Leonidas Kontothanassis, Srinivasan Parthasarathy, and Michael Scott (University of Rochester).

15:30-16:00	Coffee Break (Rotonde Jacques Cartier -- 1st floor)

16:00-17:30	Session 6: Scheduling for Multimedia
	(Auditorium Chateaubriand -- Ground floor)
	Chair: Susan Owicki
	The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications. Jason Nieh and Monica S. Lam (Stanford University).
	CPU Reservations & Time Constraints: Efficient, Predictable Scheduling of Independent Activities. Michael B. Jones (Microsoft Research), Daniela Rosu, and Marcel-Catalin Rosu (Georgia Institute of Technology).
	Distributed Schedule Management in the Tiger Video Fileserver. William J. Bolosky, Robert P. Fitzgerald, and John R. Douceur (Microsoft Research).

17:30-19:00	Poster Session
	(Salle Bouvet -- 1st floor)
	Chair: Karin Petersen
	Poster Abstracts.

19:30	Dinner (Salle Lamennais -- 3rd floor)

21:00	SIGOPS Business Meeting
	(Salle Charcot -- 1st floor)
	Chair: Carla Ellis

7:00-8:30	Breakfast (Salle Lamennais -- 3rd floor)

8:30-10:00	Session 7: File Systems and I/O
	(Auditorium Chateaubriand -- Ground floor)
	Chair: John Wilkes
	Frangipani: A Scalable Distributed File System. Chandramohan A. Thekkath, Timothy Mann, and Edward K. Lee (DEC Systems Research Center).
	Improving the Performance of Log-Structured File Systems with Adaptive Methods. Jeanna Neefe Matthews, Drew Roselli, Adam M. Costello, Randolph Y. Wang, and Thomas E. Anderson (University of California, Berkeley).
	Exploiting the Non-Determinism and Asynchrony of Set Iterators to Reduce Aggregate File I/O Latency. David C. Steere (Oregon Graduate Institute).

10:00-10:30	Coffee Break (Rotonde Jacques Cartier -- 1st floor)

10:30-12:00	Session 8: Mobile Systems
	(Auditorium Chateaubriand -- Ground floor)
	Chair: Jeff Mogul
	Automated Hoarding for Mobile Computers. Geoffrey H. Kuenning and Gerald J. Popek (UCLA).
	Agile Application-Aware Adaptation for Mobility. Brian D. Noble, M. Satyanarayanan, Dushyanth Narayanan, James Eric Tilton, Jason Flinn, and Kevin R. Walker (Carnegie Mellon University).
	Flexible Update Propagation for Weakly Consistent Replication. Karin Petersen, Mike J. Spreitzer, Douglas B. Terry, Marvin M. Theimer, and Alan J. Demers (Xerox PARC).

12:00-14:00	Lunch (both sitdown and boxed) (Salle Lamennais -- 3rd floor)