ISIS PUBLICATIONS LIST
ISIS Activity
- 95-1490(replaces 95-1461)
- The Design and Implementation of a Private Message Service for Mobile
Computers" Cooper and Birman. October 1994. In WINET: Journal of Wireless Networks. August 1995.
-
- 95-1461(replaced by 95-1490)
-
Preserving Privacy in Network of Mobile Computers. Cooper and Birman. October 1994. Accepted in Proceedings of the 1995 IEEE Symposium on Research in Security and Privacy. Oakland, CA.
- 94-1447
-
Uniform Actions in Asynchronous Distributed Systems. Malki, Birman, Ricciardi, and Schiper. September 1994. Cornell University's Computer Science Department Technical Report.
-
- 94-1442
-
Design and Performance of Horus: A Lightweight Group Communications system. Van Renesse, Hickey, and Birman. August 1994. Cornell University's Computer Science Department Technical Report.
-
- 94-1432
-
Performance of the ISIS Distributed Computing Toolkit*. Birman and Clark. June 1994. Cornell University's Computer Science Department Technical Report.
-
- 94-1424
-
A Group Communication Approach for Mobile Computing MobileChannel: an ISIS Tool for Mobile Services. K. Cho and K. Birman. In Mobil Computing Workshop, December 8-9, 1994. Santa Cruz, California. Also a Cornell University Computer Science Department Technical Report.
- 94-1417
-
Refinement for Fault-Tolerance: An aircraft Hand-off Protocol. K. Marzullo, F. Schneider, and J. Dehn. April 1994. Cornell University's Computer Science Department Technical Report.
- 94-1413x
-
Simulating Fail-Stop in Asynchronous Distributed Systems. L. Sabel and K. Marzullo. March 1994. Cornell University's Computer Science Department Technical Report.
ls
- 93-xxxx
-
Experience with Causally and Totally Ordered Communication Support. Robert Cooper. Appeared in Operating Systems Review. January, 1994. 28, 1. 28-32.
- 94-1426(replaces 92-1293)
-
The Weakest Failure Detector for Solving Consensus.
T. Chandra, V. Hadzilacos, and S. Toueg.
Cornell University's Computer Science Department Technical Report.
- 94-1424
-
A Group Communication Approach for Mobile Computing MobileChannel:
an ISIS Tool for Mobile Services.
K. Cho and K. Birman.
May 1994.
Cornell University's Computer Science Department Technical Report.
- 94-1417
-
Refinement for Fault-Tolerance: An aircraft Hand-off Protocol.
K. Marzullo, F. Schneider, and J. Dehn.
April 1994.
Cornell University's Computer Science Department Technical Report.
- 94-1413
-
Simulating Fail-Stop in Asynchronous Distributed Systems.
L. Sabel and K. Marzullo.
March 1994.
Cornell University's Computer Science Department Technical Report.
- 93-xxxx
-
Experience with Causally and Totally Ordered Communication Support.
Robert Cooper.
Appeared in Operating Systems Review.
January, 1994. 28, 1. 28-32.
- 93-xxxx
-
Why Bother with CATOCS?
Robbert van Renesse.
Appeared in Operating Systems Review.
January, 1994. 28 (1). 22-27.
- 93-1354 (Replaces 93-1325)
-
A Security Architecture for Fault-Tolerant Systems.
Reiter, Birman, Van Renesse,
June 1993.
- 93-xxxx
-
The Process Group Approach to Reliable Distributed Computing.
Kenneth Birman.
Communications of the ACM,
December, 1993, 37-53.
- 93-1390
-
A Response to Cheriton and Skeen`s Criticism of Causal and
Totally Ordered Communication.
Kenneth Birman.
Technical Report, October, 1993.
- 93-xxxx
-
Understanding Partitions and the `No Partition' Assumption.
André Schiper, Aleta Ricciardi and Kenneth Birman.
To appear 4th Future Trends in Distributed Computing Systems,
September 22-24, 1993, Lisbon, Portugal.
- 93-xxxx
-
Reliable Enterprise Computing.
Kenneth Birman.
Proceedings of the Workshop on Hardware and
Software Architectures for Fault Tolerance,
June 14-16, 1993,
Le Mont Saint-Michel, France.
- 93-xxxx
-
Causal Controversy at Le Mont St.-Michel.
Robbert van Renesse.
ACM Operating Sytems Review,
27, 2, (April 1993), 44-53.
- 93-xxxx
-
High Availability in a Real-Time System.
Carlos Almeida, Bradford Glade, Keith Marzullo and Robbert van
Renesse.
ACM Operating Systems Review, 27, 2, (April 1993), 82-87.
- 93-xxxx
-
Fault-tolerant Programming using Process Groups.
Robbert van Renesse and Kenneth Birman.
IEEE Distributed Open Systems in Perspective.
To appear in 1993.
- 93-xxxx
- Consistent Failure Reporting
- 92-1328
-
Process Membership in Asynchronous Environments.
Aleta M. Ricciardi and Kenneth P. Birman.
February 1993.
- 93-1325 (Replaced by 93-1354)
-
Fault-Tolerant Key Distribution (Preliminary Version).
Michael Reiter, Kenneth P. Birman and Robbert van Renesse.
January 1993.
- 92-1313
-
The Group Membership Problem in Asynchronous Systems.
PhD Thesis.
Aleta Marie Ricciardi.
November 1992.
- 92-xxxx
-
Light-Weight Process Groups.
Bradford B. Glade, Kenneth P. Birman, Robert C. B. Cooper and Robbert van Renesse.
Proceedings of the OpenForum '92 Technical Conference,
November 1992, 323-336.
To appear in Distributed Systems Engineering.
- 92-xxxx
-
A RISC Approach to Process Groups.
Robbert van Renesse, Robert Cooper, Bradford Glade, Patrick Stephenson.
Proceedings of the 5th ACM SIGOPS Workshop,
Rennes, France, September 21-23, 1992.
- 92-1289
-
Using the ISIS Resource Manager for Distributed, Fault-Tolerant Computing.
Timothy Clark and Kenneth Birman.
June 1992.
- 92-1287
-
How to Securely Replicate Services.
Michael Reiter and Kenneth Birman.
June 1992.
Submitted to ACM Transactions on Programming Languages and Systems.
- 92-xxxx
-
Reliable Multicast between Microkernels.
Robbert van Renesse, Ken Birman, Robert Cooper, Brad Glade, and Pat Stephenson.
Proceedings of the USENIX Workshop on Micro-Kernels and Other Kernel Architectures,
Seattle, Washington,
April 27-28, 1990, 269-283.
- 92-1269
-
Integrating Security in a Group Oriented Distributed System (replaces 1239).
Michael Reiter, Kenneth Birman, and Li Gong.
February 1992.
Also in the Proceedings of the 1992 IEEE Symposium on Research
in Security and Privacy,
Oakland, CA, (May 1992), 18-32.
- 92-xxxx
-
The Cost of Order in Asynchronous Systems.
Aleta Ricciardi, Ken Birman, and Pat Stephenson.
Proceedings of the 6th International Workshop, WDAG '92,
Haifa, Israel,
Springer-Verlag Lecture Notes in Computer Science, (1992), No. 647,
329-345.
- 91-1240
-
Maintaining Consistency in Distributed Systems.
Kenneth Birman.
October 1991.
Submitted to Journal of Parallel and Distributed Computing.
- 91-1233
-
Practical Utility of Knowledge-Based Analyses: Optimizations
and Optimality for an Implementation of Asynchronous, Fail-Stop Processes.
Aleta M. Ricciardi.
September 1991.
To appear in the Proceedings of the Fourth Conference on
the Theoretical Aspects of Reasoning About Knowledge, (1992).
- 91-1216
-
The Process Group Approach to Reliable Distributed Computing.
Kenneth P. Birman.
July 1991.
To appear in the Communications of the ACM.
- 91-1194
-
Fast Causal Multicast.
PhD Thesis.
Patrick Stephenson.
February 1991.
- 91-1192 (replaces 90-1105)
-
Lightweight Causal and Atomic Group Multicast.
Kenneth Birman, André Schiper and Pat Stephenson.
February 1991.
ACM Transactions on Computer Systems,
9, 3, (August 1991), 272-314.
- 90-1165
-
Designing Application Software in Wide Area Network Settings.
Mesaac Makpangou, Kenneth Birman.
October 1990.
- 90-1138
-
The ISIS Project: Real Experience with a Fault Tolerant Programming System.
Kenneth Birman and Robert Cooper.
Operating Systems Review,
(April 1991), 103-107.
ACM/SIGOPS European Workshop on Fault-Tolerance
Techniques in Operating Systems,
Bologna, Italy, 1990.
- 90-1105 (replaced by 91-1192)
-
Fast Causal Multicast.
Operating Systems Review (April 1991), 75-79.
Kenneth Birman, Andre Schiper and Pat Stephenson.
March 1990.
- 89-1067
-
Log-Based Recovery in Asynchronous Distributed Systems.
Kenneth Kane.
December 1989.
- 89-1042
-
Deceit: A Flexible Distributed File System.
Alex Siegel, Kenneth Birman and Keith Marzullo.
November 1989.
- 89-xxxx
-
Supporting Large Scale Applications on Networks of Workstations.
Robert Cooper and Kenneth Birman.
April 1989.
Second Workshop on Workstation Operating Systems,
Asilomar, CA, September 1989.
- 89-1014
-
How Robust are Distributed Systems.
Kenneth Birman.
June 1989.
An Advanced Course on Distributed Systems - lecture notes from Artic '88,
Addison-Wesley, 1989. To be published.
- 89-1001
-
The Role of Order in Distributed Programs.
Kenneth Birman and Keith Marzullo.
March 1989.
Submitted for publication.
- 88-949
-
Causally Consistent Recovery of Partially Replicated Logs.
Kenneth Birman and Kenneth Kane.
November 1988.
Submitted for publication.
- 88-928
-
The Use of Efficient Broadcast Protocols in Asynchronous Distributed Systems.
Frank Schmuck. (Ph.D. Thesis).
August 1988.
- 88-918
-
Reliable Broadcast Protocols.
Chapter 14 in Distributed Systems,
Thomas Joseph and Kenneth Birman.
June 1988. Sape J. Mullender, ed., Addison-Wesley/ACM Press Series (1989).
- 88-917
-
Exploiting Replication.
Chapter 15 in Distributed Systems,
Thomas Joseph and Kenneth Birman.
June 1988.
Sape J. Mullender, ed., Addison-Wesley/ACM Press Series (1989).
- 87-849
-
ISIS - A Distributed Programming Environment, Version 2.1 -
User's Guide and Reference Manual.
Kenneth Birman, Thomas Joseph and Frank Schmuck.
July 1987.
- 87-811
-
Exploiting Virtual Synchrony in Distributed Systems.
Kenneth Birman and Thomas Joseph. February 1987.
11th ACM Symposium on Operating Systems Principles,
December 1987.
Also appearing in Operating Systems Review,
22, 1, (December 1987), 123-138.
- 86-781
-
Efficient Concurrency Control for Libraries of Typed Objects.
T. Raeuchle. (Ph.D. Thesis).
September 1986.
- 86-772
-
Programming with Shared Bulletin Boards in Asynchronous Distributed Systems.
Kenneth Birman, Thomas Joseph and Pat Stephenson.
August 1986. (Revised December 1986).
- 86-753
-
Communication Support for Reliable Distributed Computing.
Kenneth Birman and Thomas Joseph.
Lecture Notes in Computer Science (1990), 124-137.
Proc. Asilomar Workshop on Fault Tolerant Distributed Computing,
March 1986.
- 86-744
-
ISIS: A System for Fault-Tolerance in Distributed Systems.
Kenneth Birman.
April 1986.
- 85-712
-
Low Cost Management of Replicated Data.
Thomas Joseph. (Ph.D. Thesis).
November 1985.
- 85-694
-
Reliable Communication in the Presence of Failures.
Kenneth Birman and Thomas Joseph.
July 1985. (Revised August 1986).
ACM Transactions on Computer Systems,
5, 1, (February 1987), 47-76.
- 85-668
-
Replication and Fault-Tolerance in the ISIS System.
Kenneth Birman.
March 1985 (Revised September 1985).
10th ACM Symposium on Operating Systems Principles,
(December 1985), 79-86.
Operating Systems Review,
19, 5, (December 1985).
- 84-644
-
Low-Cost Management of Replicated Data in Fault-Tolerant Distributed Systems.
Kenneth Birman and Thomas Joseph.
October 1984.
ACM Transactions on Computer Systems,
4, 1, (February 1986), 54-70.
- 84-642
-
An Overview of the ISIS Project.
Kenneth Birman, A. El Abbadi, W. C. Dietrich, Thomas Joseph and T. Raeuchle.
October 1984.
IEEE Distributed Processing Technical Committee Newsletter.
January 1985.
- 84-594
-
Implementing Fault-Tolerant Distributed Objects.
Kenneth Birman, Thomas Joseph, T. Raeuchle, and A. El Abbadi.
4th Symposium on Reliability in Distributed Systems and Database Systems,
Silver Springs, MD, October 1984.
IEEE Transactions on Software Engineering,
SE-11, 6, (June 1985), 502-508.
- 83-552
-
ISIS: An Environment for Constructing Fault-Tolerant Distributed Systems.
Kenneth Birman, D. Skeen, A. El Abbadi, W. C. Dietrich and T. Raeuchle.
May 1983.