HotOS-VI Program

Welcome Reception

Continental Breakfast

Opening remarks, etc.

Implementation I

• Experience with the Development of a Microkernel-Based, Multi-Server Operating System
  • Freeman L. Rawson III (IBM Research Division)
• The Failure of Personalities to Generalize
  • Brett D. Fleisch (University of California - Riverside)

Microkernels

• Achieved IPC Performance
  • Jochen Liedtke (IBM T. J. Watson Research Center), Kevin Elphinstone (University of New South Wales), Sebastian Schönberg (Dresden University of Technology), Hermann Härtig (Dresden), Gernot Heiser (UNSW), Nayeem Islam (IBM), Trent Jaeger (IBM)
• The Network Hardware is the Operating System
  • Francisco J. Ballesteros, Luis L. Fernandez (University of Madrid)

Break: 10:30 - 11:00

Implementation II

• The Flux OS Toolkit: Reusable Components for OS Implementation
  • Bryan Ford, Kevin Van Maren, Jay Lepreau, Stephen Clawson, Bart Robinson (University of Utah), Jeff Turner (Dept. of Defense)
• Formal Methods: A Practical Tool for OS Implementors
  • Patrick Tullmann (University of Utah), Jeff Turner (Dept. of Defense), John McCorquodale, Jay Lepreau, Ajay Chitturi, Godmar Back (University of Utah)

Lunch: 12:00 - 1:00

Customizability

• Extensible Systems are Leading OS Research Astray
  • Peter Druschel, Vivek S. Pai, Willy Zwaenepoel (Rice University)
• Customization Lite
  • Marc Auslander (IBM T. J. Watson Research Center), Hubertus Franke (IBM), Ben Gamsa (University of Toronto), Orran Krieger (IBM), Michael Stumm (Toronto)
• Operating Systems for Component Software Environments
  • Noah Mendelsohn (Lotus Development Corporation)

Break: 2:30 - 3:00

Security

• Secure Applications Need Flexible Operating Systems
  • David Mazieres, Frans Kaashoek (MIT)
• Security for Extensible Systems
  • Robert Grimm, Brian Bershad (University of Washington)
• Building Diverse Computer Systems
  • Stephanie Forrest, Anil Somayaji, David. H. Ackley (University of New Mexico)
• Preventing Denial-of-Service Attacks on a micro-Kernel for WebOSes
  • Jochen Liedtke, Nayeem Islam, Trent Jaeger (IBM T. J. Watson Research Center)

Dinner Reception

Traditional "outrageous opinions" open-bar session

Continental Breakfast

The Internet as a big distributed system

• Query Routing: Applying Systems Thinking to Internet Search
  • Paul J. Leach, Chris Weider (Microsoft)
• General Purpose Proxies: Solved and Unsolved Problems
  • Bruce Zenel (Columbia University), Dan Duchamp (AT&T Labs -- Research)
• Reduce, Reuse, Recycle: An Approach to Building Large Internet Caches
  • Syam Gadde (Duke University), Michael Rabinovich (AT&T Labs - Research), Jeff Chase (Duke)
• Distributed Systems Support for Networked Games
  • Tzi-cker Chiueh (State University of New York at Stony Brook)

Break: 10:30 - 11:00

Rethinking

• Operating System Directions for the Next Millennium
  • William J. Bolosky, Richard P. Draves, Robert P. Fitzgerald, Christopher W. Fraser, Michael B. Jones, Todd B. Knoblock, Rick Rashid (Microsoft Research)
• Other panelists:
  • Bob Frankston (Microsoft)
  • Alan Nemeth (Digital Equipment Corp.)
  • Dave Presotto (Bell Labs)
  • Jim Waldo (JavaSoft)

Lunch: 12:00 - 1:00

System services

• Run-Time Code Generation as a Central System Service
  • Michael Franz (University of California - Irvine)
• What Synchronous Groupware Needs: Notification Services
  • Mark Day (Lotus Development Corporation)

Break: 2:00 - 2:30

Performance dynamics

• Self-Modifying and Self-Adapting Operating Systems
  • Margo Seltzer, Christopher Small (Harvard University)
• A Fresh Look at Memory Hierarchy Management
  • John Chapin (MIT)
• The Role of Trace Modulation in Building Mobile Computing Systems
  • M. Satyanarayanan (CMU), Brian Noble

Break: 3:30 - 4:00

Discussion topic to be chosen at the workshop