| 2004 | OSDI | FUSE: Lightweight Guaranteed Distributed Failure Notification. | John Dunagan, Nicholas J. A. Harvey, Michael B. Jones, Dejan Kostic, Marvin Theimer, Alec Wolman |
| 2003 | INFOCOM | An Evaluation of Scalable Application-Level Multicast Built Using Peer-To-Peer Overlays. | Miguel Castro, Michael B. Jones, Anne-Marie Kermarrec, Antony I. T. Rowstron, Marvin Theimer, Helen J. Wang, Alec Wolman |
| 2002 | ICDCS | Reclaiming Space from Duplicate Files in a Serverless Distributed File System. | John R. Douceur, Atul Adya, William J. Bolosky, Dan Simon, Marvin Theimer |
| 2002 | ICDCS | Overlook: Scalable Name Service on an Overlay Network. | Marvin Theimer, Michael B. Jones |
| 2002 | OSDI | FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment. | Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, Roger Wattenhofer |
| 2002 | USENIX | Cooperative Task Management Without Manual Stack Management. | Atul Adya, Jon Howell, Marvin Theimer, William J. Bolosky, John R. Douceur |
| 2001 | HotOS | Herald: Achieving a Global Event Notification Service. | Luis-Felipe Cabrera, Michael B. Jones, Marvin Theimer |
| 2000 | SIGMETRICS | Feasibility of a serverless distributed file system deployed on an existing set of desktop PCs. | William J. Bolosky, John R. Douceur, David Ely, Marvin Theimer |
| 1997 | MOBICOM | Dealing with Server Corruption in Weakly Consistent, Replicated Data Systems. | Mike Spreitzer, Marvin Theimer, Karin Petersen, Alan J. Demers, Douglas B. Terry |
| 1997 | UIST | Designing and Implementing Asynchronous Collaborative Applications with Bayou. | W. Keith Edwards, Elizabeth D. Mynatt, Karin Petersen, Mike Spreitzer, Douglas B. Terry, Marvin Theimer |
| 1997 | SOSP | Flexible Update Propagation for Weakly Consistent Replication. | Karin Petersen, Mike Spreitzer, Douglas B. Terry, Marvin Theimer, Alan J. Demers |
| 1995 | SOSP | Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System. | Douglas B. Terry, Marvin Theimer, Karin Petersen, Alan J. Demers, Mike Spreitzer, Carl Hauser |
| 1994 | ICDCS | Architectural Considerations for Scalable, Secure, Mobile Computing with Location information. | Mike Spreitzer, Marvin Theimer |
| 1993 | HotOS | Operating System Issues for PDAs. | Marvin Theimer, Alan J. Demers, Brent B. Welch |
| 1993 | SOSP | Using Threads in Interactive Systems: A Case Study. | Carl Hauser, Christian Jacobi, Marvin Theimer, Brent B. Welch, Mark D. Weiser |
| 1993 | SOSP | Providing Location Information in a Ubiquitous Computing Environment. | Mike Spreitzer, Marvin Theimer |
| 1992 | ICDCS | Delegation Through Access Control Programs. | Marvin Theimer, David A. Nichols, Douglas B. Terry |
| 1991 | ICDCS | Heterogeneous process migration by recompilation. | Marvin Theimer, Barry Hayes |
| 1989 | ICDCS | QuickSilver Support for Access to Data in Large, Geographically Dispersed Systems. | Marvin Theimer, Luis-Felipe Cabrera, James C. Wyllie |
| 1988 | ICDCS | Finding Idle Machines in a Workstation-based Distributed System. | Marvin Theimer, Keith A. Lantz |
| 1985 | SOSP | Preemptable Remote Execution Facilities for the V-System. | Marvin Theimer, Keith A. Lantz, David R. Cheriton |