Check out the new USENIX Web site.
HotOS XIII Banner

WORKSHOP PROGRAM

Please Note: This workshop is by invitation and/or acceptance of paper submission. Authors and invited participants will be contacted about how to register for the workshop.

Monday, May 9 | Tuesday, May 10 | Wednesday, May 11
Monday, May 9
8:30 a.m.–9:00 a.m.  Continental Breakfast, Amphora Ballroom Foyer
9:00 a.m.–9:15 a.m., Amphora Ballroom Monday

Opening Remarks

HotOS XIII Program Chair: Matt Welsh, Google

9:15 a.m.–10:00 a.m., Amphora Ballroom Monday

Putting the Hard Back in Hardware

Mind the Gap: Reconnecting Architecture and OS Research
Jeffrey C. Mogul, HP Labs, Palo Alto, CA; Andrew Baumann, Microsoft Research, Redmond, WA; Timothy Roscoe, ETH Zurich; Livio Soares, University of Toronto

Read the Abstract | Full paper

Operating System Implications of Fast, Cheap, Non-Volatile Memory
Katelin Bailey, Luis Ceze, Steven D. Gribble, and Henry M. Levy, University of Washington

Read the Abstract | Full paper

View the Slides

Virtually Cool Ternary Content Addressable Memory
Suparna Bhattacharya, IBM Linux Technology Center and Indian Institute of Science; K. Gopinath, Indian Institute of Science

Read the Abstract | Full paper

View the Slides

10:00 a.m.–10:30 a.m.  Break, Amphora Ballroom Foyer
10:30 a.m.–11:15 a.m., Amphora Ballroom Monday

Soft Fluffy Clouds

The Best of Both Worlds with On-Demand Virtualization
Thawan Kooburat and Michael Swift, University of Wisconsin—Madison

Read the Abstract | Full paper

Repair from a Chair: Computer Repair as an Untrusted Cloud Service
Lon Ingram, Ivaylo Popov, Srinath Setty, and Michael Walfish, The University of Texas at Austin

Read the Abstract | Full paper

Structuring the Unstructured Middle with Chunk Computing
Justin Mazzola Paluska, Hubert Pham, and Steve Ward, MIT Computer Science and Artificial Intelligence Laboratory

Read the Abstract | Full paper

11:15 a.m.–noon, Amphora Ballroom Monday

Discussion/Open Mike

Noon–1:30 p.m.  Lunch, Solera Courtyard
1:30 p.m.–2:30 p.m., Amphora Ballroom Monday

Panel

2:30 p.m.–3:00 p.m., Amphora Ballroom Monday

We're Going to Need More Wine

Macho: Programming with Man Pages
Anthony Cozzie, Murph Finnicum, and Samuel T. King, University of Illinois

Read the Abstract | Full paper

View the Slides

Pursue Robust Indefinite Scalability
David H. Ackley and Daniel C. Cannon, The University of New Mexico

Read the Abstract | Full paper

View the Slides

3:00 p.m.–3:30 p.m.  Break, Amphora Ballroom Foyer
3:30 p.m.–4:15 p.m., Amphora Ballroom Monday

Hear Ye, Hear Ye

Benchmarking File System Benchmarking: It *IS* Rocket Science
Vasily Tarasov, Saumitra Bhanage, and Erez Zadok, Stony Brook University; Margo Seltzer, Harvard University

Read the Abstract | Full paper

Multicore OS Benchmarks: We Can Do Better
Ihor Kuz, ETH Zurich, NICTA, and the University of New South Wales; Zachary Anderson, Pravin Shinde, and Timothy Roscoe, ETH Zurich

Read the Abstract | Full paper

View the Slides

It's Time for Low Latency
Stephen M. Rumble, Diego Ongaro, Ryan Stutsman, Mendel Rosenblum, and John K. Ousterhout, Stanford University

Read the Abstract | Full paper

View the Slides

4:15 p.m.–4:45 p.m., Amphora Ballroom Monday

