| 2005 | ExtraVirt: detecting and recovering from transient processor faults. | Dominic G. Lucchetti, Steven K. Reinhardt, Peter M. Chen |
| 2005 | Implementing declarative overlays. | Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica |
| 2005 | Using model checker and replay facility to debug complex distributed system. | Xuezheng Liu, Aimin Pan, Wei Lin, Zheng Zhang |
| 2005 | MON: management overlay networks for distributed systems. | Jin Liang, Steven Y. Ko, Indranil Gupta, Klara Nahrstedt |
| 2005 | Pre-virtualization: uniting two worlds. | Joshua LeVasseur, Volkmar Uhlig, Ben Leslie, Matthew Chapman, Gernot Heiser |
| 2005 | Operating system construction in Haskell. | Rebekah Leslie, Mark P. Jones |
| 2005 | An infrastructure for the development of kernel network services proof of concept: fast UDP. | Edgar A. Len, Michal Ostrowski |
| 2005 | Towards scalable and simple software-DSM systems. | Kenji Kise, Takahiro Katagiri, Hiroki Honda, Toshitsugu Yuba |
| 2005 | Transaction mix performance models: methods and application to performance anomaly detection. | Terence Kelly |
| 2005 | A virtual machine monitor for utilizing non-dedicated clusters. | Kenji Kaneda, Yoshihiro Oyama, Akinori Yonezawa |
| 2005 | A virtual machine monitor for utilizing non-dedicated clusters. | Kenji Kaneda, Yoshihiro Oyama, Akinori Yonezawa |
| 2005 | Versatile, portable, and efficient OS profiling via latency analysis. | Nikolai Joukov, Rakesh Iyer, Avishay Traeger, Charles P. Wright, Erez Zadok |
| 2005 | Detecting past and present intrusions through vulnerability-specific predicates. | Ashlesha Joshi, Samuel T. King, George W. Dunlap, Peter M. Chen |
| 2005 | Distributed operating system for resource discovery and allocation in federated clusters. | Emmanuel Jeanvoine |
| 2005 | INSIGHT: a distributed monitoring system for tracking continuous queries. | Navendu Jain, Praveen Yalagandula, Mike Dahlin, Yin Zhang |
| 2005 | Proactive operating system recovery. | Hiroo Ishikawa, Tatsuo Nakajima, Shuichi Oikawa, Toshio Hirotsu |
| 2005 | Sending more for less bandwidth and power: a systems approach to network coding. | Wenjun Hu, Sachin Katti, Hariharan Rahul, Dina Katabi, Jon Crowcroft |
| 2005 | FS2: dynamic data replication in free disk space for improving disk performance and energy consumption. | Hai Huang, Wanda Hung, Kang G. Shin |
| 2005 | Anemone: adaptive network memory engine. | Michael R. Hines, Mark Lewandowski, Kartik Gopalan |
| 2005 | t-kernel: a naturalizing OS kernel for low-power cost-effective computers. | Lin Gu, John A. Stankovic |
| 2005 | To infinity and beyond: time warped network emulation. | Diwaker Gupta, Kenneth Yocum, Marvin McNett, Alex C. Snoeren, Amin Vahdat, Geoffrey M. Voelker |
| 2005 | Kairos: a macro-programming system for wireless sensor networks. | Ramakrishna Gummadi, Nupur Kothari, Ramesh Govindan, Todd D. Millstein |
| 2005 | Architecting a secure internet. | Saikat Guha, Paul Francis |
| 2005 | The taser intrusion recovery system. | Ashvin Goel, Kenneth Po, Kamran Farhadi, Zheng Li, Eyal de Lara |
| 2005 | UIA: a user information architecture for personal devices. | Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, M. Frans Kaashoek, Robert Morris, Sean C. Rhea |