The DEMOS File System. - Michael L. Powell (SOSP, 1977)

Database Support for Programming Environments. - Michael L. Powell; Mark A. Linton (Engineering Design Applications, 1983)

PUBLISHING: A Reliable Broadcast Communication Mechanism. - Michael L. Powell; David L. Presotto (SOSP, 1983)

Process Migration in DEMOS/MP. - Michael L. Powell; Barton P. Miller (SOSP, 1983)

A database model of debugging. - Michael L. Powell; Mark A. Linton (J. Syst. Softw., 1983)

Visual abstraction in an interactive programming environment. - Michael L. Powell; Mark A. Linton (SIGPLAN, 1983)

Modula-2: Good News and Bad News. - Michael L. Powell (COMPCON, 1984)

A portable optimizing compiler for Modula-2. - Michael L. Powell (SIGPLAN Symposium on Compiler Construction, 1984)

The Mahler Experience: Using and Intermediate Language as the Machine Description. - David W. Wall; Michael L. Powell (ASPLOS, 1987)

DEMOS/MP: The Development of a Distributed Operating System. - Barton P. Miller; David L. Presotto; Michael L. Powell (Softw. Pract. Exp., 1987)

Subcontract: A Flexible Base for Distributed Programming. - Graham Hamilton; Michael L. Powell; James G. Mitchell (SOSP, 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)

The Spring Object Model. - Sanjay R. Radia; Graham Hamilton; Peter B. Kessler; Michael L. Powell (COOTS, 1995)

Alternative Perspectives on Object Technology - Michael L. Powell (Softw. Pract. Exp., 1995)