|
Program | Information for Attendees
Preliminary papers are now available.
The sessions will be held in the Zia B&C Room.
MEAL FUNCTIONS
Reception, Sunday, June 12, 6:308:00 p.m., Eldorado Court
Continental breakfast, Monday, June 13, Tuesday, June 14, and Wednesday, June 15, 8:00 a.m.9:00 a.m., Old House
Lunch, Monday, June 13, and Tuesday, June 14, 12:302:00 p.m., Old House
Reception/buffet dinner, Monday, June 13, 6:30:8:00 p.m., Sunset Room
Monday, June 13, 2005
|
9:00 a.m.10:30 a.m.
|
Monday |
Religious Wars
Session Chair: Robert Grimm, New York University
Are Virtual Machine Monitors Microkernels Done Right?? PDF
Steven Hand, Andrew Warfield, Keir Fraser,
Evangelos Kotsovinos, and Dan Magenheimer,
University of Cambridge Computer Laboratory and HP Laboratories
OS VerificationNow! PDF
Harvey Tuch, Gerwin Klein, and Gernot Heiser,
National ICT Australia
Making Events Less Slippery With eel PDF
Ryan Cunningham and Eddie Kohler,
University of California, Los Angeles
|
10:30 a.m.11:00 a.m. Break
|
|
|
11:00 a.m.12:30 p.m.
|
Monday |
Storage
Session Chair: Butler Lampson, Microsoft Research
Parallax: Managing Storage for a Million Machines PDF
Andrew Warfield, Russ Ross, Keir Fraser, Christian Limpach, and Steven Hand,
University of Cambridge Computer Laboratory
Stupid File Systems Are Better PDF
Lex Stein,
Harvard University
Aggressive Prefetching: An Idea Whose Time Has Come HTML | PDF
Athanasios Papathanasiou and Michael Scott,
University of Rochester
|
12:30 p.m.2:00 p.m. Lunch, Old House
|
|
|
2:00 p.m.3:00 p.m.
|
Monday |
Outside the Comfort Zone
Session Chair: Sharon Perl, Google, Inc.
Why Markets Could (But Don't Currently) Solve
Resource Allocation Problems in Systems PDF
Jeffrey Shneidman, Chaki Ng, and David Parkes, Harvard University; Alvin AuYoung,
Alex Snoeren, and Amin Vahdat, University of California, San Diego; Brent Chun,
Intel Berkeley Research Lab
Operating Systems Should Support Business Change PDF
Jeff Mogul,
Hewlett-Packard Laboratories
|
3:00 p.m.3:30 p.m. Break
|
|
|
3:30 p.m.5:30 p.m.
|
Monday |
It's Not AI, It's Systems
Session Chair: Stephanie Forrest, University of New Mexico
Designing Controllable Computer Systems HTML | PDF
Christos Karamanolis, Magnus Karlsson, and Xiaoyun Zhu,
HP Laboratories
Three Research Challenges at the Intersection of Machine Learning, Statistical Induction, and Systems PDF
Moises Goldszmidt and Ira Cohen, Hewlett-Packard Laboratories; Armando Fox and Steve Zhang,
Stanford University
Expert Panel
Panelists: TBD
|
|
Tuesday, June 14, 2005
|
9:00 a.m.10:30 a.m.
|
Tuesday |
Cleaning Up the Mess We've Made
Session Chair: Christopher Small, Vanu
Making System Configuration More Declarative HTML | PDF
John DeTreville, Microsoft Research
Reducing the Cost of IT OperationsIs Automation Always the Answer? PDF
Aaron Brown and Joseph Hellerstein,
IBM T.J. Watson Research Center
Human-Aware Computer System Design HTML | PDF
Ricardo Bianchini, Richard Martin, Kiran Nagaraju,
Thu Nguyen, and Fabio Oliveira, Rutgers University
|
10:30 a.m.11:00 a.m. Break
|
|
|
11:00 a.m.12:30 p.m.
|
Tuesday |
Approaches to OS Research
Session Chair: Peter Druschel, Rice University
Short Presentations
Thirty Years Is Long Enough: Getting Beyond C HTML | PDF
Eric Brewer, Jeremy Condit, Bill McCloskey, and Feng Zhou,
University of California, Berkeley
Broad New OS Research: Challenges and Opportunities HTML | PDF
Galen Hunt, James Larus, David Tarditi, and Ted Wobber,
Microsoft Research, Microsoft Corporation
patch (1) Considered Harmful PDF
Marc Fiuczynski, Princeton University; Robert Grimm, New York University; Yvonne Coady, University of Victoria; David Walker,
Princeton University
Panel
Do We Work Within Existing Frameworks or Start from Scratch?
Panelists: Bill McCloskey, Galen Hunt, Marc Fiuczynski, Robert Grimm, Russ Cox, and Eric Brewer
|
12:30 p.m.2:00 p.m. Lunch, Old House
|
|
|
2:00 p.m.3:30 p.m.
|
Tuesday |
Distribution
Session Chair: Mary Baker, Hewlett-Packard Labs
WiDS: An Integrated Toolkit for Distributed System Development PDF
Shiding Lin, Aimin Pan, and Zheng Zhang, Microsoft Research Asia; Rui Guo, Beijing University of Aeronautics
and Astronautics; Zhenyu Guo, Tsinghua University
Causeway: Operating System Support for Controlling
and Analyzing the Execution of Distributed Programs HTML | PDF
Anupam Chanda, Khaled Elmeleegy, and Alan Cox, Rice University; Willy Zwaenepoel, School of Computer and Communication Sciences, EPFL
Treating Bugs as Allergies: A Safe Method for
Surviving Software Failures HTML | PDF
Feng Qin, Joseph Tucek, and Yuanyuan Zhou,
University of Illinois, Urbana-Champaign
|
3:30 p.m.4:00 p.m. Break
|
|
|
4:00 p.m.5:30 p.m.
|
Tuesday |
Security
Session Chair: Armando Fox, Stanford University
When Virtual Is Harder than Real: Security
Challenges in Virtual Machine Based Computing Environments HTML | PDF
Tal Garfinkel and Mendel Rosenblum,
Stanford University
Make Least Privilege a Right (Not a Privilege) PDF
Maxwell Krohn, Massachusetts Institute of Technology; Petros Efstathopoulos, University of California, Los Angeles; Cliff Frey and
Frans Kaashoek, Massachusetts Institute of Technology; David Mazieres, University of California, Los Angeles;
Michelle Osborne, New York University; Steve VanDeBogart, University of California, Los Angeles; David Ziegler, Massachusetts Institute of Technology
Access Control in a World of Software Diversity PDF
Martin Abadi, University of California, Santa Cruz; Andrew Birrell and Ted Wobber, Microsoft Research, Silicon Valley
|
|
Wednesday, June 15, 2005
|
9:00 a.m.10:00 a.m.
|
Wednesday |
Sensor Nets
Session Chair: Doug Terry, Microsoft Research
PRESTO: A Predictive Storage Architecture for Sensor Networks HTML | PDF
Peter Desnoyers, Deepak Ganesan, Huan Li, Ming Li, and Prashant Shenoy,
University of Massachusetts, Amherst
Towards a Sensor Network Architecture: Lowering the Waistline PDF
David Culler, Prabal Dutta, Cheng Tien Ee, Rodrigo Fonseca,
Jonathan Hui, Philip Levis, and Joseph Polastre, University of California, Berkeley; Scott Shenker, ICSI;
Ion Stoica and Gilman Tolle, University of California, Berkeley; Jerry Zhao, ICSI
|
10:00 a.m.12:00 noon
|
Wednesday |
Breakout Session
Session Chairs: Margo Seltzer, Harvard University
10:00 a.m.11:00 a.m.
Breakout
11:00 a.m.12:00 noon
Presentation of the HotOS papers
|
|
|
|