  
 | 
| 
 
TECHNICAL SESSIONS 
 |  
|  
Conference papers are available only to registered attendees of OSDI and the co-located workshops until the opening day of the technical sessions; they then become available to everyone. Everyone can view the proceedings front matter immediately.
 | 
 
| 
All sessions will take place in the British Columbia Ballroom unless otherwise noted.
 | 
 
| 
 
Proceedings Front Matter (world-readable): 
          Cover, Copyright, ISBN | 
           Title Page, Organizers, Reviewers | 
		Table of Contents |
           Message from the Program Co-Chairs
 
Complete Proceedings | Proceedings Errata Slip (rev. 10/1/10)
 
NEW! E-Book Proceedings: Read the proceedings on the go in iPad-friendly EPUB format or Kindle-friendly Mobipocket format. (See the Proceedings Errata Slip in EPUB format or Mobipocket format.)
             
 |  
| Monday, October 4 | Tuesday, October 5 | Wednesday, October 6
 | 
 
  | 
 
| Monday, October 4 | 
 
| 7:30 a.m.–8:30 a.m.  Continental Breakfast, British Columbia Foyer | 
 
  | 
 
| 8:30 a.m.–9:00 a.m. | 
Monday | 
 
| 
 Opening Remarks and Jay Lepreau Best Paper Awards 
Program Co-Chairs: Remzi Arpaci-Dusseau, University of Wisconsin, Madison; Brad Chen, Google, Inc. 
  View the Video 
 
 
  Listen to the MP3 
 
 
 | 
 
  | 
 
| 9:00 a.m.–10:30 a.m. | 
Monday | 
 
| 
 Kernels: Past, Present, and Future 
Session Chair: Hank Levy, University of Washington 
An Analysis of Linux Scalability to Many Cores 
		Silas Boyd-Wickizer, Austin T. Clements, Yandong Mao, Aleksey Pesterev, M. Frans Kaashoek, Robert Morris, and Nickolai Zeldovich, MIT CSAIL 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
  Listen to the MP3 
 
 
Trust and Protection in the Illinois Browser Operating System 
		Shuo Tang, Haohui Mai, and Samuel T. King, University of Illinois at Urbana-Champaign 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
FlexSC: Flexible System Call Scheduling with Exception-Less System Calls 
		Livio Soares and Michael Stumm, University of Toronto 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
 | 
 
  | 
 
| 10:30 a.m.–11:00 a.m.  Break | 
 
  | 
 
| 11:00 a.m.–12:30 p.m. | 
Monday | 
 
| 
 Inside the Data Center, 1 
Session Chair: Bianca Schroeder, University of Toronto 
Finding a Needle in Haystack: Facebook's Photo Storage 
		Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason Sobel, and Peter Vajgel, Facebook Inc. 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
Availability in Globally Distributed Storage Systems 
		Daniel Ford, François Labelle, Florentina I. Popovici, Murray Stokely, Van-Anh Truong, Luiz Barroso, Carrie Grimes, and Sean Quinlan, Google, Inc. 
Read the Abstract | Full paper
 
  View the Video  
 
 
 Listen to the MP3 
 
 
Nectar: Automatic Management of Data and Computation in Datacenters 
		Pradeep Kumar Gunda, Lenin Ravindranath, Chandramohan A. Thekkath, Yuan Yu, and Li Zhuang, Microsoft Research Silicon Valley 
Read the Abstract | Full paper
 
  View the Video  
 
 
 Listen to the MP3 
 
 
 | 
 
  | 
 
| 12:30 p.m.–2:00 p.m.  Symposium Luncheon, Pacific Ballroom | 
 
  | 
 
| 2:00 p.m.–3:30 p.m. | 
Monday | 
 
| 
 Security Technologies 
Session Chair: Bryan Ford, Yale University 
Intrusion Recovery Using Selective Re-execution 
		Taesoo Kim, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek, MIT CSAIL 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications 
		Adam Chlipala, Impredicative LLC 
Read the Abstract | Full paper
 
  View the Video | Slides (PDF) | Slides (OpenOffice) 
 
 
 Listen to the MP3 
 
 
Accountable Virtual Machines 
		Andreas Haeberlen, University of Pennsylvania; Paarijaat Aditya, Rodrigo Rodrigues, and Peter Druschel, Max Planck Institute for Software Systems (MPI-SWS) 
Read the Abstract | Full paper
 
  View the Video | Slides (PDF) | Slides (PPT) 
 
 
 Listen to the MP3 
 
 
 | 
 
  | 
 
| 3:30 p.m.–4:00 p.m.  Break | 
 
  | 
 
| 4:00 p.m.–5:30 p.m. | 
Monday | 
 
