Bhl-cv-08. dvi

86. Safe and Efficient Sharing of Persistent Objects in Thor. In Proceedings of the 1996 SIGMOD Inter-

national conference on Management of Data. Montreal, Canada. SIGMOD Record, Vol. 25, No. 2, pp.

318-329, June 1996 (with A. Adya, M. Castro, M. Day, S. Ghemawat, R. Gruber, U. Maheshwari, A.

Myers, and L. Shrira).

87. How to Scale Transactional Storage Systems. In Proceedings of the ACM SIGOPS European Workshop,

pp. 121-127, Connemara, Ireland, September 1996 (with L. Shrira, A. Adya, and M. Castro).

88. Partitioned Garbage Collection of a Large Stable Heap. In Proceedings of IWOOOS ’96, pp. 117-121,

Seattle, WA, October 1996 (with U. Maheshwari and T. Ng).

89. Parameterized Types for Java. In Proceedings ACM Symposium on Principles of Programming Lan-

guages, pp 132-145, Paris, France, January 1997 (with A. Myers and J. Bank).

90. Partitioned Garbage Collection of a Large Object Store. In Proceedings of SIGMOD International

Conference on Management of Data, pp. 313-323, Tuscon, Arizona, May 1997 (with U. Maheshwari)

91. Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System. In

Proceedings of the 17th International Conference on Distributed Computing Systems, pp. 2-11, Balti-

more, Maryland, May 1997 (with A. Adya, M. Castro, U. Maheshwari, and L. Shrira).

92. Collecting Cyclic Distributed Garbage by Controlled Migration. In Distributed Computing, 10:2 (79-

86), 1997 (with U. Maheshwari).

93. Safe Heterogeneous Sharing in the Thor Object-Oriented Database System. In Proceedings 1996 NEC

Symposium, 1997.

94. Lazy Consistency Using Loosely Synchronized Clocks. In Procedings of the 16th Annual ACM Sympo-

sium on Principles of Distributed Computing, Santa Barbara, California, August 1997, 73-82 (with A.

Adya)

95. Collecting Cyclic Distributed Garbage using Back Tracing. In Procedings of the 16th Annual ACM

Symposium on Principles of Distributed Computing, Santa Barbara, California, August 1997, 239-248

(with U. Maheshwari)

96. HAC: Hybrid Adaptive Caching for Distributed Storage Systems. In Proceedings of the 17th Symposium

on Operating Systems Principles, St. Malo, France, October 1997, 102-115 (with M. Castro, A. Adya,

and A. Myers).

97. A Decentralized Model for Information Flow Control. In Proceedings of the 17th Symposium on Oper-

ating Systems Principles, 129-147, St. Malo, France, October 1997 (with A. Myers).

98. Complete Safe Information Flow with Decentralized Labels. In IEEE Symposium on Security and

Privacy, 185-197, Oakland, CA, May 1998 (with A. Myers).

99. Practical Byzantine Fault Tolerance. In Proceedings of 3rd Symposium on Operating systems Design

and Implementation, New Orleans, LA, February 1999, 173-186 (with M. Castro).

100. Providing Persistent Objects in Distributed Systems. In Proceedings of European Conference on Object-

Oriented Programming (ECOOP) ’99 (with M. Castro, L. Shrira, and A. Adya).

101. Behavioral Subtyping Using Invariants and Constraints. In Formal Methods for Distributed Processing,

an Object Oriented Approach, Cambridge University Press (with J. Wing).

102. Protecting Privacy in a Decentralized Environment. In Proceedings of DISCEX 2000, 266-280, (with

A. Myers).

103. Generalized Isolation Level Definitions. In Proceedings of the IEEE Conference on Data Engineering,

San Diego, CA, March 2000 (with A. Adya).

8

---

104. Protecting Privacy using the Decentralized Label Model. In Transactions on Software Engineering and

