Bhl-cv-08. dvi

13. Practical Benefits of Research in Programming Methodology. Proc. of the 1978 National Computer

Conference, June 1978.

14. Aspects of Implementing CLU. Proc. of the ACM 1978 Annual Conference, December 1978 (with R.

Atkinson and R. Scheifler).

15. An Appraisal of Program Specifications. The Impact of Research on Software Technology (P. Wegner,

Ed.), MIT Press, Cambridge, MA, June 1979 (with V. Berzins).

16. Remarks on the Construction of Large Programs. The Impact of Research on Software Technology (P.

Wegner, Ed.), MIT Press, Cambridge, MA, June 1979.

17. Exception Handling in CLU. IEEE Trans. on Software Engineering SE-5, 6 (November 1979), 546-558

(with A. Snyder).

18. Primitives for Distributed Computing. Proc. of the Seventh Symposium on Operating Systems Princi-

ples, December 1979, 33-41.

19. Modular Program Construction Using Abstractions. Abstract Software Specifications, 1979 Copenhagen

Winter School Proceedings, Lecture Notes in Computer Science 86, Springer-Verlag, 1980, 354-389.

20. CLU Reference Manual. Technical Report TR-225, MIT Laboratory for Computer Science, Cambridge,

MA, October 1979 (with R. Atkinson, T. Bloom, E. Moss, J. C. Schaffert, R. Scheifler, and A. Snyder).

21. On Linguistic Support for Distributed Programs. Proc. of the IEEE Symposium on Reliability in Dis-

tributed Software and Database Systems, Pittsburgh, PA, July 1981, 53-60. Also IEEE Trans. on Soft-

ware Engineering SE-8, 3 (1982), 203-210.

22. Report on the Workshop on Fundamental Issues in Distributed Computing. ACM Operating Systems

Review 15, 3 (July 1981), 9-38; ACM SIGPLAN Notices 16, 10 (October 1981), 20-49.

23. A Value Transmission Method for Abstract Data Types. ACM Trans. on Programming Languages and

Systems 4, 4 (October 1982), 527-551 (with M. Herlihy).

24. Guardians and Actions: Linguistic Support for Robust, Distributed Programs. Proc. of the 9th Annual

ACM Symposium on Principles of Programming Languages, January 1982, 7-19 (with R. Scheifler).

Also published in ACM Trans. on Programming Languages and Systems 5, 3 (July 1983), 381-404.

25. Issues in Process and Communication Structure for Distributed Programs. Proc. of the Third Sympo-

sium on Reliability in Distributed Software and Database Systems, October 1983. Also in Computer

Systems for Process Control (Ed., R. Guth), Plenum Press, 1986, 213-238 (with M. P. Herlihy).

26. Specification and Implementation of Resilient, Atomic Data Types. Proc. of the SIGPLAN ’83: Sym-

posium on Programming Language Issues in Software Systems, June 1983 (with W. Weihl).

27. The Argus Language and System. Distributed Systems – Methods and Tools for Specification, an Ad-

vanced Course, Lecture Notes in Computer Science 190, Springer-Verlag, 1985, 343-430.

28. Implementation of Resilient, Atomic Data Types. ACM Trans. on Programming Languages and Systems

7, 2 (April 1985), 244-269 (with W. E. Weihl).

29. Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed

Computing. Proc. of the 13th ACM SIGACT/SIGPLAN Symposium on Principles of Programming

Languages, January 1986 (with M. P. Herlihy and L. Gilbert).

30. Reliable Object Storage to Support Atomic Actions. Proc. of the ACM Tenth Symposium on Operating

Systems Principles, December 1985 (with B. M. Oki and R. W. Scheifler).

31. Specifications of Distributed Programs. Distributed Computing 1, 1986, 102-118 Springer International

(with W. E. Weihl).

4

---

32. Highly-Available Distributed Services and Fault-Tolerant Distributed Garbage Collection. Proc. of the

5th ACM Symposium on the Principles of Distributed Computing, August 1986 (with R. Ladin).

33. Orphan Detection. 17th International Symposium on Fault-Tolerant Computing, July 1987 (with R.

W. Scheifler, E. Walker, and W. E. Weihl).

34. Implementation of Argus. 11th ACM Symposium on Operating Systems Principles, November 1987

(with D. Curtis, P. Johnson and R. Scheifler).

35. ”Guardians and Actions: Linguistic Support for Robust, Distributed Programs.” In ”Concurrency

Control and Reliability in Distributed Systems,” B. Bhargava, Ed., Van Nostrand Reinhold, NY, 1987,

124-153 (with R. Scheifler).

36. Communication in the Mercury System. Proc. of the Twenty First Annual Hawaii International Con-

ference on System Sciences, Jan. 1988, 178-187 (with T. Bloom, D. Gifford, R. Scheifler and W. Weihl).

37. Distributed Programming in Argus. Comm. of the ACM 31, 3 (March 1988), 300-312.

38. A Technique for Constructing Highly-Available Services. Algorithmica 3, 1988, 393-420 (with R. Ladin

and L. Shrira).

39. Data Abstraction and Hierarchy. Addendum to the Proceedings of OOPSLA ’87, SIGPLAN Notices

23, 5 (May 1988), 17-34.

40. Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. Proc.

of the ACM SIGPLAN ’88 Conference on Programming Languages Design and Implementation, June

1988 (with L. Shrira).

41. Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed

Systems. Proc. of the Seventh ACM Symposium on Principles of Distributed Computing, August 1988.

(with B. Oki).

42. Heterogeneous Computing: A High-Level Communication Mechanism. Proc. of CIPS Edmonton ’88

Chaos Into Order, Edmonton, Alberta, Canada, November 1988, 214-222 (with T. Bloom, D. Gifford,

R. Scheifler and W. Weihl).

43. Implementation of Resilient, Atomic Data Types. In Readings in Object-Oriented Databases, Morgan-

Kaufman, Publishers (S. Zdonik and D. Maier, Eds.), 1989 (with W. Weihl).

44. Design for a Fault-Tolerant, Distributed Implementation of Linda. Proc. of the Nineteenth International

Symposium on Fault-Tolerant Computing, June 1989 (with A. Xu).

45. Efficient At-Most-Once Messages Based on Synchronized Clocks. Proc. of the Second Workshop on

Workstation Operating Systems (WWOS-II), IEEE, September 1989, 73-81. (with L. Shrira and J.

Wroclawski).

46. Computer Systems. Computer Science: Achievements and Opportunities, Report of the NSF Advisory

Committee for Computer Research. Published by the Society for Industrial and Applied Mathematics,

1989, 29-39 (with F. Baskett, A. N. Habermann, F. B. Schneider, D. Clark and B. Smith).

47. Atomic Garbage Collection: Managing a Stable Heap. In 1989 SIGMOD Conference, Portland, OR,

1989 (with E. Kolodner and W. Weihl).

48. Lazy Replication: Exploiting the Semantics of Distributed Services (Preliminary Version). Proc. of the

Ninth ACM Symposium on Principles of Distributed Computing, Quebec, Canada, August 1990 (with

R. Ladin and L. Shrira).

49. Efficient At-Most-Once Messages Based on Synchronized Clocks. Proc. of ACM SIGCOMM ’90 Sym-

posium, Philadelphia, PA, September 1990 (with L. Shrira and J. Wroclawski).

5

---