2
| Program of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII) | |||||
|
May 20-23, 2001, 82493 Elmau/Oberbayern, Germany |
|||||
| Sunday, May 20 | |||||
| 18:00-20:00 | Registration | ||||
|---|---|---|---|---|---|
| 19:00-22:00 | Reception | ||||
| Monday, May 21 | |||||
| 8:00-9:00 | Breakfast | ||||
| 8:00-9:00 | Registration | ||||
| 9:00-9:15 | Welcome | ||||
| 9:15-10:45 | Session 1 | Core OS | Peter Druschel | ||
| Beyond Address Spaces - Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System | Michael Golm, Jürgen Kleinöder, Frank Bellosa | |
|||
| Design Issues in System Support for Programmable Routers | Prashant Pradhan, Kartik Gopalan, Tzi-cker Chiueh | |
|||
| Lazy Process Switching | Jochen Liedtke, Horst Wenske |
|
|||
| 10:45-11:15 | Break | ||||
| 11:15-12:45 | Session 2 | Fault tolerance | Peter Chen | ||
| Robustness in Complex Systems | Steven D. Gribble | |
|||
| Using Abstraction To Improve Fault Tolerance | Miguel Castro, Rodrigo Rodrigues, Barbara Liskov | |
|||
| Fail-Stutter Fault Tolerance | Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau | |
|||
| 13:00-14:00 | Lunch | ||||
| 14:15-15:15 | Session 3 | Invited Talk | |||
| Smart Card Operating Systems: Overview and Trends *) | Pierre Paradinas (Gemplus Labs) | ||||
| 15:15-16:15 | Session 4 | Frameworks for mobility | Marvin Theimer | ||
| Reconsidering Internet Mobility | Alex C. Snoeren, Hari Balakrishnan, M. Frans Kaashoek | |
|||
| Protium, an Infrastructure for Partitioned Applications | Cliff Young, Y. N. Lakshman, Tom Szymanski, John Reppy, David Presotto, Rob Pike, Girija Narlikar, Sape Mullender and Eric Grosse | ||||
| 16:15-17:00 | Break | ||||
| 17:00-18:30 | Session 5 | Modelling and (self-)tuning | Amin Vadhat | ||
| Probabilistic Modelling of Replica Divergence | Antony I. T. Rowstron, Neil Lawrence, Christopher M Bishop | ||||
| Self-Tuned Remote Execution for Pervasive Computing | Jason Flinn, Dushyanth Narayanan, M. Satyanarayanan | |
|||
| Energy is just another resource: Energy accounting and energy pricing in the Nemesis OS | Rolf Neugebauer, Derek McAuley | |
|||
| 19:00-20:30 | Dinner | ||||
| 21:00-22:00 | Session 6 | Outrageous Opinions | Jay Lepreau |
1
2
|
|
| Tuesday, May 22 | |||||
| 8:00-9:00 | Breakfast | ||||
| 9:00-10:30 | Session 7 | Peer-to-Peer Computing | Evangelos Markatos | ||
| PAST: A large-scale, persistent peer-to-peer storage utility | Peter Druschel, Antony Rowstron | |
|||
| Building peer-to-peer systems with Chord, a distributed lookup service | Frank Dabek, Emma Brunskill, Frans Kaashoek, David Karger, Robert Morris, Ion Stoica, and Hari Balakrishnan | ||||
| Herald: Achieving a Global Event Notification Service | Luis Felipe Cabrera, Michael B. Jones, Marvin Theimer | |
|||
| 10:30-11:00 | Break | ||||
| 11:00-12:30 | Session 8 | New devices | Brian Noble | ||
| HeRMES: High-Performance Reliable MRAM-Enabled Storage | Ethan L. Miller, Scott A. Brandt, Darrell D. E. Long |
|
|||
| Better Security via Smarter Devices | Gregory R. Ganger and David F. Nagle | |
|||
| Research Issues in No-Futz Computing | David A. Holland, William Josephson, Kostas Magoutis, Margo I. Seltzer, Christopher A. Stein, Ada Lim | |
|||
| 12:45-13:45 | Lunch | ||||
| 14:00-15:30 | Session 9 | Breakout sessions | Mary Baker | |
|
| 15:30-16:00 | Break | ||||
| 16:00-17:30 | Session10 | Security & FT | John Wilkes | ||
| Don't Trust your File Server | David Mazieres and Dennis Shasha | |
|||
| Active Protocols for Agile, Censor-Resistant Networks | Robert Ricci, Jay Lepreau | |
|||
| Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel | George Candea and Armando Fox | |
|||
| 19:30-22:00 | Banquet | ||||
| Wednesday, May 23 | |||||
| 7:30-8:30 | Breakfast | ||||
| 8:30-9:30 | Session11 | Virtualisation | Jochen Liedtke | ||
| When Virtual is Better than Real | Peter M. Chen and Brian D. Noble | |
|||
| Virtualization Considered Harmful: OS Design Directions for Well-Conditioned Services | Matt Welsh and David Culler | |
|||
| 9:30-10:00 | Break | ||||
| 10:00-11:00 | Session12 | Networking and OS | Jeff Mogul | ||
| Systems Directions for Pervasive Computing | Robert Grimm, Janet Davis, Ben Hendrickson, Eric Lemar, Adam MacBeth, Steven Swanson, Tom Anderson, Brian Berhsad, Gaetano Borriello, Steven Gribble, David Wetherall | ||||
| The Case for Resilient Overlay Networks | David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris | |
|||
| 11:00 | End of Workshop | ||||
| 11:30 | Trip to Schloss Neuschwanstein | ||||
|
*) Abstract of the invited talk: A Smart Card is a small device with computing power. The card embeds an OS and application software. In this talk, we present the hardware platform and its constraints. The software runs on the card, sometimes in standard enviroments such as JavaCard. Software development must deal with challenging resource constraints and security issues. We discuss the above as well as card interactions with the external word. |
|
|
**) Advice to all the HotOS speakers (except the invited speaker): You have 20 minutes for your talk, of which please leave a couple of minutes for a quick question or two. Every session finishes with a general discussion, 20 minutes for a two-paper session, 30 minutes for a three-paper session. |
|
| ***) The on-line papers are only available to attendees which have been mailed a login and password. The official workshop proceedings will be available from IEEE CS Press. | |
| This page is maintained by Uwe Dannowski. | Last modified: Tue Aug 26 12:21:46 2003 |