Bhl-cv-08. dvi

Chairman of Panel Session on Program Specification Techniques

IFIP Congress, Toronto, Canada, August 1977.

An Appraisal of Program Specifications

Conference on Research Directions in Software Technology, Providence, RI, October 1977.

CLU Abstraction Mechanisms and Their Implementation

SIGPLAN Meeting, Boston, MA, November 1977.

Cornell University, Ithaca, NY, December 1977.

Abstraction Mechanisms in CLU

University of Waterloo, Canada, November 1977.

Bell Labs., Indian Hill, IL, November 1977.

Primitives for Distributed Computing

IFIP Working Group 2.3, Warwick, England, April 1978.

Session Chairman, History of Programming Languages Conference, Los Angeles, June 1978.

Issues in Distributed Computing

Quality Software Workshop, Salt Lake City, October 1978.

Implementation Aspects of CLU

Use of Data Abstractions in Data Bases

ACM National Conference, Washington, DC, December 1978.

Linguistic Support for Distributed Computing

Eidgenossische Technische Hochschule, Zurich, Switzerland, January 1979.

Introduction to CLU

An Example of Modular Program Development

Embedding Data Abstraction in Programming Languages

Copenhagen Winter School on Abstract Software Specifications, Copenhagen, Denmark, January 1979.

Introduction to CLU

An Example of Modular Program Development

Bell Laboratories, Piscataway, NJ, March 1979.

Linguistic Support for Distributed Programs

University of Rochester, Rochester, NY, April 1979.

Message Passing Primitives

Quality Software Workshop, Amherst, MA, April 1979.

Communicating Abstract Values

National Computer Conference, New York, NY, June 1979.

Primitives for Distributed Computing

Xerox PARC, Palo Alto, CA, August 1979.

7th Symposium on Operating Systems Principles, Pacific Grove, CA, December 1979.

Introduction to CLU

2nd Advanced Course on Computing Systems Reliability, Toulouse, France, September 1979.

An Example of Modular Program Development

2nd Advanced Course on Computing Systems Reliability, Toulouse, France, September 1979.

Embedding Data Abstraction in Programming Languages

2nd Advanced Course on Computing Systems Reliability, Toulouse, France, September 1979.

18

---

Semantics of Remote Invocation

Quality Software Workshop, Carmel, CA, December 1979.

Abstraction Mechanisms in CLU

College of William and Mary, Williamsburg, VA, March 1980.

Primitives for Distributed Computing

Carnegie-Mellon University, Distinguished Lecture, Pittsburgh, PA, March 1980.

Linguistic Support for Distributed Computing

Capri, Italy, October 1980.

Modular Program Construction Using Abstractions

Wang Institute, Tyngsboro, MA, April 1981.

Oxford University, England, May 1981.

On Linguistic Support for Distributed Programs

IEEE Symposium on Reliability in Distributed Software and Database Systems, Pittsburgh, PA, July

1981.

University of Washington, Seattle, WA, August 1981.

Invited Lecture at the Inaugural Symposium, Cross Currents in Computer Science.

University of New Hampshire, Durham, NH, October 1981.

Quality Software Meeting, Rockport, MA, October 1981.

General Electric Co., Schenectady, NY, November 1981.

Wang Institute, Tyngsboro, MA, December 1981.

Argus: Linguistic Support for Distributed Computing

Boston University, Boston, MA, February 1982.

Harvard University, Cambridge, MA, March 1982.

Yale University, New Haven, CT, April 1982.

Prime Computer, Framingham, MA, April 1982.

University of Maryland, College Park, MD, September 1982.

Stanford, University, Stanford, CA, October 1982.

IBM, San Jose, CA, October 1982.

Harvard University, Cambridge, MA, December 1982.

University of Massachusetts, Amherst, MA, December 1982.

IBM, MIT Meeting, Cambridge, MA, January 1983.

Greater Boston SIGPLAN, Cambridge, MA, January 1983.

Digital Equipment Corp., Marlboro, MA, March 1983.

University of Toronto, Canada, March 1983.

Honeywell, Inc., Bloomington, MN, April 1983.

Brown Boveri, Baden, Switzerland, August 1985.

Argus: The Programming Language and System

Xerox Palo Alto Research Center, Palo Alto, CA, August 1983.

Cornell University, Ithaca, NY, November 1983.

Brown University, Providence, RI, May 1984.

State University of New York, Stony Brook, NY, October 1984.

Wang Institute of Graduate Studies, Tyngsboro, MA, October 1984.

University of Pennsylvania, Philadelphia, PA, November 1984.

University of Delaware, Newark, DE, April 1985.

Programming Methodology

Introduction to CLU

Specifying Data Abstractions

Program Construction Using Abstractions

Using Abstractions in Programming Languages

19

---

The Argus Language and System –

Concepts and Issues

Argus Features

Example

Subsystems

Implementation

User-defined Atomic Data Types

Discussion

International Professorship in Computer Science, Katholieke

Universiteit Leuven, Leuven, Belgium, January 23-27, 1984.

The Argus Language and System

Concepts and issues

Argus Features

Example

Subsystems

Implementation

User-defined Aromic Data Types

Discussion

Advanced Course on Distributed Systems–Methods and Tools for

Specification, Munich, Germany, April 1984: also in April 1985.

Software Engineering

Panel Discussion, Wang Institute of Graduate Studies, Tyngsboro, MA, October 1985.

Implementation of Resilient, Atomic Data Types

Stanford University, Stanford, CA, January 1986.

Specifications of Distributed Programs

Forsythe Lecture, Stanford University, Stanford, CA, January 1986

IBM Research Center, San Jose, CA, March 1986.

Overview of Argus; 2-Phase Commit Protocol

Asilomar Workshop on Fault Tolerant Distributed Computing, Monterey, CA, March 1986.

Argus and Support for Distributed Systems

NEC Corporation, Tokyo, Japan, October 1986.

Support for Heterogeneous Computing

NEC Corporation, Tokyo, Japan, October 1986.

Argus: The Programming Language and System

Bell Communications Research, Morristown, NJ, April 1987.

Yale University, Dept. of Computer Science, New Haven, CT, October 1987.

University of Connecticut, Dept. of Computer Science & Engineering, Storrs, CT, April 1988.

Keynote Lecture, The Third Israel Conference on Computer Systems and Software Engineering, Tel

Aviv, Israel, June 1988.

Northeastern University, Boston, MA, April 1988.

Linguistic Support for Parallel and Distributed Software

DARPA, Washington, DC, June 1988.

Argus and Mercury

DARPA, Washington, DC, September 1988.

Communication in a Heterogeneous System

Texas Instruments, Dallas, TX, February 1987.

M.I.T. Laboratory for Computer Science, Cambridge, MA, March 1987.

20

---