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