ozalp@dm.unibo.it (05/09/91)
Tenth Symposium on Reliable Distributed Systems SRDS10
September 30, October 1-2, 1991, Palazzo dei Congressi, Pisa, Italy
Sponsored by: IEEE Computer Society
TC on Distributed Processing
AICA
In cooperation with: TC on Fault-Tolerant Computing
IFIP W.G. 10.4
IEI-CNR
Universita' di Bologna
Universita' di Pisa
With the support of: Olivetti S.p.A, Italy
TANDEM Computers S.p.A., Italy
CNR, Italian National Research Council
ADVANCE PROGRAM
SUNDAY, September 29, 1991
16.00 - 20.00 Registration
MONDAY, September 30, 1991
08.00 - 09.00 Registration
09.00 - 09.30 Opening Remarks: Luca Simoncini, University of Pisa
Ozalp Babaoglu, University of Bologna
Richard D. Schlichting, Univ. of Arizona
09.30 - 10.30 Keynote Speaker:Brian Randell,
University of Newcastle upon Tyne, UK
10.30 - 11.00 Coffee Break
11.00 - 12.30 Session 1: Checkpointing & Logging Algorithms
Chair: Shaula Yemini, IBM, Yorktown Heights, USA
"Checkpointing Multicomputer Applications"
Kai Li, Jeffrey F. Naughton, James S. Plank, Princeton
University, USA
"A Timestamp-Based Checkpointing Protocol for
Long-Lived Distributed Computations"
Farnam Jahanian, Flaviu Cristian, IBM, San Jose, USA
"File System Measurements and their Applications
to the Design of Efficient Operation Logging
Algorithms"
David F. Bacon, University of California Berkeley, USA
12.30 - 14.00 Lunch
14.00 - 15.30 Session 2: Real-Time
Chair: Hermann Kopetz, Technical University of Vienna
Austria
"Masking Failures of Multidimensional Sensors"
Keith Marzullo, Paul Chew, Cornell University, USA
"A Statistical Clock Synchronization Algorithm for
Anisotropic Networks"
G. Florin, D. Couvet, S. Natkin, Centre D'Etude et
De Recherche En Informatique, France
"On the Testability of Distributed Real-Time Systems"
Werner Schuetz, Technical University of Vienna
Austria
15.30 - 16.00 Coffee Break
16.00 - 17.30 Panel Session: "Fault-Tolerance in Distributed Systems: How
transparent can you get?"
Coordinator: Shaula Yemini, IBM, Yorktown Heights
USA
19.00 Concert
20.30 Welcome Reception
TUESDAY, October 1
08.00 - 09.00 Registration
09.00 - 10.30 Session 3: Backward Recovery Schemes
Chair: Edgar Nett, GMD, Germany
"Optimistic Failure Recovery for Very Large Networks"
Andy Lowry, James R. Russell, Arthur P. Goldberg,
IBM, Yorktown Heights, USA
"Efficient Communication of Commitment-Dependency
Information in the PTC Scheme for Cooperative
Recovery"
Kane Kim, J. H. You, University of California Irvine
USA
"Flexible Schemes for Application-level Fault
Tolerance"
Lorenzo Strigini, Felicita Di Giandomenico, IEI-CNR
Italy
10.30 - 11.00 Coffee Break
11.00 - 12.30 Session 4: Replication & Parallelism
Chair: Fabio Panzieri, University of Bologna, Italy
"A Model for Interface Groups"
Ed Oskiewicz, Michael H. Olsen, John Warne, ANSA, UK
"Formalising Replicated Distributed Processing"
Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo,
University of Newcastle upon Tyne, UK
"On Tolerating Faults in Naturally Redundant
Algorithms"
Luiz A. Laranjeira, Miroslaw Malek, Roy Jenevain,
University of Texas Austin, USA
12.30 - 14.00 Lunch
14.00 - 15.30 Session 5: Dependability Modelling
Chair: Jean-Claude Laprie, LAAS-CNRS, France
"Evaluation of Bus and Ring Communication Topologies
for the Delta-4 Distributed Fault Tolerant
Architecture"
David Powell, Karama Kanoun, LAAS-CNRS, France
"Flexible Handling of Diverse Dependability
Requirements in MARS"
Heinz Kantz, Technical University of Vienna, Austria
"Efficient Transient Simulation of Failure/Repair
Markovian Models"
Juan A. Carrasco, Universitat Politecnica de Catalunya
Spain
15.30 - 16.00 Coffee Break
16.00 - 18.00 Session 6: Work in Progress
Chair: Miroslaw Malek, University of Texas Austin,USA
(Submission will be solicited on the spot,
for short presentations,
there will be a selection)
20.30 Banquet
WEDNESDAY, October 2
09.00 - 10.00 Session 7: Dependability Assessment
Chair: David Powell, LAAS-CNRS, France
"Performability Evaluation of CSMA/CD and CSMA/DCR
Protocols under Transient Fault Conditions"
William Sanders, K. H. Prodromides, University of
Arizona, USA
"A Study of the Reliability of Internet Sites"
Darrell Long, J. L. Carroll, C. J. Park, University
of California Santa Cruz, USA
10.00 - 10.30 Coffee Break
10.30 - 11.30 Session 8: Agreement
Chair: Paulo Verissimo, INESC, Portugal
"Ordered Broadcasts for Large Applications"
Tony P. Ng, University of Illinois Urbana-Champaign
USA
"Keeping Processes under Surveillance"
Thomas Becker, University of Kaiserslautern
Germany
11.30 - 12.30 Session 9: Garbage Collection
Chair: Paolo Ancilotti, University of Pisa, Italy
"A Fault-Tolerant, Scalable, Low-Overhead Garbage
Detection Protocol"
Marc Shapiro, INRIA, France
"Copying Garbage Collection for Distributed Object
Stores"
Luigi Mancini, Vittoria Rotella, Simonetta Venosa,
Universita' di Pisa, Italy
12.30 - 14.00 Lunch
14.00 Symposium ends
=============================================================================
SRDS10 will be held at the Palazzo dei Congressi di Pisa.
SRDS10 is in connection with the 5th International Conference on
Fault-Tolerant Computing Systems (the German FTCS), Nurnberg, 25-27 Sept. 1991
(contact Mario Dal Cin E-mail: DALCIN@INFORMATIK.UNI-ERLANGEN.DE), and with
the International Workshop on Responsive Computer Systems, Nice, France,
3-4 October 1991 (contact either Gerard Le Lann E-mail: GLL@SCORE.INRIA.FR or
Miroslaw Malek E-mail: MALEK@EMX.UTEXAS.EDU)
For INFORMATION and ADVANCE PROGRAM complete with registration and hotel
reservation form contact: Luca Simoncini, IEI-CNR, Via S.Maria 46,
56100 Pisa Italy
fax: +39 50 554342
E-mail:SIMON@ICNUCEVM.CNUCE.CNR.IT
--
Ozalp Babaoglu E-mail: ozalp@dm.unibo.it
University of Bologna, Dept. of Mathematics
Piazza di Porta S. Donato, 5 TEL: +39 51 354430
40127 Bologna (ITALY) FAX: +39 51 354490