| 
 Concurrency Bugs 
Session Chair: George Candea, EPFL 
Bypassing Races in Live Applications with Execution Filters 
		Jingyue Wu, Heming Cui, and Junfeng Yang, Columbia University 
Read the Abstract | Full paper 
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
Effective Data-Race Detection for the Kernel 
		John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, and Kirk Olynyk, Microsoft Research 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
Ad Hoc Synchronization Considered Harmful 
		Weiwei Xiong, University of Illinois at Urbana-Champaign; Soyeon Park, Jiaqi Zhang, and Yuanyuan Zhou, University of California, San Diego;  Zhiqiang Ma, Intel 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
 | 
 
  | 
 
| 6:00 p.m.–7:30 p.m. | 
Monday | 
 
| 
 Pacific Ballroom & Vancouver Island Room 
Monster Poster Session & Happy Hour 
Sponsored by Google 
Check out the 70+ posters on display. Take part in discussions with your colleagues over complimentary apps, pizza, salad, beer, and other refreshments. See the list of accepted posters. 
 | 
 
  | 
 
| 7:30 p.m.–9:00 p.m. | 
Monday | 
 
| 
 Research Vision Session 
This new session gives people a chance to discuss their vision of how systems research is going to change in the future. Our hope is that this session will generate lively discussions and debates that last well beyond OSDI. Oh, and there's ice cream! Check out the accepted presentations. 
 | 
 
  | 
 
| Monday, October 4 | Tuesday, October 5 | Wednesday, October 6
 | 
 
  | 
 
| Tuesday, October 5 | 
 
| 8:00 a.m.–9:00 a.m.  Continental Breakfast, British Columbia Foyer | 
 
  | 
 
| 9:00 a.m.–10:30 a.m. | 
Tuesday | 
 
| 
 Deterministic Parallelism 
Session Chair: Emery Berger, University of Massachusetts Amherst 
Deterministic Process Groups in dOS 
		Tom Bergan, Nicholas Hunt, Luis Ceze, and Steven D. Gribble, University of Washington 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
Awarded Jay Lepreau Best Paper! 
Efficient System-Enforced Deterministic Parallelism 
		Amittai Aviram, Shu-Chun Weng, Sen Hu, and Bryan Ford, Yale University 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
Stable Deterministic Multithreading through Schedule Memoization 
		Heming Cui, Jingyue Wu, Chia-che Tsai,and Junfeng Yang, Columbia University 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
 | 
 
  | 
 
| 10:30 a.m.–11:00 a.m.  Break | 
 
  | 
 
| 11:00 a.m.–Noon | 
Tuesday | 
 
| 
 Systems Management 
Session Chair: Sam King, University of Illinois, Urbana-Champaign 
Enabling Configuration-Independent Automation by Non-Expert Users 
		Nate Kushman and Dina Katabi, Massachusetts Institute of Technology 
Read the Abstract | Full paper
 
  View the Video  
 
 
 Listen to the MP3 
 
 
Automating Configuration Troubleshooting with Dynamic Information Flow Analysis 
		Mona Attariyan and Jason Flinn, University of Michigan 
Read the Abstract | Full paper 
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
 | 
 
  | 
 
| Noon–1:30 p.m.  Symposium Luncheon, Pacific Ballroom | 
Tuesday | 
 
| 
 
The presentation of the ACM SIGOPS Hall of Fame Awards and the Mark Weiser Award will take place during lunch 
at 12:45 p.m.
 
 | 
 
  | 
 
| 1:30 p.m.–3:30 p.m. | 
Tuesday | 
 
| 
 Inside the Data Center, 2 
Session Chair: Emin Gün Sirer, Cornell University 
Large-scale Incremental Processing Using Distributed Transactions and Notifications 
		Daniel Peng and Frank Dabek, Google, Inc. 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
Reining in the Outliers in Map-Reduce Clusters using Mantri 
		Ganesh Ananthanarayanan, Microsoft Research and UC Berkeley; Srikanth Kandula and Albert Greenberg, Microsoft Research; Ion Stoica, UC Berkeley; Yi Lu, Microsoft Research;  Bikas Saha and Edward Harris, Microsoft Bing 
Read the Abstract | Full paper
 
  View the Video 
 
 
 Listen to the MP3 
 
 
Transactional Consistency and Automatic Management in an Application Data Cache 
		Dan R.K. Ports, Austin T. Clements, Irene Zhang, Samuel Madden, and Barbara Liskov, MIT CSAIL 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
Piccolo: Building Fast, Distributed Programs with Partitioned Tables 
		Russell Power and Jinyang Li, New York University 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
 | 
 
  | 
 
| 3:30 p.m.–4:00 p.m.  Break | 
 
  | 
 
