Sunday, May 6, 2007
8:00 p.m.–10:00 p.m.	Sunday
Welcome Reception Boardroom Stop by the Welcome Reception to mingle with your fellow workshop attendees and enjoy some dessert and wine.
Monday, May 7, 2007 All Monday sessions in Boardroom unless otherwise noted.
8:00 a.m.–9:00 a.m.    Continental Breakfast  Boardroom Foyer
9:00 a.m.–10:30 a.m.	Monday
Welcome, Opening Remarks, and Keynote Address Keynote Address: Transactional Memory: What's the OS Got to Do with It? David A. Wood, University of Wisconsin—Madison
10:30 a.m.–11:00 a.m.    Break
11:00 a.m.–12:30 p.m.	Monday
Session: Coping with Concurrency Session Chair: Armando Fox, University of California, Berkeley Is the Optimism in Optimistic Concurrency Warranted? Donald E. Porter, Owen S. Hofmann, and Emmett Witchel, The University of Texas at Austin Read the paper in PDF | HTML Thread Scheduling for Multi-Core Platforms Mohan Rajagopalan, Brian T. Lewis, and Todd A. Anderson, Programming Systems Lab, Intel Read the paper in PDF | HTML Automatic Mutual Exclusion Michael Isard and Andrew Birrell, Microsoft Research, Silicon Valley Read the paper in PDF | HTML
12:30 p.m.–2:00 p.m.    Lunch  Beach North
2:00 p.m.–3:30 p.m.	Monday
Session: Modern Abstractions Session Chair: Landon Cox, Duke University Hype and Virtue Timothy Roscoe, ETH Zürich; Kevin Elphinstone and Gernot Heiser, National ICT Australia Read the paper in PDF | HTML Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical Jesse Pool, Ian Sin Kwok Wong, and David Lie, University of Toronto Read the paper in PDF | HTML Compatibility Is Not Transparency: VMM Detection Myths and Realities Tal Garfinkel, Stanford University; Keith Adams, VMware; Andrew Warfield, University of British Columbia/XenSource; Jason Franklin, Carnegie Mellon University Read the paper in PDF | HTML
3:30 p.m.–4:00 p.m.    Break
4:00 p.m.–5:30 p.m.	Monday
Session: Algorithms for Profit Session Chair: Emmett Witchel, University of Texas at Austin Don't Settle for Less Than the Best: Use Optimization to Make Decisions Kimberly Keeton, Terence Kelly, Arif Merchant, Cipriano Santos, Janet Wiener, and Xiaoyun Zhu, Hewlett-Packard Laboratories; Dirk Beyer, M-Factor Read the paper in PDF | HTML Hyperspaces for Object Clustering and Approximate Matching in Peer-to-Peer Overlays Bernard Wong, Ýmir Vigfússon, and Emin Gün Sirer, Cornell University Read the paper in PDF | HTML Optimizing Power Consumption in Large Scale Storage Systems Lakshmi Ganesh, Hakim Weatherspoon, Mahesh Balakrishnan, and Ken Birman, Cornell University Read the paper in PDF | HTML
6:00 p.m.–7:30 p.m.    Dinner  Toucan & Macaw
Tuesday, May 8, 2007 All Tuesday sessions in Boardroom unless otherwise noted.
8:00 a.m.–9:00 a.m.    Continental Breakfast  Boardroom Foyer
9:00 a.m.–10:30 a.m.	Tueday
Session: Guarantees for the Future Session Chair: Amin Vahdat, University of California, San Diego Can Ferris Bueller Still Have His Day Off? Protecting Privacy in the Wireless Era Ben Greenstein, Intel Research Seattle; Ramakrishna Gummadi, University of Southern California; Jeffrey Pang, Carnegie Mellon University; Mike Y. Chen, Intel Research Seattle; Tadayoshi Kohno, University of Washington; Srinivasan Seshan, Carnegie Mellon University; David Wetherall, University of Washington and Intel Research Seattle Read the paper in PDF | HTML Auditing to Keep Online Storage Services Honest Mehul A. Shah, Mary Baker, Jeffrey C. Mogul, and Ram Swaminathan, HP Labs Read the paper in PDF | HTML A Web Based Covert File System Arati Baliga, Joe Kilian, and Liviu Iftode, Rutgers University Read the paper in PDF | HTML
10:30 a.m.–11:00 a.m.    Break
11:00 a.m.–12:30 p.m.	Tuesday
Panel: Putting the Science in Computer Science Session Chair: Margo Seltzer, Harvard University Panel Members: Dawson Engle, Stanford University Butler Lampson, Microsoft Jay Lepreau, University of Utah Brian Noble, University of Michigan
12:30 p.m.–2:00 p.m.    Lunch  Beach North
2:00 p.m.–3:30 p.m.	Tuesday
Session: New Solutions, Old Problems Session Chair: Yuanyuan Zhou, University of Illinois at Urbana-Champaign Purely Functional System Configuration Management Eelco Dolstra, Utrecht University; Armijn Hemel, Loohuis Consulting Read the paper in PDF | HTML Processor Hardware Counter Statistics as a First-Class System Resource Xiao Zhang, Sandhya Dwarkadas, Girts Folkmanis, and Kai Shen, University of Rochester Read the paper in PDF | HTML Microdrivers: A New Architecture for Device Drivers Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, and Somesh Jha, University of Wisconsin—Madison Read the paper in PDF | HTML
3:30 p.m.–4:00 p.m.    Break
4:00 p.m.–5:30 p.m.	Tuesday
Session: 4-Minute Madness Session Chair: Rebecca Isaacs, Microsoft Research Cambridge
Wednesday, May 9, 2007 All Wednesday sessions in Kon Tiki Ballroom unless otherwise noted.
8:00 a.m.–9:00 a.m.    Continental Breakfast
9:00 a.m.–10:30 a.m.	Wednesday
Session: Web 2.0 Session Chair: David Wetherall, Intel Research and University of Washington MashupOS: Operating System Abstractions for Client Mashups Jon Howell, Microsoft Research; Collin Jackson, Stanford University; Helen J. Wang and Xiaofeng Fan, Microsoft Research Read the paper in PDF | HTML Live Monitoring: Using Adaptive Instrumentation and Analysis to Debug and Maintain Web Applications Emre Kiciman and Helen J. Wang, Microsoft Research Read the paper in PDF | HTML End-to-End Web Application Security Úlfar Erlingsson, Benjamin Livshits, and Yinglian Xie, Microsoft Research Read the paper in PDF | HTML
10:30 a.m.–11:00 a.m.    Break
11:00 a.m.–12:30 p.m.	Wednesday
Session: Finding a Better Way Session Chair: George Candea, EPFL HotComments: How to Make Program Comments More Useful? Lin Tan, Ding Yuan, and Yuanyuan Zhou, University of Illinois at Urbana-Champaign Read the paper in PDF | HTML Towards a Practical, Verified Kernel Kevin Elphinstone and Gerwin Klein, National ICT Australia and the University of New South Wales; Philip Derrin, National ICT Australia; Timothy Roscoe, ETH Zürich; Gernot Heiser, National ICT Australia, the University of New South Wales, and Open Kernel Labs Read the paper in PDF | HTML Beyond Bug-Finding: Sound Program Analysis for Linux Zachary Anderson, Eric Brewer, and Jeremy Condit, University of California, Berkeley; Robert Ennals and David Gay, Intel Research Berkeley; Matthew Harren, George C. Necula, and Feng Zhou, University of California, Berkeley Read the paper in PDF | HTML Closing Comments