Bhl-cv-08. dvi

124. Geographic Routing without Planarization. In Proceedings of the 3rd Symposium on Network Systems

Design and Implementation (NSDI 2006). San Jose, California. April 2006. (with B. Leong and R.

Morris).

125. Tolerating Byzantine Faulty Clients in a Quorum System. In Proceedings 26th International Conference

on Distributed Computing Systems (ICDCS 2006). Lisbon, Portugal. July 2006. (with R. Rodrigues).

126. Automatic Software Upgrades for Distributed Systems. In Proceedings of the European Conference

on Object-oriented Programming (ECOOP 2006). Nantes, France. July 2006. (with S. Ajmani and L.

Shrira).

127. HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. In Proceedings of the

Conference on Operating Systems Design and Implementation (OSDI-06). Seattle, WA, November

2006. (with J. Cowling, D. Myers, R. Rodrigues, and L. Shrira).

128. MapJAX: Data Structure Abstractions for Asynchronous Web Applications. In Proceedings of the 2007

USENIX Annual Technical Conference, Santa Clara, CA, June 2007. (with D. Myers, J. Carlisle, and

J. Cowling).

129. Greedy Coordinates for Geographic Routing. in Proceedings of the 15th IEEE International conference

on Network Protocols (ICNP 2007), Beijing, China, Oct. 2007. (with B. Leong and R. Morris).

130. Tolerating Byzantine Faults in Databases using Commit Barrier Scheduling. In Proceedings of the

Conference on Operating Systems Principles (SOSP 2007), Portland, OR, October 2007. (with B.

Vandiver, H. Balakrishnan, and S. Madden).

131. Short Paper: Mobile Proactive Secret Sharing. In Proc. of PODC 08, Toronto, Canada. August 2008.

(with D. Schultz and M. Liskov).

132. Census: Location-Aware Membership Management for Large Scale Distributed Systems. in Proc. of

Usenix 2009, San Diego, CA. June 2009. (with J. Cowling, D. R. K. Ports, R. Popa, and A. Gaikwad).

133. Tolerating Latency in Replicated State Machines through Client Speculation. In Proc. NSDI 2009,

Boston MA, April 2009. (with B. Wester, J. Cowling, E. Nightingal, P. M. Chen, and J. Flinn)

134. MPSS: Mobile Proactive Secret Sharing. accepted for publication in TISSEC. (with D. Schultz and M.

Liskov).

135. Full Information Lookups for Peer to Peer Overlays. Accepted for Publication in TDSC. (with P.

Fonseca, A. Gupta, and R. Rodrigues).

136. From Viewstamped Replication to Byzantine Fault Tolerance. To appear in Replication: Theory and

Practice. Springer Verlag.

137. Automatic Reconfiguration for Large-scale Distributed Storage Systems. Submitted for Publication.

(with R. Rodrigues, K. Chen, M. Liskov, and D. Schultz).

10

---

Reports

1. The Advice Taker and GPS. Stanford University, A.I. Memo 33, Stanford, CA, June 1965.

2. A Program to Play Chess End Games. Stanford University, Technical Report CS 106, Stanford, CA,

August 1968 (Thesis).

3. The Venus Multiprogramming System. The Mitre Corporation, M69-69, Bedford, MA, November 1969.

4. Principles of Operation of the Venus Microprogram. The Mitre Corporation, MTR 1843, Bedford, MA,

May 1970.

5. The Venus Multiprogramming System – Year End Summary. The Mitre Corporation, MTR 2004,

Bedford, MA, August 1970.

6. The Proof of Correctness Approach to Reliable Systems. The Mitre Corporation, MTR 2073, Bedford,

MA, March 1971 (with E. Towster).

7. Guidelines for the Design and Implementation of Reliable Software Systems. The Mitre Corporation,

MTR 2345, Bedford, MA, April 1972.

8. SPIL: A Systems Programming Implementation Language. The Mitre Corporation, MTR 2344, Bed-

ford, MA, June 1972 with L. Smith.

9. The Highly Reliable Programming Task: Year End Summary. The Mitre Corporation, MTR 2444,

Bedford, MA, June 1972.

10. SPIL: A Language for Systems Design and Implementation. Computation Structures Group Memo 80,

MIT Laboratory for Computer Science, Cambridge, MA, May 1973.

11. An Approach to Abstraction. Computation Structures Group Memo 88, MIT Laboratory for Computer

Science, Cambridge, MA, September 1973 (with S. Zilles).

12. Proposed Research on Semantic Foundations for Structured Programming. Computation Structures

Group Memo 97, MIT Laboratory for Computer Science, Cambridge, MA, February 1974 (with J.

Dennis).

13. Programming with Abstract Data Types. Computation Structures Group Memo 99, MIT Laboratory

