  | 
 
 
 
| 
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?
 
	Steven Hand, Andrew Warfield, Keir Fraser, and 
	Evangelos Kotsovinos, University of Cambridge Computer Laboratory; Dan Magenheimer, HP Labs
 
	OS VerificationNow!
 
	Harvey Tuch, Gerwin Klein, and Gernot Heiser,
	National ICT Australia
 
	Making Events Less Slippery with eel
 
	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
 
	Andrew Warfield, Russ Ross, Keir Fraser, Christian Limpach, and Steven Hand,
	University of Cambridge Computer Laboratory
 
Stupid File Systems Are Better
 
	Lex Stein,
	Harvard University
 
Aggressive Prefetching: An Idea Whose Time Has Come
 
	Athanasios E. Papathanasiou and Michael L. Scott,
	University of Rochester
  |  
| 
12:30 p.m.2:00 p.m.   Lunch
 | 
  |  
  | 
 
| 
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 
	Jeffrey Shneidman, Chaki Ng, and David C. Parkes, Harvard University; Alvin AuYoung,
	Alex C. Snoeren, and Amin Vahdat, University of California, San Diego; Brent Chun, 
	 Intel Research, Berkeley
 
	Operating Systems Should Support Business Change
 
	Jeffrey C. Mogul,
	HP Labs
  |  
| 
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
 
	Christos Karamanolis, Magnus Karlsson, and Xiaoyun Zhu,
	Hewlett-Packard Labs
 
Three Research Challenges at the Intersection of Machine Learning, Statistical Induction, and Systems
 
	Moises Goldszmidt and Ira Cohen, Hewlett-Packard Labs; Armando Fox and Steve Zhang,
	Stanford University
 
Panel: Control Theory/Machine Learning 
Panelists: Elizabeth Bradley, University of Colorado, Boulder; Moises Goldszmidt and Christos Karamanolis, Hewlett-Packard Labs; Terran Lane, University of New Mexico
  |  
  | 
 
| 
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
 
John DeTreville, Microsoft Research
 
Reducing the Cost of IT OperationsIs Automation Always the Answer?
 
	Aaron B. Brown and Joseph L. Hellerstein,
	IBM Thomas J. Watson Research Center
 
Human-Aware Computer System Design
 
	Ricardo Bianchini, Richard P. Martin, Kiran Nagaraja,
	Thu D. Nguyen, and Fábio 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
 
	Eric Brewer, Jeremy Condit, Bill McCloskey, and Feng Zhou,
	University of California, Berkeley
 
Broad New OS Research: Challenges and Opportunities
 
	Galen C. Hunt, James R. Larus, David Tarditi, and Ted Wobber,
	Microsoft Research
 
patch (1) Considered Harmful
 
	Marc E. 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
 | 
  |  
  | 
 
| 
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
 
	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
		 
	Anupam Chanda, Khaled Elmeleegy, and Alan L. Cox, Rice University; Willy Zwaenepoel, EPFL, Lausanne
 
Treating Bugs as Allergies: A Safe Method for
		Surviving Software Failures
		 
	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
 
	Tal Garfinkel and Mendel Rosenblum,
	Stanford University
 
Make Least Privilege a Right (Not a Privilege)
 
	Maxwell Krohn, Massachusetts Institute of Technology; Petros Efstathopoulos, University of California, Los Angeles; Cliff Frey and 
	Frans Kaashoek, Massachusetts Institute of Technology; Eddie Kohler,  University of California, Los Angeles; David Mazières, New York University; Robert Morris, Massachusetts Institute of Technology;
	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
 
	Martin Abadi, University of California, Santa Cruz; Andrew Birrell and Ted Wobber, Microsoft Research
  |  
  | 
 
| 
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
 
	Peter Desnoyers, Deepak Ganesan, Huan Li, Ming Li, and Prashant Shenoy,
	University of Massachusetts, Amherst
 
Towards a Sensor Network Architecture: Lowering the Waistline
 
	David Culler, Prabal Dutta, Cheng Tien Ee, Rodrigo Fonseca,
	Jonathan Hui, Philip Levis, and Joseph Polastre, University of California, Berkeley; Scott Shenker, University of California, Berkeley, and ICSI;
	Ion Stoica and Gilman Tolle, University of California, Berkeley; Jerry Zhao, ICSI
  |  
| 
10:00 a.m.12:00 noon
 | 
Wednesday |  
Breakout Session
 
Session Chair:  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
 
Green Team Paper 
Falling Off the Cliff: When Systems Go Nonlinear 
Yvonne Coady, Russ Cox, John DeTreville, Peter Druschel, Joseph Hellerstein, Andrew Hume, Kimberly Keeton, Thu Nguyen, Christopher Small, Lex Stein, and Andrew Warfield
 
Red Team Paper 
The Many Faces of Systems Researchand How to Evaluate Them 
Aaron B. Brown, Anupam Chanda, Rik Farrow, Alexandra Fedorova, Petros Maniatis, and Michael L. Scott 
  | 
 
 
 |  
  | 
  |