From: reen@cs.cornell.edu (Maureen Robinson)
Subject: Updated ISIS Publications List in LaTeX 1/4/92
Organization: Cornell Univ. CS Dept, Ithaca NY 14853
Date: Mon, 4 Jan 1993 19:28:29 GMT

\documentstyle[fullpage]{article}
\pagestyle{empty}
\begin{document}

\begin{minipage}{\textwidth}
\begin{center}
{\bf PUBLICATIONS LIST}
\end{center}

{\bf ISIS Activity}\\

\begin{tabular}{ll}

92-xxxx* &\parbox[t]{5in}{A RISC Approach to Process Groups.  Robbert
van Renesse, Robert Cooper, Bradford Glade, Patrick Stephenson.  {\em
Proceedings of the 5th ACM SIGOPS Workshop}, Rennes, France, September
21-23, 1992.}\\
\\
92-1289* &\parbox[t]{5in}{Using the ISIS Resource Manager for
Distributed, Fault-Tolerant Computing.  Timothy Clark and Kenneth
Birman.  June 1992}.\\
\\
92-1287* &\parbox[t]{5in}{How to Securely Replicate Services.  Michael
Reiter and Kenneth Birman.  June 1992.  Submitted to ACM Transactions
on Programming Languages and Systems.}\\
\\
92-xxxx &\parbox[t]{5in}{Reliable Multicast between Microkernels.  Robbert van
Renesse, Ken Birman, Robert Cooper, Brad Glade, and Pat Stephenson.
{\em Proceedings of the USENIX Workshop on
Micro-Kernels and Other Kernel Architectures}, Seattle, Washington,
April 27-28, 1990, 269-283.}\\
\\
92-1269* &\parbox[t]{5in}{Integrating Security in a Group Oriented
Distributed System (replaces 1239).  Michael Reiter, Kenneth Birman,
and Li Gong.  February 1992.  Also in the {\em Proceedings of the 1992 IEEE
Symposium on Research in Security and Privacy}, Oakland, CA, (May 1992), 18-32.}\\
\\
92-xxxx &\parbox[t]{5in}{The Cost of Order in Asynchronous Systems.
Aleta Ricciardi, Ken Birman, and Pat Stephenson.  {\em Springer-Verlag
Lecture Notes in Computer Science}, 1992.}\\
\\
91-1240* &\parbox[t]{5in}{Maintaining Consistency in Distributed
Systems.  Kenneth Birman.  October 1991.  Submitted to Journal of Parallel
and Distributed Computing.}\\
\\
91-1233* &\parbox[t]{5in}{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 {\em Proceedings of the Fourth Conference on
the Theoretical Aspects of Reasoning About Knowledge}, (1992).}\\
\\
91-1225* &\parbox[t]{5in}{Unreliable Failure Detectors for
Asynchronous Systems.  Tushar Deepak Chandra and Sam Toueg.  August
1991.}\\
\\
91-1216* &\parbox[t]{5in}{The Process Group Approach to Reliable
Distributed Computing.  Kenneth P. Birman.  July 1991.  To appear in
the {\em Communications of the ACM}.}\\
\\
91-1192* &\parbox[t]{5in}{Lightweight Causal and Atomic Group
Multicast.  Kenneth Birman, Andre Schiper and Pat Stephenson.
February 1991.  {\em ACM Transactions on Computer Systems}, {\bf 9}, 3, (August
1991), 272-314.}\\
\\
91-1188* &\parbox[t]{5in}{Using Process Groups to Implement Failure
Detection in Asynchronous Environments.  Aleta Ricciardi and Kenneth
Birman.  {\em ACM Symposium on
Principles of Distributed Computing}, Montreal, Quebec, Canada, (August
19-21, 1991), 341-353.  {\em Principles of Distributed Computing}
(1991), 341-353.}\\
\\
90-1165* &\parbox[t]{5in}{Designing Application Software in Wide Area
Network Settings.  Mesaac Makpangou, Kenneth Birman.  October 1990.}\\
\\
90-1138* &\parbox[t]{5in}{The ISIS Project:  Real Experience with a
Fault Tolerant Programming System. Kenneth Birman and Robert Cooper.  {\em
Operating Systems Review}, (April 1991), 103-107.  {\em ACM/SIGOPS European Workshop on
Fault-Tolerance Techniques in Operating Systems}, Bologna, Italy,
1990.}\\

