Accepted papers
Energy Management in Mobile Devices with
the Cinder Operating System  Arjun Roy (Stanford University), Stephen M. Rumble (Stanford University), Ryan Stutsman (Stanford University), Phil Levis (Stanford University), David Mazières (Stanford University), Nickolai Zeldovich (MIT CSAIL) |
| Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne (Imperial College London), Cristian Cadar (Imperial College London), Paul H. J. Kelly (Imperial College London) |
| Sierra: practical power-proportionality for data center storage Eno Thereska (Microsoft Research), Austin Donnelly (Microsoft Research), Dushyanth Narayanan (Microsoft Research) |
| Increasing Performance in Byzantine Fault-Tolerant Systems with On-Demand Replica Consistency Tobias Distler (Friedrich-Alexander University Erlangen-Nuremberg), Rüdiger Kapitza (Friedrich-Alexander University Erlangen-Nuremberg) |
Kaleidoscope: Cloud Micro-Elasticity via VM
State Coloring  Roy Bryant (University of Toronto), Alexey Tumanov (University of Toronto), Olga Irzak (University of Toronto), Adin Scannell (University of Toronto), Kaustubh Joshi (AT&T Labs Research), Matti Hiltunen (AT&T Labs Research), H. Andres Lagar-Cavilla (AT&T Labs Research), Eyal de Lara (University of Toronto) |
| Feature Consistency in Compile-Time-Configurable System Software: Facing the Linux 10,000 Feature Problem Reinhard Tartler (Friedrich-Alexander University Erlangen-Nuremberg), Daniel Lohmann (Friedrich-Alexander University Erlangen-Nuremberg), Julio Sincero (Friedrich-Alexander University Erlangen-Nuremberg), Wolfgang Schröder-Preikschat (Friedrich-Alexander University Erlangen-Nuremberg) |
| Striking a New Balance Between Program Instrumentation and Debugging Time
Olivier Crameri (EPFL), Ricardo Bianchini (Rutgers University), Willy Zwaenepoel (EPFL) |
| Database engines on multicores, Why parallelize when you can distribute? Tudor-Ioan Salomie (ETH Zurich), Ionut Subasu (ETH Zurich), Jana Giceva (ETH Zurich), Gustavo Alonso (ETH Zurich) |
| Operating System Support for Application-Specific Speculation Benjamin Wester (University of Michigan), Peter M. Chen (University of Michigan), Jason Flinn (University of Michigan) |
| Finding complex concurrency bugs in large multi-threaded applications Pedro Fonseca (MPI-SWS), Cheng Li (MPI-SWS), Rodrigo Rodrigues (MPI-SWS) |
| Cycles, Cells and Platters: An empirical analysis of hardware failures on a million consumer PCs (Best paper award) Edmund B Nightingale (Microsoft Research), John R. Douceur (Microsoft Research), Vince Orgovan (Microsoft) |
| Keypad: An Auditing File System for Theft-Prone Devices (Best student paper award) Roxana Geambasu (University of Washington), John P. John (University of Washington), Steven D. Gribble (University of Washington), Tadayoshi Kohno (University of Washington), Henry M. Levy (University of Washington) |
| Efficient Middleware for Byzantine Fault-tolerant Database Replication Rui Garcia (CITI/DI-FCT-Univ. Nova de Lisboa), Rodrigo Rodrigues (MPI-SWS), Nuno Preguiça (CITI/DI-FCT-Univ. Nova de Lisboa) |
| ZZ and the Art of Practical BFT Timothy Wood (University of Massachusetts Department of Computer Science), Rahul Singh (University of Massachusetts Department of Computer Science), Arun Venkataramani (University of Massachusetts Department of Computer Science), Prashant Shenoy (University of Massachusetts Department of Computer Science), Emmanuel Cecchet (University of Massachusetts Department of Computer Science) |
| Scarlett: Coping with Skewed Content Popularity in MapReduce Clusters Ganesh Ananthanarayanan (University of California Berkeley), Sameer Agarwal (University of California Berkeley), Srikanth Kandula (Microsoft Research), Albert Greenberg (Microsoft Research), Ion Stoica (University of California Berkeley), Duke Harlan (Microsoft Bing), Ed Harris (Microsoft Bing) |
| Fine-Grained Power Modeling for Smartphones Using System Call Tracing Abhinav Pathak (Purdue University), Y Charlie Hu (Purdue University), Ming Zhang (Microsoft Research), Victor Bahl (Microsoft Research), Yi-Min Wang (Microsoft Research) |
| A Case for Scaling Applications to Many-core Platforms with OS Clustering Xiang Song (Parallel Processing Institute, Fudan University), Haibo Chen (Parallel Processing Institute, Fudan University), Rong Chen (Parallel Processing Institute, Fudan University), Yuanxuan Wang (Parallel Processing Institute, Fudan University), Binyu Zang (Parallel Processing Institute, Fudan University) |
| Parallel Symbolic Execution for Automated Real-World Software Testing Stefan Bucur (EPFL), Vlad Ureche (EPFL), Cristian Zamfir (EPFL), George Candea (EPFL) |
| CloneCloud: Elastic Execution Between Mobile Device and Cloud Byung-Gon Chun (Intel Labs Berkeley), Sunghwan Ihm (Princeton University), Petros Maniatis (Intel Labs Berkeley), Mayur Naik (Intel Labs Berkeley), Ashwin Patti (Intel Labs Berkeley) |
| SRM-Buffer: An OS Buffer Management Technique to Prevent Last Level Cache from Thrashing in Multicores Xiaoning Ding (The Ohio State University), Kaibo Wang (The Ohio State University), Xiaodong Zhang (The Ohio State University) |
| Scheduling Large Jobs by Abstraction Refinement Thomas A. Henzinger (IST Austria), Vasu Singh (IST Austria), Thomas Wies (IST Austria), Damien Zufferey (IST Austria) |
| DepSky: Dependable and Secure Storage in a Cloud-of-Clouds Alysson Bessani (University of Lisbon, Faculty of Sciences), Miguel Correia (University of Lisbon, Faculty of Sciences), Bruno Quaresma (University of Lisbon, Faculty of Sciences), Fernando André (University of Lisbon, Faculty of Sciences), Paulo Sousa (University of Lisbon, Faculty of Sciences) |
| Is Co-scheduling Too Expensive for SMP VMs? Orathai Sukwong (Carnegie Mellon University), Hyong S. Kim (Carnegie Mellon University) |
| Refuse to crash with Re-FUSE Swaminathan Sundararaman (University of Wisconsin-Madison), Laxman Visampalli (Qualcomm), Andrea C. Arpaci-Dusseau (University of Wisconsin-Madison), Remzi H. Arpaci- Dusseau (University of Wisconsin-Madison) |
