1971 Program co-chairman, 3rd ACM Symposium on Operating Systems Principles
1972- Editorial board, Software—Practice and Experience (see [10]).
1972-1978 Chairman, steering committee for ARPA research in computer security.
1973 Program committee, 4th ACM Symposium on Operating Systems Principles.
1975 Program committee, 5th ACM Symposium on Operating Systems Principles.
1977 Program committee, 6th ACM Symposium on Operating Systems Principles.
1979 Program committee, 7th ACM Symposium on Operating Systems Principles.
1980 Program committee, ACM Workshop on Fundamentals of Distributed Computing.
1981 Program committee, 8th ACM Symposium on Operating Systems Principles.
1982-1985 Associate editor, ACM Transactions on Computer Systems.
1984 Invited speaker, CRAI Conference on Advanced Personal Computing Technology, Capri.
1984 Program committee, International Symposium on Data Types.
1985 Invited speaker, 3rd ACM Conference on Principles of Distributed Computing (see [36]).
1985-1989 Editorial board, Annual Review of Computer Science.
1986 Program committee, 4th ACM Conference on Principles of Distributed Computing.
1988 Invited lecturer, Summer School on Program Construction, Marktoberdorf (see [40]).
1988 Program committee, 13th ACM Conference on Principles of Programming Languages.
1989-1990 System Security Study Committee, Computer Science and Telecommunications Board, National Academy of Science (see [43]).
1989-1995 Visiting committee, Division of Applied Science, Harvard University.
1990-1993 Lecturer,
Advanced Course in Distributed Systems, Bologna, Karuizawa,
Lisbon,
1991- Distinguished
Lecturer at MIT, University of Utah, University of Illinois, University of
Texas, UCLA, USC, Carnegie-Mellon, Oxford,
1991 Keynote speaker, 12th International Conference on Software Engineering, Austin, TX.
1992 Invited lecturer, 25th Newcastle Symposium on the Teaching of Computer Science, Newcastle-upon-Tyne, UK.
1992 Keynote speaker, 5th ACM Symposium on Architectural Support for Programming Languages and Operating Systems, Boston, MA.
1993 Program committee, 14th ACM Symposium on Operating System Principles.
1994 Invited speaker, Conference on Programming Languages and System Architectures, Zürich (see [54]).
1994-1995 High Performance Computing and Communications Initiative study committee, Computer Science and Telecommunications Board, National Academy of Science (see [55]).
1996 Invited speaker, DIMACS workshop on network security, New Jersey.
1996 Invited speaker, NSF workshop on research directions in computer systems, St. Louis.
1996 Invited speaker, 10th International Workshop on Distributed Algorithms (WDAG), Bologna (see [57]).
1996-1999 Information Science and Technology (ISAT) committee, DARPA.
1997-8 Command, Control, Communications, Computing, and Intelligence study committee, Computer Science and Telecommunications Board, National Academy of Science.
1997 Invited
speaker, Microsoft/University of
1998 Area editor, Encyclopedia of Electrical Engineering and Computer Science, IEEE/Oxford University Press.
1999 Keynote speaker, 17th ACM
Symposium on Operating Systems Principles
2000 Program committee, Usenix
Conference on Operating Systems Design and Implementation
2000 Keynote speaker, 9th ACM Symposium on Architectural Support for Programming
Languages and Operating Systems, Cambridge, MA
2000 Invited speaker, Annual
Computer Security Applications Conference, New Orleans, LA
2001 Program committee, 18th ACM
Symposium on Operating Systems Principles
2001 Invited speaker, 19th ACM
Conference on Principles of Distributed Systems, Newport, RI
2002 Keynote speaker, FORTE 2002 (International Conference on Formal Techniques for Networked and Distributed Systems), Houston, TX
2002-5 Information Science and Technology (ISAT) committee, DARPA, red team.
2003 Keynote
speaker, 21st ACM Conference on
Principles of Distributed Computing, Boston, MA
2003-4 Future of Supercomputing study
committee, Computer Science and Telecommunications Board, National Academy of
Science.
2004 Program committee, First Symposium on Networked Systems Design and Implementation, San Francisco.
2005 Program committee, Tenth Workshop on Hot Topics in Operating Systems, Santa Fe.
2005 Invited talk, 14th Usenix Security Symposium, Baltimore.
2005 Invited talk, NSF Cyber Trust Principal Investigators Meeting, Newport Beach, CA.
2006 Invited talk, Usenix annual meeting, Boston, MA
2006 Invited lecturer, summer school on Software System Reliability and Security, Marktoberdorf