|
|
|
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.
|
|
|
|
Need help?
Use our Contacts page.