for Computer Science, Cambridge, MA, March 1974 (with S. Zilles).

14. A Note on CLU. Computation Structures Group Memo 112, MIT Laboratory for Computer Science,

Cambridge, MA, November 1974.

15. Data Types and Program Correctness. Computation Structures Group Memo 114, MIT Laboratory for

Computer Science, Cambridge, MA, January 1975.

16. Specification Techniques for Data Abstractions. Computation Structures Group Memo 117, MIT Lab-

oratory for Computer Science, Cambridge, MA, 1975 (with S. Zilles).

17. An Introduction to CLU. Computation Structures Group Memo 136, MIT Laboratory for Computer

Science, Cambridge, MA, February 1976.

18. An Access Control Facility for Programming Languages. Computation Structures Group Memo 137,

MIT Laboratory for Computer Science, Cambridge, MA, April 1976 with A. K. Jones.

19. An Appraisal of Program Specifications. Computation Structures Group Memo 141-1, MIT Laboratory

for Computer Science, Cambridge, MA, April 1977 (with V. Berzins).

11

---

20. Abstraction Mechanisms in CLU. Computation Structures Group Memo 144-1, MIT Laboratory for

Computer Science, Cambridge, MA, January 1977 (with A. Snyder, R. Atkinson and C. Schaffert).

21. A Language Extension for Expressing Constraints on Data Access. Computation Structures Group

Memo 146-1, MIT Laboratory for Computer Science, Cambridge, MA, June 1977 (with A. K. Jones).

22. Programming Methodology Group Progress Report 1975-76. Computation Structures Group Memo 150,

MIT Laboratory for Computer Science, Cambridge, MA, July 1977.

23. Structured Exception Handling. Computation Structures Group Memo 155, MIT Laboratory for Com-

puter Science, Cambridge, MA, December 1977 (with A. Snyder).

24. The CLU Reference Manual. Computation Structures Group Memo 161, MIT Laboratory for Computer

Science, Cambridge, MA, July 1978 (with E. Moss, J. C. Schaffert, R. W. Scheifler and A. Snyder).

25. Practical Benefits of Research in Programming Methodology. Computation Structures Group Memo

166, MIT Laboratory for Computer Science, Cambridge, MA, August 1978.

26. Aspects of Implementing CLU. Computation Structures Group Memo 167, MIT Laboratory for Com-

puter Science, Cambridge, MA, October 1978 (with R. Atkinson and R. Scheifler).

27. Semantics of Distributed Computing - Progress Report on the Distributed Systems Group 1977-78.

Computation Structures Group Memo 171, MIT Laboratory for Computer Science, Cambridge, MA,

October 1978 (with D. Clark, I. Greif and L. Svobodova).

28. Distributed Computer Systems: Structure and Semantics. Technical Report TR-215, MIT Laboratory

for Computer Science, Cambridge, MA, March 1979 (with L. Svobodova and D. Clark).

29. Primitives for Distributed Computing. Computation Structures Group Memo 175, MIT Laboratory for

Computer Science, Cambridge, MA, May 1979.

30. Modular Program Construction Using Abstractions. Computation Structures Group Memo 184, MIT

Laboratory for Computer Science, Cambridge, MA, September 1979.

31. Programming Methodology Group Progress Report 1978-1979, Computation Structures Group Memo

186, MIT Laboratory for Computer Science, Cambridge, MA, November 1979.

32. A Value Transmission Method for Abstract Data Types. Computation Structures Group Memo 200,

MIT Laboratory for Computer Science, Cambridge, MA, October 1980 (with M. Herlihy).

33. On Linguistic Support for Distributed Programs. Computation Structures Group Memo 201, MIT Lab-

oratory for Computer Science, Cambridge, MA, October 1980.

34. Programming Methodology Group Progress Report 1979-1980, Computation Structures Group Memo

202, MIT Laboratory for Computer Science, Cambridge, MA, December 1980.

35. Guardians and Actions: Linguistic Support for Robust, Distributed Programs. Computation Structures

Group Memo 210, MIT Laboratory for Computer Science, Cambridge, MA, November 1981 (with R.

Scheifler).

36. Specification and Implementation of Resilient, Atomic Data Types, Computation Structures Group

Memo 223, MIT Laboratory for Computer Science, Cambridge, MA, December 1982 (with W. Weihl).

37. Issues in Process and Communication Structure for Distributed Programs, Programming Methodology

Group Memo 38, MIT Laboratory for Computer Science, Cambridge, MA, July 1983 (with M. Herlihy).

38. Preliminary Argus Reference Manual, Programming Methodology Group Memo 39, MIT Laboratory

for Computer Science, Cambridge, MA, October 1983 (with M. Herlihy, P. Johnson, G. Leavens, R.

Scheifler and W. Weihl).

12

---