| 2011 | Keypad: an auditing file system for theft-prone devices. | Roxana Geambasu, John P. John, Steven D. Gribble, Tadayoshi Kohno, Henry M. Levy |
| 2011 | Efficient middleware for byzantine fault tolerant database replication. | Rui Garcia, Rodrigo Rodrigues, Nuno M. Preguia |
| 2011 | Finding complex concurrency bugs in large multi-threaded applications. | Pedro Fonseca, Cheng Li, Rodrigo Rodrigues |
| 2011 | Increasing performance in byzantine fault-tolerant systems with on-demand replica consistency. | Tobias Distler, Rdiger Kapitza |
| 2011 | SRM-buffer: an OS buffer management technique to prevent last level cache from thrashing in multicores. | Xiaoning Ding, Kaibo Wang, Xiaodong Zhang |
| 2011 | Striking a new balance between program instrumentation and debugging time. | Olivier Crameri, Ricardo Bianchini, Willy Zwaenepoel |
| 2011 | Symbolic crosschecking of floating-point and SIMD code. | Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly |
| 2011 | CloneCloud: elastic execution between mobile device and cloud. | Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti |
| 2011 | Parallel symbolic execution for automated real-world software testing. | Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea |
| 2011 | Kaleidoscope: cloud micro-elasticity via VM state coloring. | Roy Bryant, Alexey Tumanov, Olga Irzak, Adin Scannell, Kaustubh R. Joshi, Matti A. Hiltunen, H. Andrs Lagar-Cavilla, Eyal de Lara |
| 2011 | DepSky: dependable and secure storage in a cloud-of-clouds. | Alysson Neves Bessani, Miguel P. Correia, Bruno Quaresma, Fernando Andr, Paulo Sousa |
| 2011 | The KOALA cloud management service: a modern approach for cloud infrastructure management. | Christian Baun, Marcel Kunze |
| 2011 | Assessing the overhead and scalability of system monitors for large data centers. | Mauro Andreolini, Michele Colajanni, Riccardo Lancellotti |
| 2011 | Scarlett: coping with skewed content popularity in mapreduce clusters. | Ganesh Ananthanarayanan, Sameer Agarwal, Srikanth Kandula, Albert G. Greenberg, Ion Stoica, Duke Harlan, Ed Harris |
| 2010 | Execution synthesis: a technique for automated software debugging. | Cristian Zamfir, George Candea |
| 2010 | Delay scheduling: a simple technique for achieving locality and fairness in cluster scheduling. | Matei Zaharia, Dhruba Borthakur, Joydeep Sen Sarma, Khaled Elmeleegy, Scott Shenker, Ion Stoica |
| 2010 | Policy-based access control for weakly consistent replication. | Ted Wobber, Thomas L. Rodeheffer, Douglas B. Terry |
| 2010 | Opportunities and challenges to unify workload, power, and cooling management in data centers. | Zhikui Wang, Niraj Tolia, Cullen E. Bash |
| 2010 | Dr. multicast: Rx for data center communication scalability. | Ymir Vigfusson, Hussam Abu-Libdeh, Mahesh Balakrishnan, Ken Birman, Robert Burgess, Gregory V. Chockler, Haoyuan Li, Yoav Tock |
| 2010 | NOVA: a microhypervisor-based secure virtualization architecture. | Udo Steinberg, Bernhard Kauer |
| 2010 | A comprehensive scheduler for asymmetric multicore systems. | Juan Carlos Saez, Manuel Prieto, Alexandra Fedorova, Sergey Blagodurov |
| 2010 | A language approach to discrete control in computing. | ric Rutten |
| 2010 | High-level programming of embedded hard real-time devices. | Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek |
| 2010 | Locating cache performance bottlenecks using data profiling. | Aleksey Pesterev, Nickolai Zeldovich, Robert T. Morris |
| 2010 | Barricade: defending systems against operator mistakes. | Fbio Oliveira, Andrew Tjang, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen |