Abstract is missing.
- Keypad: an auditing file system for theft-prone devicesRoxana Geambasu, John P. John, Steven D. Gribble, Tadayoshi Kohno, Henry M. Levy. 1-16 [doi]
- Database engines on multicores, why parallelize when you can distribute?Tudor-Ioan Salomie, Ionut Emanuel Subasu, Jana Giceva, Gustavo Alonso. 17-30 [doi]
- DepSky: dependable and secure storage in a cloud-of-cloudsAlysson Neves Bessani, Miguel P. Correia, Bruno Quaresma, Fernando André, Paulo Sousa. 31-46 [doi]
- Feature consistency in compile-time-configurable system software: facing the linux 10, 000 feature problemReinhard Tartler, Daniel Lohmann, Julio Sincero, Wolfgang Schröder-Preikschat. 47-60 [doi]
- A case for scaling applications to many-core with OS clusteringXiang Song, Haibo Chen, Rong Chen, Yuanxuan Wang, Binyu Zang. 61-76 [doi]
- Refuse to crash with Re-FUSESwaminathan Sundararaman, Laxman Visampalli, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. 77-90 [doi]
- Increasing performance in byzantine fault-tolerant systems with on-demand replica consistencyTobias Distler, Rüdiger Kapitza. 91-106 [doi]
- Efficient middleware for byzantine fault tolerant database replicationRui Garcia, Rodrigo Rodrigues, Nuno M. Preguiça. 107-122 [doi]
- ZZ and the art of practical BFT executionTimothy Wood, Rahul Singh, Arun Venkataramani, Prashant J. Shenoy, Emmanuel Cecchet. 123-138 [doi]
- Energy management in mobile devices with the cinder operating systemArjun Roy, Stephen M. Rumble, Ryan Stutsman, Philip Levis, David Mazières, Nickolai Zeldovich. 139-152 [doi]
- Fine-grained power modeling for smartphones using system call tracingAbhinav Pathak, Y. Charlie Hu, Ming Zhang, Paramvir Bahl, Yi-Min Wang. 153-168 [doi]
- Sierra: practical power-proportionality for data center storageEno Thereska, Austin Donnelly, Dushyanth Narayanan. 169-182 [doi]
- Parallel symbolic execution for automated real-world software testingStefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea. 183-198 [doi]
- Striking a new balance between program instrumentation and debugging timeOlivier Crameri, Ricardo Bianchini, Willy Zwaenepoel. 199-214 [doi]
- Finding complex concurrency bugs in large multi-threaded applicationsPedro Fonseca, Cheng Li, Rodrigo Rodrigues. 215-228 [doi]
- Operating system support for application-specific speculationBenjamin Wester, Peter M. Chen, Jason Flinn. 229-242 [doi]
- SRM-buffer: an OS buffer management technique to prevent last level cache from thrashing in multicoresXiaoning Ding, Kaibo Wang, Xiaodong Zhang. 243-256 [doi]
- Is co-scheduling too expensive for SMP VMs?Orathai Sukwong, Hyong S. Kim. 257-272 [doi]
- Kaleidoscope: cloud micro-elasticity via VM state coloringRoy Bryant, Alexey Tumanov, Olga Irzak, Adin Scannell, Kaustubh R. Joshi, Matti A. Hiltunen, H. Andrés Lagar-Cavilla, Eyal de Lara. 273-286 [doi]
- Scarlett: coping with skewed content popularity in mapreduce clustersGanesh Ananthanarayanan, Sameer Agarwal, Srikanth Kandula, Albert G. Greenberg, Ion Stoica, Duke Harlan, Ed Harris. 287-300 [doi]
- CloneCloud: elastic execution between mobile device and cloudByung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti. 301-314 [doi]
- Symbolic crosschecking of floating-point and SIMD codePeter Collingbourne, Cristian Cadar, Paul H. J. Kelly. 315-328 [doi]
- Scheduling large jobs by abstraction refinementThomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey. 329-342 [doi]
- Cycles, cells and platters: an empirical analysisof hardware failures on a million consumer PCsEdmund B. Nightingale, John R. Douceur, Vince Orgovan. 343-356 [doi]