| 4:00 p.m.–5:30 p.m. | 
Tuesday | 
 
| 
 Cloud Storage 
Session Chair: Nickolai Zeldovich, Massachusetts Institute of Technology 
Depot: Cloud Storage with Minimal Trust 
		Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, and Michael Walfish, The University of Texas at Austin 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
Comet: An Active Distributed Key-Value Store 
		Roxana Geambasu, Amit A. Levy, Tadayoshi Kohno, Arvind Krishnamurthy, and Henry M. Levy, University of Washington 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
SPORC: Group Collaboration using Untrusted Cloud Resources 
		Ariel J. Feldman, William P. Zeller, Michael J. Freedman, and Edward W. Felten, Princeton University 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
 | 
 
  | 
 
| 6:00 p.m.–7:30 p.m. | 
Tuesday | 
 
| 
 Pacific Ballroom 
Symposium Reception 
Sponsored by Microsoft Research 
 | 
 
  | 
 
| Monday, October 4 | Tuesday, October 5 | Wednesday, October 6
 | 
 
  | 
 
| Wednesday, October 6 | 
 
| 8:00 a.m.–9:00 a.m.  Continental Breakfast, British Columbia Foyer | 
 
  | 
 
| 9:00 a.m.–10:30 a.m. | 
Wednesday | 
 
| 
 Production Networks 
Session Chair: Brad Karp, University College London 
Onix: A Distributed Control Platform for Large-scale Production Networks 
		Teemu Koponen, Martin Casado, Natasha Gude, and Jeremy Stribling, Nicira Networks; Leon Poutievski, Min Zhu, and Rajiv Ramanathan, Google; Yuichiro Iwata, Hiroaki Inoue, and Takayuki Hama, NEC; Scott Shenker, International Computer Science Institute (ICSI) and UC Berkeley 
Read the Abstract | Full paper 
 
  View the Video  
 
 
 Listen to the MP3 
 
 
Can the Production Network Be the Testbed? 
		Rob Sherwood, Deutsche Telekom Inc. R&D Lab; Glen Gibb and Kok-Kiong Yap, Stanford University; Guido Appenzeller, Big Switch Networks; Martin Casado, Nicira Networks; Nick McKeown and Guru Parulkar, Stanford University 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
Building Extensible Networks with Rule-Based Forwarding 
		Lucian Popa, University of California, Berkeley, and ICSI, Berkeley; Norbert Egi, Lancaster University; Sylvia Ratnasamy, Intel Labs, Berkeley; Ion Stoica, University of California, Berkeley 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
 | 
 
  | 
 
| 10:30 a.m.–11:00 a.m.  Break | 
 
  | 
 
| 11:00 a.m.–Noon | 
Wednesday | 
 
| 
 Mobility 
Session Chair: Ed Nightingale, Microsoft Research 
TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones 
		William Enck, The Pennsylvania State University; Peter Gilbert, Duke University; Byung-gon Chun, Intel Labs; Landon P. Cox,  Duke University; Jaeyeon Jung, Intel Labs; Patrick McDaniel, The Pennsylvania State University; Anmol N. Sheth, Intel Labs 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
StarTrack Next Generation: A Scalable Infrastructure for Track-Based Applications 
		Maya Haridasan, Iqbal Mohomed, Doug Terry, Chandramohan A. Thekkath, and Li Zhang, Microsoft Research Silicon Valley 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
 | 
 
  | 
 
| Noon–1:00 p.m.  Lunch (on your own) | 
Wednesday | 
 
  | 
 
| 1:00 p.m.–2:30 p.m. | 
Wednesday | 
 
| 
 Virtualization 
Session Chair: Carl Waldspurger, VMware 
Awarded Jay Lepreau Best Paper! 
The Turtles Project: Design and Implementation of Nested Virtualization 
		Muli Ben-Yehuda, IBM Research—Haifa; Michael D. Day, IBM Linux Technology Center; Zvi Dubitzky, Michael Factor, Nadav Har'El, and Abel Gordon,  IBM Research—Haifa; Anthony Liguori, IBM Linux Technology Center; Orit Wasserman and Ben-Ami Yassour, IBM Research—Haifa 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
mClock: Handling Throughput Variability for Hypervisor IO Scheduling 
		Ajay Gulati, VMware Inc.; Arif Merchant, HP Labs; Peter J. Varman, Rice University 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
Virtualize Everything but Time 
		Timothy Broomhead, Laurence Cremean, Julien Ridoux, and Darryl Veitch, Center for Ultra-Broadband Information Networks (CUBIN), The University of Melbourne 
Read the Abstract | Full paper
 
  View the Video | Slides 
 
 
 Listen to the MP3 
 
 
 | 
 
 
 |