RISCs versus CISCs for Prolog: A Case Study. - Gaetano Borriello; Andrew R. Cherenson; Peter B. Danzig; Michael N. Nelson (ASPLOS, 1987)

Caching in the Sprite Network File System (Extended Abstract). - Michael N. Nelson; Brent B. Welch; John K. Ousterhout (SOSP, 1987)

The Sprite Network Operating System. - John K. Ousterhout; Andrew R. Cherenson; Fred Douglis; Michael N. Nelson; Brent B. Welch (Computer, 1988)

Caching in the Sprite Network File System. - Michael N. Nelson; Brent B. Welch; John K. Ousterhout (ACM Trans. Comput. Syst., 1988)

Virtual Memory Support for Multiple Page Sizes. - Yousef Y. A. Khalidi; Madhusudhan Talluri; Michael N. Nelson; Dock Williams (Workshop on Workstation Operating Systems, 1993)

Generic Support for Caching and Disconnected Operation. - Michael N. Nelson; Yousef Y. A. Khalidi (Workshop on Workstation Operating Systems, 1993)

A Flexible External Paging Interface. - Yousef Y. A. Khalidi; Michael N. Nelson (USENIX Microkernels and Other Kernel Architectures Symposium, 1993)

Extensible File Systems in Spring. - Yousef Y. A. Khalidi; Michael N. Nelson (SOSP, 1993)

An Implementation of UNIX on an Object-oriented Operating System. - Yousef Y. A. Khalidi; Michael N. Nelson (USENIX Winter, 1993)

High Performance Dynamic Linking Through Caching. - Michael N. Nelson; Graham Hamilton (USENIX Summer, 1993)

An Overview of the Spring System. - James G. Mitchell; Jonathan Gibbons; Graham Hamilton; Peter B. Kessler; Yousef Y. A. Khalidi; Panos Kougiouris; Peter Madany; Michael N. Nelson; Michael L. Powell; Sanjay R. Radia (COMPCON, 1994)

Security in the Spring Name Service. - Sanjay R. Radia; Michael N. Nelson; Michael L. Powell (ICDCS, 1994)

A Uniform Name Service for Spring's UNIX Environment. - Michael N. Nelson; Sanjay R. Radia (USENIX Winter, 1994)

A Highly Available, Scalable ITV System. - Michael N. Nelson; Mark A. Linton; Susan S. Owicki (SOSP, 1995)