8. HotOS 2001: Elmau/Oberbayern, Germany

Session 1: Core OS

• Michael Golm, Jürgen Kleinöder, Frank Bellosa:
  Beyond Address Spaces - Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System. 3-8
  
• Prashant Pradhan, Kartik Gopalan, Tzi-cker Chiueh:
  Design Issues in System Support for Programmable Routers. 9-14
  
• Jochen Liedtke, Horst Wenske:
  Lazy Process Switching. 15-18
  

Session 2: Fault tolerance

• Steven D. Gribble:
  Robustness in Complex Systems. 21-26
  
• Miguel Castro, Rodrigo Rodrigues, Barbara Liskov:
  Using Abstraction To Improve Fault Tolerance. 27-32
  
• Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau:
  Fail-Stutter Fault Tolerance. 33-38
  

Session 3: Invited Talk

• Pierre Paradinas: Smart Card Operating Systems: Overview and Trends.

Session 4: Frameworks for mobility

• Alex C. Snoeren, Hari Balakrishnan, M. Frans Kaashoek:
  Reconsidering Internet Mobility. 41-46
  
• Cliff Young, Yagati N. Lakshman, Tom Szymanski, John H. Reppy, David L. Presotto, Rob Pike, Girija J. Narlikar, Sape J. Mullender, Eric Grosse:
  Protium, an Infrastructure for Partitioned Applications. 47-52
  

Session 5: Modelling and (self-)tuning

• Antony I. T. Rowstron, Neil D. Lawrence, Christopher M. Bishop:
  Probabilistic Modelling of Replica Divergence. 55-60
  
• Jason Flinn, Dushyanth Narayanan, Mahadev Satyanarayanan:
  Self-Tuned Remote Execution for Pervasive Computing. 61-66
  
• Rolf Neugebauer, Derek McAuley:
  Energy is just another resource: Energy accountin and energy pricing in the Nemesis OS. 67-72
  

Session 6: Outrageous Opinions

Session 7: Peer-to-Peer Computing

• Peter Druschel, Antony I. T. Rowstron:
  PAST: A large-scale, persistent peer-to-peer storage utility. 75-80
  
• Frank Dabek, Emma Brunskill, M. Frans Kaashoek, David R. Karger, Robert Morris, Ion Stoica, Hari Balakrishnan:
  Building peer-to-peer systems with Chord, a distributed lookup service. 81-86
  
• Luis-Felipe Cabrera, Michael B. Jones, Marvin Theimer:
  Herald: Achieving a Global Event Notification Service. 87-92
  

Session 8: New devices

• Ethan L. Miller, Scott A. Brandt, Darrell D. E. Long:
  HeRMES: High-Performance Reliable MRAM-Enabled Storage. 95-99
  
• Gregory R. Ganger, David Nagle:
  Better Security via Smarter Devices. 100-105
  
• David A. Holland, William Josephson, Kostas Magoutis, Margo I. Seltzer, Christopher A. Stein, Ada T. Lim:
  Research Issues in No-Futz Computing. 106-110
  

Session 9: Breakout sessions

Session 10: Security & FT

• David Mazières, Dennis Shasha:
  Don't Trust your File Server. 113-118
  
• Robert Ricci, Jay Lepreau:
  Active Protocols for Agile, Censor-Resistant Networks. 119-124
  
• George Candea, Armando Fox:
  Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel. 125-130
  

Session 11: Virtualisation

• Peter M. Chen, Brian D. Noble:
  When Virtual is Better than Real. 133-138
  
• Matt Welsh, David E. Culler:
  Virtualization Considered Harmful: OS Design Directions for Well-Conditioned Services. 139-144
  

Session 12: Networking and OS

• Robert Grimm, Janet Davis, Ben Hendrickson, Eric Lemar, Adam MacBeth, Steven Swanson, Thomas E. Anderson, Brian N. Bershad, Gaetano Borriello, Steven D. Gribble, David Wetherall:
  Systems Directions for Pervasive Computing. 147-151
  
• David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris:
  The Case for Resilient Overlay Networks. 152-157
  

Position Summaries

• Luciano Porto Barreto, Gilles Muller:
  Bossa: A DSL Framework for Application-Specific Scheduling Policies. 161
  
• Patrick G. Bridges, Wen-Ke Chen, Matti A. Hiltunen, Richard D. Schlichting:
  Supporting Coordinated Adaption in Networked Systems. 162
  
