Abstract is missing.
- DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level LanguageYuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Úlfar Erlingsson, Pradeep Kumar Gunda, Jon Currey. 1-14 [doi]
- Everest: Scaling Down Peak Loads Through I/O Off-LoadingDushyanth Narayanan, Austin Donnelly, Eno Thereska, Sameh Elnikety, Antony I. T. Rowstron. 15-28 [doi]
- Improving MapReduce Performance in Heterogeneous EnvironmentsMatei Zaharia, Andy Konwinski, Anthony D. Joseph, Randy H. Katz, Ion Stoica. 29-42 [doi]
- Corey: An Operating System for Many CoresSilas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandong Mao, M. Frans Kaashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yuehua Dai, Yang Zhang, Zheng Zhang. 43-57 [doi]
- CuriOS: Improving Reliability through Operating System StructureFrancis M. David, Ellick Chan, Jeffrey C. Carlyle, Roy H. Campbell. 59-72 [doi]
- Redline: First Class Support for Interactivity in Commodity Operating SystemsTing Yang, Tongping Liu, Emery D. Berger, Scott F. Kaplan, J. Eliot B. Moss. 73-86 [doi]
- Network Imprecision: A New Consistency Metric for Scalable MonitoringNavendu Jain, Prince Mahajan, Dmitry Kit, Praveen Yalagandula, Michael Dahlin, Yin Zhang. 87-102 [doi]
- Lightweight, High-Resolution Monitoring for Troubleshooting Production SystemsSapan Bhatia, Abhishek Kumar, Marc E. Fiuczynski, Larry L. Peterson. 103-116 [doi]
- Automating Network Application Dependency Discovery: Experiences, Limitations, and New SolutionsXu Chen, Ming Zhang, Zhuoqing Morley Mao, Paramvir Bahl. 117-130 [doi]
- SQCK: A Declarative File System CheckerHaryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. 131-146 [doi]
- Transactional FlashVijayan Prabhakaran, Thomas L. Rodeheffer, Lidong Zhou. 147-160 [doi]
- Avoiding File System Micromanagement with Range WritesAshok Anand, Sayandeep Sen, Andrew Krioukov, Florentina I. Popovici, Aditya Akella, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Suman Banerjee. 161-176 [doi]
- Binary Translation Using Peephole SuperoptimizersSorav Bansal, Alex Aiken. 177-192 [doi]
- R2: An Application-Level Kernel for Record and ReplayZhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, Zheng Zhang. 193-208 [doi]
- KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems ProgramsCristian Cadar, Daniel Dunbar, Dawson R. Engler. 209-224 [doi]
- Hardware Enforcement of Application Security Policies Using Tagged MemoryNickolai Zeldovich, Hari Kannan, Michael Dalton, Christos Kozyrakis. 225-240 [doi]
- Device Driver Safety Through a Reference Validation MechanismDan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider. 241-254 [doi]
- Digging for Data StructuresAnthony Cozzie, Frank Stratton, Hui Xue, Samuel T. King. 255-266 [doi]
- Finding and Reproducing Heisenbugs in Concurrent ProgramsMadanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu. 267-280 [doi]
- Gadara: Dynamic Deadlock Avoidance for Multithreaded ProgramsYin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke. 281-294 [doi]
- Deadlock Immunity: Enabling Systems to Defend Against DeadlocksHoratiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea. 295-308 [doi]
- Difference Engine: Harnessing Memory Redundancy in Virtual MachinesDiwaker Gupta, Sangmin Lee, Michael Vrable, Stefan Savage, Alex C. Snoeren, George Varghese, Geoffrey M. Voelker, Amin Vahdat. 309-322 [doi]
- Quanto: Tracking Energy in Networked Embedded SystemsRodrigo Fonseca, Prabal Dutta, Philip Levis, Ion Stoica. 323-338 [doi]
- Leveraging Legacy Code to Deploy Desktop Applications on the WebJohn R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch. 339-354 [doi]
- FlightPath: Obedience vs. Choice in Cooperative ServicesHarry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, Michael Dahlin. 355-368 [doi]
- Mencius: Building Efficient Replicated State Machine for WANsYanhua Mao, Flavio Paiva Junqueira, Keith Marzullo. 369-384 [doi]