Check out the new USENIX Web site.
Workshop Program

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
 

footer
?Need help? Use our Contacts page.

Last changed: 10 May 2007 ch