Methodology, 9(4), pp. 410-442, October 2000 (with A. Myers).

105. Proactive Recovery in a Byzantine-Fault-Tolerant System. In Proceedings of the 4th Symposium on

Operating System Design and Implementation, 273-288, October 2000 (with M. Castro).

106. Using Abstraction to Improve Fault Tolerance. In Proceeding of the 2001 Workshop on Hot Topics in

Operating Systems, 27-32, (with M. Castro and R. Rodrigues).

107. BASE: Using Abstraction to Improve Fault Tolerance. In Proceedings of the Symposium on Operating

Systems Principles, 15-28, October, 2001 (with R. Rodrigues and M. Castro). Received Best Student

Paper Award.

108. Byzantine Fault Tolerance can be Fast. In DSN 2001, 513-518 (with M. Castro).

109. Practical Byzantine Fault Tolerance and Proactive Recovery. In Transactions on Computer Systems,

20(4), 398-461, 2002 (with M. Castro).

110. The Design of a Robust Peer-to-Peer System. In Proceedings of the Tenth ACM SIGOPS European

Workshop. 117-124, Saint-Emilion, France, October 2002 (with R. Rodrigues and L. Shrira)

111. Ownership Types for Object Encapsulation. In Proceedings of POPL 2003. 213-223, New Orleans, LA,

January 2003 (with C. Boyapati and L. Shrira).

112. One Hop Lookups in Peer to Peer Overlays. In Proceedings of HOTOS 2003. 7-12, May 2003, Lihue,

Kauai, HI (with A. Gupta and R. Rodrigues).

113. Scheduling and Simulation: How to Upgrade Distributed Systems. In Proceedings of HOTOS 2003.

43-48, May 2003, Lihue, Kauai, HI (with S. Ajmani and L. Shrira).

114. BASE: Using Abstraction to Improve Fault Tolerance. In ACM Transactions on Computer Systems

(TOCS), 21(3), 236-269, August 2003. (with R. Rodrigues and M. Castro).

115. Lazy Modular Upgrades in Persistent Object Stores. In Proceedings of OOPSLA 2003. 403-417, Ana-

heim, CA, October 2003 (with C. Boyapati, L. Shrira, C-H Moh, S. Richman).

116. TimeLine: A High Performance Archive for a Distributed Object Store. In Proceedings of NSDI 2004.

351-364, San Francisco, California, March 2004. (with C-H Moh).

117. Efficient Routing for Peer-to-Peer Overlays. In Proceedings of NSDI 2004. 113-126, San Francisco,

California, March 2004. (with A. Gupta and R. Rodrigues).

118. Brief Announcement: Reconfigurable Byzantine-Fault-Tolerant Atomic Memory. In Proceedings of

PODC 2004. St. John’s, Newfoundland, Canada, July 2004. (with R. Rodrigues).

119. Transactional File Systems can be Fast. In Proceedings of 2004 ACM SIGOPS European Workshop.

Leuven, Belgian, September 2004. (with R. Rodrigues).

120. Epichord: Parallelizing the Chord Lookup Algorithm with Reactive Cache Management. In Proceedings

of the 12th International Conference on Networks 2004 (ICON 2004), Singapore. November 2004. (with

B. Leong and E. Demaine). Received Best Student Paper Award.

121. High Availability in DHTs: Erasure Coding vs. Replication. In Proceedings of IPTPS 05. Ithaca, NY.

February 2005. (with R. Rodrigues).

122. Byzantine Clients Rendered Harmless. In Proceedings of of the 19th International Symposium on Dis-

tributed Computing (DISC 2005), Cracow, Poland. September 2005. (with R. Rodrigues).

123. Path Vector Face Routing: Geographic Routing with Local Face Informaton. In Proceedings of the 13th

IEEE International Conference on Network Protocols (ICNP 2005). Boston, Massachusetts, November

2005. (with B. Leong and S. Mitra).

9

---