| 2010 | 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010, October 4-6, 2010, Vancouver, BC, Canada, Proceedings Remzi H. Arpaci-Dusseau, Brad Chen |
| 2010 | Accountable Virtual Machines. Andreas Haeberlen, Paarijaat Aditya, Rodrigo Rodrigues, Peter Druschel |
| 2010 | Ad Hoc Synchronization Considered Harmful. Weiwei Xiong, Soyeon Park, Jiaqi Zhang, Yuanyuan Zhou, Zhiqiang Ma |
| 2010 | An Analysis of Linux Scalability to Many Cores. Silas Boyd-Wickizer, Austin T. Clements, Yandong Mao, Aleksey Pesterev, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich |
| 2010 | Automating Configuration Troubleshooting with Dynamic Information Flow Analysis. Mona Attariyan, Jason Flinn |
| 2010 | Availability in Globally Distributed Storage Systems. Daniel Ford, François Labelle, Florentina I. Popovici, Murray Stokely, Van-Anh Truong, Luiz Barroso, Carrie Grimes, Sean Quinlan |
| 2010 | Building Extensible Networks with Rule-Based Forwarding. Lucian Popa, Norbert Egi, Sylvia Ratnasamy, Ion Stoica |
| 2010 | Bypassing Races in Live Applications with Execution Filters. Jingyue Wu, Heming Cui, Junfeng Yang |
| 2010 | Can the Production Network Be the Testbed? Rob Sherwood, Glen Gibb, Kok-Kiong Yap, Guido Appenzeller, Martín Casado, Nick McKeown, Guru M. Parulkar |
| 2010 | Comet: An active distributed key-value store. Roxana Geambasu, Amit A. Levy, Tadayoshi Kohno, Arvind Krishnamurthy, Henry M. Levy |
| 2010 | Depot: Cloud Storage with Minimal Trust. Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, Michael Walfish |
| 2010 | Deterministic Process Groups in dOS. Tom Bergan, Nicholas Hunt, Luis Ceze, Steven D. Gribble |
| 2010 | Effective Data-Race Detection for the Kernel. John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk |
| 2010 | Efficient System-Enforced Deterministic Parallelism. Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford |
| 2010 | Enabling Configuration-Independent Automation by Non-Expert Users. Nate Kushman, Dina Katabi |
| 2010 | Finding a Needle in Haystack: Facebook's Photo Storage. Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason Sobel, Peter Vajgel |
| 2010 | FlexSC: Flexible System Call Scheduling with Exception-Less System Calls. Livio Soares, Michael Stumm |
| 2010 | Intrusion Recovery Using Selective Re-execution. Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek |
| 2010 | Large-scale Incremental Processing Using Distributed Transactions and Notifications. Daniel Peng, Frank Dabek |
| 2010 | Nectar: Automatic Management of Data and Computation in Datacenters. Pradeep Kumar Gunda, Lenin Ravindranath, Chandramohan A. Thekkath, Yuan Yu, Li Zhuang |
| 2010 | Onix: A Distributed Control Platform for Large-scale Production Networks. Teemu Koponen, Martín Casado, Natasha Gude, Jeremy Stribling, Leon Poutievski, Min Zhu, Rajiv Ramanathan, Yuichiro Iwata, Hiroaki Inoue, Takayuki Hama, Scott Shenker |
| 2010 | Piccolo: Building Fast, Distributed Programs with Partitioned Tables. Russell Power, Jinyang Li |
| 2010 | Reining in the Outliers in Map-Reduce Clusters using Mantri. Ganesh Ananthanarayanan, Srikanth Kandula, Albert G. Greenberg, Ion Stoica, Yi Lu, Bikas Saha, Edward Harris |
| 2010 | SPORC: Group Collaboration using Untrusted Cloud Resources. Ariel J. Feldman, William P. Zeller, Michael J. Freedman, Edward W. Felten |
| 2010 | Stable Deterministic Multithreading through Schedule Memoization. Heming Cui, Jingyue Wu, Chia-Che Tsai, Junfeng Yang |
| 2010 | StarTrack Next Generation: A Scalable Infrastructure for Track-Based Applications. Maya Haridasan, Iqbal Mohomed, Doug Terry, Chandramohan A. Thekkath, Li Zhang |
| 2010 | Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications. Adam Chlipala |
| 2010 | TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones. William Enck, Peter Gilbert, Byung-Gon Chun, Landon P. Cox, Jaeyeon Jung, Patrick D. McDaniel, Anmol Sheth |
| 2010 | The Turtles Project: Design and Implementation of Nested Virtualization. Muli Ben-Yehuda, Michael D. Day, Zvi Dubitzky, Michael Factor, Nadav Har'El, Abel Gordon, Anthony Liguori, Orit Wasserman, Ben-Ami Yassour |
| 2010 | Transactional Consistency and Automatic Management in an Application Data Cache. Dan R. K. Ports, Austin T. Clements, Irene Zhang, Samuel Madden, Barbara Liskov |
| 2010 | Trust and Protection in the Illinois Browser Operating System. Shuo Tang, Haohui Mai, Samuel T. King |
| 2010 | Virtualize Everything but Time. Timothy Broomhead, Laurence Cremean, Julien Ridoux, Darryl Veitch |
| 2010 | mClock: Handling Throughput Variability for Hypervisor IO Scheduling. Ajay Gulati, Arif Merchant, Peter J. Varman |