\end{tabular}
\end{minipage}
\clearpage

\begin{minipage}{\textwidth}

\subsubsection*{PUBLICATIONS LIST Continued}

\begin{tabular}{ll}

90-1105R* &\parbox[t]{5in}{Fast Causal Multicast.  {\em Operating
Systems Review} (April 1991), 75-79.  Kenneth Birman, Andre
Schiper and Pat Stephenson.  March 1990.  Revised February 1991.  
New TR 91-1192.  New title:  Lightweight Causal and Atomic Group
Multicast.  To appear in {\em ACM TOCS}.}\\
\\
89-1067 &\parbox[t]{5in}{Log-Based Recovery in Asynchronous
Distributed Systems.  Kenneth Kane.  December 1989.}\\
\\
89-1042 &\parbox[t]{5in}{Deceit: A Flexible Distributed File System.
Alex Siegel, Kenneth Birman and Keith Marzullo.  November 1989.}\\
\\
89-xxxx &\parbox[t]{5in}{Supporting Large Scale Applications on Networks of
Workstations. Robert Cooper and Kenneth Birman.  April 1989. {\em
Second Workshop on Workstation Operating Systems}, Asilomar, CA,
September 1989.}\\
\\
89-1014 &\parbox[t]{5in}{How Robust are Distributed Systems.  Kenneth
Birman.  June 1989. {\em An Advanced Course on Distributed
Systems - lecture notes from Artic '88}, Addison-Wesley, 1989.  To
be published.}\\
\\
89-1001 &\parbox[t]{5in}{The Role of Order in Distributed Programs.
Kenneth Birman and Keith Marzullo.  March 1989.  Submitted for
publication.}\\
\\
88-949 &\parbox[t]{5in}{Causally Consistent Recovery of Partially
Replicated Logs.  Kenneth Birman and Kenneth Kane.  November 1988.
Submitted for publication.}\\
\\
88-928 &\parbox[t]{5in}{The Use of Efficient Broadcast Protocols in
Asynchronous Distributed Systems.  Frank Schmuck.  (Ph.D. Thesis).  August
1988.}\\
\\
88-918 &\parbox[t]{5in}{Reliable Broadcast Protocols.  Chapter 14 in
{\em Distributed Systems}, Thomas Joseph and
Kenneth Birman.  June 1988.  Sape J. Mullender, ed., Addison-Wesley/ACM
Press Series (1989).}\\
\\
88-917 &\parbox[t]{5in}{Exploiting Replication.  Chapter 15 in
{\em Distributed Systems}, Thomas Joseph and
Kenneth Birman.  June 1988.  Sape J. Mullender, ed., Addison-Wesley/ACM
Press Series (1989).}\\
\\
87-849 &\parbox[t]{5in}{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 &\parbox[t]{5in}{Exploiting Virtual Synchrony in Distributed
Systems.  Kenneth Birman and Thomas Joseph.  February 1987.  {\em 11th
ACM Symposium on Operating
Systems Principles}, December 1987.  Also appearing in  {\em
Operating Systems Review}, {\bf 22}, 1, (December 1987), 123-138.}\\
\\
86-781 &\parbox[t]{5in}{Efficient Concurrency Control for Libraries of
Typed Objects.  T. Raeuchle.  (Ph.D. Thesis).  September 1986.}\\
\\
86-772 &\parbox[t]{5in}{Programming with Shared Bulletin Boards in
Asynchronous Distributed Systems.  Kenneth Birman, Thomas Joseph and Pat
Stephenson. August 1986.  (Revised December 1986).}\\
\\
86-753 &\parbox[t]{5in}{Communication Support for Reliable Distributed
Computing. Kenneth Birman and Thomas Joseph.  {\em Lecture Notes in
Computer Science} (1990), 124-137.
{\em Proc. Asilomar Workshop on Fault Tolerant Distributed Computing},
March 1986.}\\

\end{tabular}
\end{minipage}
\clearpage

\begin{minipage}{\textwidth}

\subsubsection*{PUBLICATIONS LIST Continued}

\begin{tabular}{ll}

86-744 &\parbox[t]{5in}{ISIS:  A System for Fault-Tolerance in
Distributed Systems.  Kenneth Birman.  April 1986.}\\
\\
85-712 &\parbox[t]{5in}{Low Cost Management of Replicated Data.
Thomas Joseph.  (Ph.D. Thesis).  November 1985.}\\
\\
85-694 &\parbox[t]{5in}{Reliable Communication in the Presence of
Failures.  Kenneth Birman and Thomas Joseph.  July 1985.  (Revised
August 1986).   {\em ACM Transactions on Computer Systems}, {\bf 5},
1, (February 1987), 47-76.}\\
\\
85-668  &\parbox[t]{5in}{Replication and Fault-Tolerance in the ISIS
System.  Kenneth Birman.  March 1985 (Revised September 1985).  {\em 10th ACM
Symposium on Operating Systems Principles}, (December 1985), 79-86.
{\em Operating Systems Review}, {\bf 19}, 5, (December 1985).}\\
\\
84-644  &\parbox[t]{5in}{Low-Cost Management of Replicated Data in
Fault-Tolerant Distributed Systems.  Kenneth Birman and Thomas Joseph.
October 1984.  {\em ACM Transactions on Computer Systems}, {\bf 4}, 1,
(February 1986), 54-70.}\\
\\
84-642 &\parbox[t]{5in}{An Overview of the ISIS Project. Kenneth
Birman, A. El
Abbadi, W. C. Dietrich, Thomas Joseph and T. Raeuchle. October
1984. {\em IEEE Distributed Processing Technical Committee
Newsletter}.  January 1985.}\\
\\
84-594 &\parbox[t]{5in}{Implementing Fault-Tolerant Distributed
Objects.  Kenneth Birman, Thomas Joseph, T. Raeuchle, and A. El Abbadi.  {\em 4th Symposium
on Reliability in Distributed Systems and Database Systems,} Silver
Springs, MD, October 1984.  {\em IEEE Transactions
on Software Engineering}, {\bf SE-11}, 6, (June 1985), 502-508.}\\
\\
83-552 &\parbox[t]{5in}{ISIS:  An Environment for Constructing 
Fault-Tolerant Distributed Systems.  Kenneth Birman, D. Skeen, A. El Abbadi,
W. C. Dietrich and T. Raeuchle.  May 1983.}\\

\end{tabular}

{\bf META Activity}\\
\\
\begin{tabular}{ll}

92-1277* &\parbox[t]{5in}{Using Consistent Subcuts for Detecting
Stable Properties (replaces TR 91-1205).  Keith Marzullo, Laura Sabel.
April 1992.}\\
\\
91-1252* &\parbox[t]{5in}{Fault-Tolerant Management of Distributed
Applications Using the Reactive System Architecture.  PhD Thesis.
Mark Wood.  December 1991.}\\
\\
91-1238* &\parbox[t]{5in}{Putting Time into Proof Outlines.  Fred B.
Schneider, Bard Bloom and Keith Marzullo.  September 1991.}\\
\\
91-1221* &\parbox[t]{5in}{Detection of Global State Predicates.  Keith
Marzullo and Gil Neiger.  November 1991.  To appear in {\em
Proceedings of the Fifth Workshop on Distributed Algorithms and
Graphs}, (Springer-Verlag), Delphi, Greece, October 1991.}\\
\\
91-1205* &\parbox[t]{5in}{Using Consistent Subcuts for Detecting
Stable Properties.  Keith Marzullo and Laura Sabel.  May 1991.  To
appear in {\em Proceedings of the Fifth
Workshop on Distributed Algorithms and Graphs}, (Springer-Verlag),
Delphi, Greece, October 1991).}\\
\\
91-1200* &\parbox[t]{5in}{Consistent Detection of Global Predicates.
Robert Cooper and Keith Marzullo.  April 1991.  {\em ACM/ONR
Workshop on Parallel and Distributed Debugging}, 163-173 (1991).}\\

\end{tabular}
\end{minipage}
\clearpage

\begin{minipage}{\textwidth}

\subsubsection*{PUBLICATIONS LIST Continued}

\begin{tabular}{ll}
91-1193* &\parbox[t]{5in}{Tools for Constructing Distributed Reactive
Systems.  Keith Marzullo and Mark Wood.  February 1991.}\\
\\
91-1190* &\parbox[t]{5in}{Masking Failures of Multidimensional
Sensors. Paul Chew and Keith Marzullo.  February 1991.  {\em
Proceedings of the Tenth Symposium on Reliable Distributed Systems},
Pisa, Italy, (October 1991), 32-41.}\\
\\
91-1187* &\parbox[t]{5in}{Tools for Monitoring and Controlling
Distributed Applications.  Keith Marzullo and Mark Wood.  February
1991. {\em IEEE Computer},{\bf 24}, 8 (August 1991), 42-51.}\\
\\
90-1156* &\parbox[t]{5in}{Tolerating Failures of Continuous-Valued
Sensors.  Keith Marzullo.  September 1990.  {\em ACM Transactions on
Computer Systems}, {\bf 8}, 4, (1990), 284-304.}\\
\\
90-1155* &\parbox[t]{5in}{Making Real-Time Reactive Systems Reliable.
Keith Marzullo and Mark Wood.  September 1990.  {\em Proceedings of
the Fourth ACM SIGOPS European Workshop}, (1990), 1-4.}\\
\\
90-1136* &\parbox[t]{5in}{Tools for Distributed Application Management.
Keith Marzullo, Robert Cooper, Mark Wood and Kenneth Birman.  {\em IEEE
Computer}, {\bf 24}, 8, (August 1991), 42-51.}\\
\\
89-997 &\parbox[t]{5in}{Implementing Fault-Tolerant Sensors.
Keith Marzullo.  May 1989.  Submitted for publication.}\\

\end{tabular}

{\bf ISIS/META Activity}\\

\begin{tabular}{ll}

90-1103 &\parbox[t]{5in}{ISIS and Meta Projects:  Progress Report.
Kenneth Birman, Robert Cooper and Keith Marzullo.  February 1990.}\\
\\
89-xxx &\parbox[t]{5in}{The ISIS Distributed Programming Toolkit and The
Meta Distributed Operating System. Ken Birman and Keith Marzullo.  {\em SUN
Technology} {\bf 2}, 1, (Summer 1989).} \\

\end{tabular}
\\
{\bf Other Distributed Systems Activity}\\
\\
\begin{tabular}{ll}

92-1317* &\parbox[t]{5in}{Nonblocking and Orphan-Free Message Logging
Protocols.  Lorenzo Alvisi, Bruce Hoppe, Keith Marzullo.  December
1992.}\\
\\
92-1299* &\parbox[t]{5in}{Optimal Primary-Backup Protocols.  Navin
Budhiraja, Keith Marzullo, Fred B. Schneider, and Sam Toueg.  August
1992.  To appear in the Sixth Workshop on Distributed Algorithms,
Haifa, Israel, November 1992.}\\
\\
92-1298* &\parbox[t]{5in}{Fault-Tolerant Wait-Free Shared Objects.
Prasad Jayanti, Tushar Deepak Chandra, and Sam Toueg. August 1992. (A
revision of TR 92-1281, April 1992). A summary of these results will appear in FOCS92.}\\
\\
92-1293* &\parbox[t]{5in}{The Weakest Failure Detector for Solving
Consensus.  Tushar Deepak Chandra, Vassos Hadzilacos, and Sam Toueg.
July 1992.  A shorter version appeared in the Principals of
Distributed Computing, August 1992 in Vancouver.}\\
\\
92-xxxx &\parbox[t]{5in}{Distributed Programming with Asynchronous
Ordered Channels in Distributed ML.  Robert Cooper and Clifford
Krumvieda.  To appear in the {\em Proceedings of the ACM SIGPLAN
Workshop on ML and it Applications}, June 1992.}\\
\\
92-xxxx &\parbox[t]{5in}{Expressing Fault-Tolerant and
Consistency-Preserving Programs in Distributed ML.  Clifford D.
Krumvieda.  To appear in the of the {\em ACM SIGPLAN Workshop on ML
and its Applications}, June 1992.}\\  

\end{tabular}
\end{minipage}
\clearpage

\subsubsection*{PUBLICATIONS LIST Continued}

\begin{tabular}{ll}

92-1281* &\parbox[t]{5in}{Fault-Tolerant Wait-Free Shared Objects.
Prasad Jayanti, Tushar D. Chandra and Sam Toueg.  April 1992}.\\
\\
92-1265* &\parbox[t]{5in}{Primary-Backup Protocols:  Lower Bounds and
Optimal Implementations.  Navin Budhiraja, Keith Marzullo, Fred B.
Schneider and Sam Toueg.  January 1992.  A shorter version appeared in
DCCA-3, Mondello, Italy, September 1992.}\\
\\
91-1257* &\parbox[t]{5in}{Design Alternatives for Process Group
Membership \& Multicast (replaces TR 91-1185).  Kenneth Birman, Robert
Cooper, and Barry Gleeson.  December 1991.  Submitted to {\em IEEE
Transactions on Parallel and Distributed Systems.}}\\
\\
91-1249* &\parbox[t]{5in}{Tools and Techniques for Adding Fault
Tolerance to Distributed and Parallel Programs.  Ozalp Babaoglu.
December 1991.}\\
\\
91-xxxx &\parbox[t]{5in}{Lower Bounds for Primary-Backup
Implementations of Bofo Services.  Navin Budhiraja, Keith Marzullo,
Fred B. Schneider and Sam Toueg.  {\em Proceedings ONR 2nd Annual
Workshop on Ultradependable Multicomputers and Electronic Systems},
Washington, DC, (November 1991), 81-86.}\\
\\
91-xxxx &\parbox[t]{5in}{DML:  Packaging High-Level Distributed
Abstractions in SML.  Clifford D. Krumvieda.  September 1991.  {\em
Proceedings of the Third International Workshop on Standard ML},
Robert Harper (ed.), Department of Computer Science, Carnegie Mellon
University, September 26-27, 1991.}\\
\\
91-1217* &\parbox[t]{5in}{Derivation of Sequential, Real-Time,
Process-Control Programs.  Navin Budhiraja, Keith Marzullo and Fred B.
Schneider.  July 1991.  In {\em Foundations of Real-Time Computing:
Formal Specifications and Methods}, Kluwer Academic Publishers 1991,
pp. 39-54.  Navin Budhiraja, Keith Marzullo and Fred B. Schneider.  
July 1991.}\\
\\
90-1141* &\parbox[t]{5in}{MTP:  An Atomic Multicast Transport Protocol.
Alan O. Freier and Keith Marzullo.  July 1990.}\\
\\
89-996 &\parbox[t]{5in}{Concurrency Control for Transactions with
Priorities.  Keith Marzullo.  May 1989.}\\

\end{tabular}

\noindent Technical reports marked with a `*' can be copied from
ftp.cs.cornell.edu using anonymous, binary ftp.  The reports are
in the ``pub'' subdirectory.\\



\end{document}









Newsgroups: comp.sys.isis