Discussion/Open Mike

4:45 p.m.–6:00 p.m.  Break (on your own; the Bank Café and Bar will be open)
6:00 p.m.–7:30 p.m.  Dinner, Solera Courtyard
Monday, May 9 | Tuesday, May 10 | Wednesday, May 11
Tuesday, May 10
9:00 a.m.–9:30 a.m.  Continental Breakfast, Amphora Ballroom Foyer
9:30 a.m.–10:15 a.m., Amphora Ballroom Tuesday

Data Still Matters

Disk-Locality in Datacenter Computing Considered Irrelevant
Ganesh Ananthanarayanan, Ali Ghodsi, Scott Shenker, and Ion Stoica, University of California, Berkeley

Read the Abstract | Full paper

Optimizing Data Partitioning for Data-Parallel Computing
Qifa Ke, Vijayan Prabhakaran, Yinglian Xie, and Yuan Yu, Microsoft Research Silicon Valley; Jingyue Wu and Junfeng Yang, Columbia University

Read the Abstract | Full paper

View the Slides

Disks Are Like Snowflakes: No Two Are Alike
Elie Krevat, Carnegie Mellon University; Joseph Tucek, HP Labs; Gregory R. Ganger, Carnegie Mellon University

Read the Abstract | Full paper

10:15 a.m.–10:45 a.m.  Break, Amphora Ballroom Foyer
10:45 a.m.–11:30 a.m., Amphora Ballroom Tuesday

Watts Up, Joules?

The Case for Power-Agile Computing
Geoffrey Challen, MIT, SUNY Buffalo; Mark Hempstead, Drexel University

Read the Abstract | Full paper

View the Slides | Script

Mobile Apps: It's Time to Move Up to CondOS
David Chu, Aman Kansal, and Jie Liu, Microsoft Research Redmond; Feng Zhao, Microsoft Research Asia

Read the Abstract | Full paper

View the Slides

Free Lunch: Exploiting Renewable Energy for Computing
Sherif Akoush, Ripduman Sohan, Andrew Rice, Andrew W. Moore, and Andy Hopper, Computer Laboratory, University of Cambridge

Read the Abstract | Full paper

View the Slides

11:30 a.m.–noon, Amphora Ballroom Tuesday

Discussion/Open Mike

Noon–1:00 p.m.  Lunch, Solera Courtyard
1:00 p.m.–1:45 p.m., Amphora Ballroom Tuesday

Nobody Likes Surprises

Debug Determinism: The Sweet Spot for Replay-Based Debugging
Cristian Zamfir, EPFL, Switzerland; Gautam Altekar, University of California, Berkeley; George Candea, EPFL, Switzerland; Ion Stoica, University of California, Berkeley

Read the Abstract | Full paper

View the Slides

Non-Deterministic Parallelism Considered Useful
Derek G. Murray and Steven Hand, University of Cambridge Computer Laboratory

Read the Abstract | Full paper

View the Slides

Finding Concurrency Errors in Sequential Code—OS-level, In-vivo Model Checking of Process Races
Oren Laadan, Chia-Che Tsai, Nicolas Viennot, Chris Blinn, Peter Senyao Du, Junfeng Yang, and Jason Nieh, Columbia University

Read the Abstract | Full paper

View the Slides

1:45 p.m.–2:30 p.m., Amphora Ballroom Tuesday

The Tin Foil Hat Session

Privacy Revelations for Web and Mobile Apps
D. Wetherall and D. Choffnes, University of Washington; B. Greenstein, Intel Labs; S. Han and P. Hornyack, University of Washington; J. Jung, Intel Labs; S. Schechter, Microsoft Research; X. Wang, University of Washington

Read the Abstract | Full paper

Do You Know Where Your Data Are? Secure Data Capsules for Deployable Data Protection
Petros Maniatis, Intel Labs Berkeley; Devdatta Akhawe, University of California, Berkeley; Kevin Fall, Intel Labs Berkeley; Elaine Shi, University of California, Berkeley and PARC; Dawn Song, University of California, Berkeley