• Fabián E. Bustamante, Greg Eisenhauer, Patrick Widener, Karsten Schwan, Calton Pu: Active Streams-An Approach to Adaptive Distributed Systems. 163
• Licia Capra, Wolfgang Emmerich, Cecilia Mascolo:
  Middleware for Mobile Computing: Awareness vs. Transparency. 164
  
• Jeffrey S. Chase, Ronald P. Doyle:
  Energy Management for Server Clusters. 165
  
• Yvonne Coady, Gregor Kiczales, Michael J. Feeley, Norman C. Hutchinson, Joon Suan Ong, Stephan Gudmundson:
  Aspect-Oriented System Structure. 166
  
• Eyal de Lara, Dan S. Wallach, Willy Zwaenepoel:
  Architectures for Adaption Systems. 167
  
• Antony Edwards, Gernot Heiser:
  Secure OS Extensibility Needn't Cost an Arm and a Leg. 168
  
• Gregory R. Ganger:
  Authentication Confidences. 169
  
• Kevin Hui, Jonathan Appavoo, Robert W. Wisniewski, Marc A. Auslander, David Edelsohn, Benjamin Gamsa, Orran Krieger, Bryan S. Rosenburg, Michael Stumm:
  Supporting Hot-Swappable Components for System Software. 170
  
• Kimberly Keeton, Eric Anderson:
  A Backup Appliance Composed of High-Capacity Disk Drives. 171
  
• Emre Kiciman, Laurence Melloul, Armando Fox:
  Towards Zero-Code Service Composition. 172
  
• Kåre J. Lauvset, Kjetil Jacobsen, Dag Johansen, Keith Marzullo:
  Separating Mobility from Mobile Agents. 173
  
• Jork Löser, Hermann Härtig, Lars Reuther:
  A Streaming Interface for Real-Time Interprocess Communication. 174
  
• Sam Michiels, Frank Matthijs, Dirk Walravens, Pierre Verbaeten:
  DiPS: A Unifying Approach for Developing System Software. 175
  
• Jeffrey C. Mogul:
  Toward a Rigorous Data Type Model for HTTP. 176
  
• David Petrou, Dushyanth Narayanan, Gregory R. Ganger, Garth A. Gibson, Elizabeth A. M. Shriver:
  Hinting for Goodness' Sake. 177
  
• Ian Piumarta, Frederic Ogel, Carine Baillarguet, Bertil Folliot:
  Applying the VVM Kernel to Flexible Web Caches. 178
  
• Nuno M. Preguiça, José Legatheaux Martins, Sérgio Duarte, Henrique João L. Domingos:
  Supporting Disconnected Operation in DOORS. 179
  
• Chrislain Razafimahefa, Ciarán Bryce, Michel Pawlak:
  The Lana Aproach to Wireless Computing. 180
  
• Phillip Stanley-Marbell, Cristian Borcea, Kiran Nagaraja, Liviu Iftode:
  Smart Messages: A System Architecture for Large Networks of Embedded Systems. 181
  
• Florin Sultan, Kiran Srinivasan, Liviu Iftode:
  Transport Layer Support for Highly-Available Network Services. 182
  
• Guido van 't Noordende, Frances M. T. Brazier, Andrew S. Tanenbaum, Maarten van Steen:
  Mansion, A Distributed Multi-Agent System. 183
  
• Alistair C. Veitch, Erik Riedel, Simon J. Towers, John Wilkes:
  Towards Global Storage Management and Data Placement. 184
  
• Marc Waldman, David Mazières:
  Censorship Resistant Publishing Through Document Entanglements. 185
  
• An-I Wang, Peter L. Reiher, Gerald J. Popek, Geoffrey H. Kuenning:
  The Conquest File System's Life after Disks. 186
  
• Andrew Warfield, Norman C. Hutchinson:
  The Importance of Good Plumbing-Reconsidering Infrastructure in Distributed Systems. 187
  
• John Wilkes, Patrick Goldsack, G. John Janakiraman, Lance Russell, Sharad Singhal, Andrew Thomas:
  EOS - The Dawn of the Resource Economy. 188
  
• Ken Yocum, Jeffrey S. Chase, Amin Vahdat:
  Anypoint Communication Protocol. 189
  

Last update Thu May 23 16:55:05 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page