TECHNICAL SESSIONS

Opening Remarks and Jay Lepreau Best Paper Awards

Program Co-Chairs: Remzi Arpaci-Dusseau, University of Wisconsin, Madison; Brad Chen, Google, Inc.

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

Trust and Protection in the Illinois Browser Operating System presented by Ramesh
Shuo Tang, Haohui Mai, and Samuel T. King, University of Illinois at Urbana-Champaign

Read the Abstract | Full paper

FlexSC: Flexible System Call Scheduling with Exception-Less System Calls presented by Alex
Livio Soares and Michael Stumm, University of Toronto

Read the Abstract | Full paper | Slides

Inside the Data Center, 1

Session Chair: Bianca Schroeder, University of Toronto

Finding a Needle in Haystack: Facebook's Photo Storage presented by Meelap
Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason Sobel, and Peter Vajgel, Facebook Inc.

Read the Abstract | Full paper

Availability in Globally Distributed Storage Systems presented by Neha
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

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

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

Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications presented by Alex
Adam Chlipala, Impredicative LLC

Read the Abstract | Full paper

Accountable Virtual Machines presented by Taesoo
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

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

Effective Data-Race Detection for the Kernel presented by Xi
John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, and Kirk Olynyk, Microsoft Research

Read the Abstract | Full paper

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

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.

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.

Deterministic Parallelism

Session Chair: Emery Berger, University of Massachusetts Amherst

Deterministic Process Groups in dOS presented by Alex
Tom Bergan, Nicholas Hunt, Luis Ceze, and Steven D. Gribble, University of Washington

Read the Abstract | Full paper

Awarded Jay Lepreau Best Paper!
Efficient System-Enforced Deterministic Parallelism presented by Jacob
Amittai Aviram, Shu-Chun Weng, Sen Hu, and Bryan Ford, Yale University

Read the Abstract | Full paper

Stable Deterministic Multithreading through Schedule Memoization presented by Taesoo
Heming Cui, Jingyue Wu, Chia-che Tsai,and Junfeng Yang, Columbia University

Read the Abstract | Full paper

Systems Management

Session Chair: Sam King, University of Illinois, Urbana-Champaign

Enabling Configuration-Independent Automation by Non-Expert Users presented by Ramesh
Nate Kushman and Dina Katabi, Massachusetts Institute of Technology

Read the Abstract | Full paper

Automating Configuration Troubleshooting with Dynamic Information Flow Analysis presented by Chen
Mona Attariyan and Jason Flinn, University of Michigan

Read the Abstract | Full paper

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.

Inside the Data Center, 2

Session Chair: Emin Gün Sirer, Cornell University

Large-scale Incremental Processing Using Distributed Transactions and Notifications presented by Austin
Daniel Peng and Frank Dabek, Google, Inc.

Read the Abstract | Full paper

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

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

Piccolo: Building Fast, Distributed Programs with Partitioned Tables
Russell Power and Jinyang Li, New York University

Read the Abstract | Full paper

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

Comet: An Active Distributed Key-Value Store presented by Raluca
Roxana Geambasu, Amit A. Levy, Tadayoshi Kohno, Arvind Krishnamurthy, and Henry M. Levy, University of Washington

Read the Abstract | Full paper

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

Pacific Ballroom

Symposium Reception

Sponsored by Microsoft Research

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

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

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

Mobility

Session Chair: Ed Nightingale, Microsoft Research

TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones presented by Yandong
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

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

Virtualization

Session Chair: Carl Waldspurger, VMware

Awarded Jay Lepreau Best Paper!
The Turtles Project: Design and Implementation of Nested Virtualization presented by Austin
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

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

Virtualize Everything but Time presented by Meelap
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