Read the Abstract | Full paper

View the Slides

Making Programs Forget: Enforcing Lifetime for Sensitive Data
Jayanthkumar Kannan, Google Inc.; Gautam Altekar, University of California, Berkeley; Petros Maniatis and Byung-Gon Chun, Intel Labs Berkeley

Read the Abstract | Full paper

View the Slides

2:30 p.m.–3:00 p.m., Amphora Ballroom Tuesday

Discussion/Open Mike

3:00 p.m.–3:30 p.m.  Break, Amphora Ballroom Foyer
3:30 p.m.–4:15 p.m., Amphora Ballroom Tuesday

MacGyver Would Be Proud

Exploiting MISD Performance Opportunities in Multi-core Systems
Patrick G. Bridges, Donour Sizemore, and Scott Levy, University of New Mexico

Read the Abstract | Full paper

View the Slides

More Intervention Now!
Moises Goldszmidt and Rebecca Isaacs, Microsoft Research

Read the Abstract | Full paper

make world
Christopher Smowton and Steven Hand, University of Cambridge Computer Laboratory

Read the Abstract | Full paper

View the Slides

4:15 p.m.–4:30 p.m.  Break, Amphora Ballroom Foyer
4:30 p.m.–5:30 p.m., Solera Courtyard Tuesday

Poster Session and Happy Hour

5:30 p.m.–7:00 p.m., Amphora Ballroom Tuesday

Wild and Crazy Ideas Session

7:00 p.m.  Dinner (on your own; see recommended restaurants list, PDF)
Monday, May 9 | Tuesday, May 10 | Wednesday, May 11
Wednesday, May 11
8:30 a.m.–9:00 a.m.  Continental Breakfast, Amphora Ballroom Foyer
9:00 a.m.–10:00 a.m., Amphora Ballroom Wednesday

Prove It!

What If You Could Actually Trust Your Kernel?
Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, and Aleksander Budzynowski, NICTA and University of New South Wales

Read the Abstract | Full paper

View the Slides

Provable Security: How Feasible Is It?
Gerwin Klein, Toby Murray, Peter Gammie, Thomas Sewell, and Simon Winwood, NICTA and University of New South Wales

Read the Abstract | Full paper

View the Slides

Toward Practical and Unconditional Verification of Remote Computations
Srinath Setty, Andrew J. Blumberg, and Michael Walfish, The University of Texas at Austin

Read the Abstract | Full paper

View the Slides

MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms
Petros Maniatis, Intel Labs Berkeley; Michael Dietz, Rice University; Charalampos Papamanthou, Brown University

Read the Abstract | Full paper

View the Slides

10:00 a.m.–10:30 a.m.  Break, Amphora Ballroom Foyer
10:30 a.m.–11:15 a.m., Amphora Ballroom Wednesday

OS Design Isn't Dead; It's Just the Last Session of the Workshop

The Case for VOS: The Vector Operating System
Vijay Vasudevan and David G. Andersen, Carnegie Mellon University; Michael Kaminsky, Intel Labs

Read the Abstract | Full paper

View the Slides

Operating Systems Must Support GPU Abstractions
Christopher J. Rossbach and Jon Currey, Microsoft Research; Emmett Witchel, The University of Texas at Austin

Read the Abstract | Full paper

Multicore OSes: Looking Forward from 1991, er, 2011
David A. Holland and Margo I. Seltzer, Harvard University

Read the Abstract | Full paper

View the Slides

11:15 a.m.–noon, Amphora Ballroom Wednesday

Discussion/Open Mike

Noon  Box Lunch Pickup, Amphora Ballroom Foyer
Noon–5:00 p.m.

Optional Wine Tour/Tasting

See the registration information page sent from the Program Chair for more information and then sign up via the registration form.

footer
? Need help? Use our Contacts page.

Last changed: 3 June 2011 jp