James G. Mitchell

1996
13		James G. Mitchell: JavaOS: Back to the Future (Abstract). OSDI 1996: 1
1994
12		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: An Overview of the Spring System. COMPCON 1994: 122-131
1993
11		Graham Hamilton, Michael L. Powell, James G. Mitchell: Subcontract: A Flexible Base for Distributed Programming. SOSP 1993: 69-79
1983
10		James G. Mitchell: File Servers. Advanced Course: Local Area Networks 1983: 221-259
9		Roger M. Needham, A. J. Herbert, James G. Mitchell: How to Connect Stable Memory to a Computer. Operating Systems Review 17(1): 16 (1983)
1982
8		James G. Mitchell, Jeremy Dion: A Comparison of Two Network-Based File Servers. Commun. ACM 25(4): 233-245 (1982)
1981
7		James G. Mitchell, Jeremy Dion: A Comparison of Two Network-Based File Servers. SOSP 1981: 45-46
1978
6		Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: Proof Rules for the Programming Language Euclid. Program Construction 1978: 133-163
5		Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: Proof Rules for the Programming Language Euclid. Acta Inf. 10: 1-26 (1978)
1977
4		Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London: Notes on the Design of Euclid. Language Design for Reliable Software 1977: 11-18
1975
3		Charles M. Geschke, James G. Mitchell: On the Problem of Uniform References to Data Structures. IEEE Trans. Software Eng. 1(2): 207-219 (1975)
1974
2		Butler W. Lampson, James G. Mitchell, E. H. Satterthwhaite: On the transfer of control between contexts. Symposium on Programming 1974: 181-203
1970
1		James G. Mitchell: The Design and Construction of Flexible and Efficient Interactive Programming Systems Garland Publishing, New York 1970

Coauthor Index

1	Jeremy Dion	[7] [8]
2	Charles M. Geschke	[3]
3	Jonathan Gibbons	[12]
4	John V. Guttag	[5] [6]
5	Graham Hamilton	[11] [12]
6	A. J. Herbert	[9]
7	James J. Horning (Jim Horning)	[4] [5] [6]
8	Peter B. Kessler	[12]
9	Yousef Y. A. Khalidi (M. Yousef Amin Khalidi)	[12]
10	Panos Kougiouris	[12]
11	Butler W. Lampson	[2] [4] [5] [6]
12	Ralph L. London	[4] [5] [6]
13	Peter Madany	[12]
14	Roger M. Needham	[9]
15	Michael N. Nelson	[12]
16	Gerald J. Popek	[4] [5] [6]
17	Michael L. Powell	[11] [12]
18	Sanjay R. Radia	[12]
19	E. H. Satterthwhaite	[2]

Colors in the list of coauthors