The Design and Construction of Flexible and Efficient Interactive Programming Systems - James G. Mitchell (Garland Publishing, New York, 1970)

On the transfer of control between contexts. - Butler W. Lampson; James G. Mitchell; E. H. Satterthwhaite (Symposium on Programming, 1974)

On the Problem of Uniform References to Data Structures. - Charles M. Geschke; James G. Mitchell (IEEE Trans. Software Eng., 1975)

Notes on the Design of Euclid. - Gerald J. Popek; James J. Horning; Butler W. Lampson; James G. Mitchell; Ralph L. London (Language Design for Reliable Software, 1977)

Report on the programming language Euclid. - Butler W. Lampson; James J. Horning; Ralph L. London; James G. Mitchell; Gerald J. Popek (ACM SIGPLAN Notices, 1977)

Proof Rules for the Programming Language Euclid. - Ralph L. London; John V. Guttag; James J. Horning; Butler W. Lampson; James G. Mitchell; Gerald J. Popek (Acta Informatica, 1978)

Mesa from the perspective of a designer turned user. - James G. Mitchell (APL, 1981)

A Comparison of Two Network-Based File Servers. - James G. Mitchell; Jeremy Dion (Commun. ACM, 1982)

File Servers. - James G. Mitchell (Advanced Course: Local Area Networks, 1983)

How to Connect Stable Memory to a Computer. - Roger M. Needham; A. J. Herbert; James G. Mitchell (ACM SIGOPS Oper. Syst. Rev., 1983)

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)

JavaOS: Back to the Future (Abstract). - James G. Mitchell (OSDI, 1996)

Early experience with in situ chip-to-chip alignment characterization of Proximity Communication flip-chip package. - Theresa Sze; Darko Popovic; Jing Shi; Yi-Shao Lai; James G. Mitchell; Bruce Guenin; Tsung-Yueh Tsai; Chin-Li Kao; Matthew Giere (Microelectron. Reliab., 2010)

Energy-Efficient Error Control for Tightly Coupled Systems Using Silicon Photonic Interconnects. - Xuezhe Zheng; Pranay Koka; Michael O. McCracken; Herb Schwetman; James G. Mitchell; Jin Yao; Ron Ho; Kannan Raj; Ashok V. Krishnamoorthy (JOCN, 2011)

Organizing the bacterial annotation space with amino acid sequence embeddings. - Susanna R. Grigson; Jody C. McKerral; James G. Mitchell; Robert A. Edwards (BMC Bioinform., 2022)