MEAL FUNCTIONS
Reception, Sunday, June 12, 6:30–8: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:30–2: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 Verification—Now!  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 Operations—Is 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