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.

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.

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

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