| 2003 | Backtracking intrusions. Samuel T. King, Peter M. Chen |
| 2003 | Bullet: high bandwidth data dissemination using an overlay mesh. Dejan Kostic, Adolfo Rodriguez, Jeannie R. Albrecht, Amin Vahdat |
| 2003 | Capriccio: scalable threads for internet services. J. Robert von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric A. Brewer |
| 2003 | Decentralized user authentication in a global file system. Michael Kaminsky, George Savvides, David Mazières, M. Frans Kaashoek |
| 2003 | Energy-efficient soft real-time CPU scheduling for mobile multimedia systems. Wanghong Yuan, Klara Nahrstedt |
| 2003 | Implementing an untrusted operating system on trusted hardware. David Lie, Chandramohan A. Thekkath, Mark Horowitz |
| 2003 | Improving the reliability of commodity operating systems. Michael M. Swift, Brian N. Bershad, Henry M. Levy |
| 2003 | Measurement, modeling, and analysis of a peer-to-peer file-sharing workload. P. Krishna Gummadi, Richard J. Dunn, Stefan Saroiu, Steven D. Gribble, Henry M. Levy, John Zahorjan |
| 2003 | Model-carrying code: a practical approach for safe execution of untrusted applications. R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney |
| 2003 | Performance debugging for distributed systems of black boxes. Marcos Kawazoe Aguilera, Jeffrey C. Mogul, Janet L. Wiener, Patrick Reynolds, Athicha Muthitacharoen |
| 2003 | Preserving peer replicas by rate-limited sampled voting. Petros Maniatis, David S. H. Rosenthal, Mema Roussopoulos, Mary Baker, Thomas J. Giuli, Yanto Muliadi |
| 2003 | Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, SOSP 2003, Bolton Landing, NY, USA, October 19-22, 2003 Michael L. Scott, Larry L. Peterson |
| 2003 | RacerX: effective, static detection of race conditions and deadlocks. Dawson R. Engler, Ken Ashcraft |
| 2003 | SHARP: an architecture for secure resource peering. Yun Fu, Jeffrey S. Chase, Brent N. Chun, Stephen Schwab, Amin Vahdat |
| 2003 | Samsara: honor among thieves in peer-to-peer storage. Landon P. Cox, Brian D. Noble |
| 2003 | Separating agreement from execution for byzantine fault tolerant services. Jian Yin, Jean-Philippe Martin, Arun Venkataramani, Lorenzo Alvisi, Michael Dahlin |
| 2003 | SplitStream: high-bandwidth multicast in cooperative environments. Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony I. T. Rowstron, Atul Singh |
| 2003 | Terra: a virtual machine-based platform for trusted computing. Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, Dan Boneh |
| 2003 | The Google file system. Sanjay Ghemawat, Howard Gobioff, Shun-Tak Leung |
| 2003 | Transforming policies into mechanisms with infokernel. Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Nathan C. Burnett, Timothy E. Denehy, Thomas J. Engle, Haryadi S. Gunawi, James A. Nugent, Florentina I. Popovici |
| 2003 | Upgrading transport protocols using untrusted mobile code. Parveen Patel, Andrew Whitaker, David Wetherall, Jay Lepreau, Tim Stack |
| 2003 | User-level internet path diagnosis. Ratul Mahajan, Neil T. Spring, David Wetherall, Thomas E. Anderson |
| 2003 | Xen and the art of virtualization. Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield |