Advance Program and Registration Information The 1994 IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems June 12-14, 1994 College Station, Texas Sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing Texas A&M University Fault-Tolerant Computing Laboratory In cooperation with IFIP Working Group 10.4 In conjunction with FTCS-24 This is fourth in a series that began in 1987. Sessions and Panels are Planned in the Following: *Fault-Tolerant Multiprocessor Systems *Fault Model Issues *Novel Hardware Architectures *Fault-Tolerant Networks *High Performance Computing *Experimental Systems *Formal Methods for Specification, Design *Recovery Techniques and Verification of Parallel and Distributed *Software Fault Tolerance Systems *Real-Time Systems *Reliable Design and Synthesis Tools *Empirical Studies and System Validation Conference participants will have the opportunity to visit historic San Antonio, Texas on June 12, take a cruise on Lake Conroe and visit the Johnson Space Center in Houston, Texas. American, Delta and Continental provide service to College Station from Dallas and Houston. Optional transportation from College Station to Austin for FTCS-24 will be available. Copies of the extended abstracts will be available to the participants at the workshop. IEEE Computer Society Press will publish a book of selected papers. Registration Fees (Includes lunch on June 13 and 14, the Lake Conroe Cruise and Banquet) IEEE Member Non-member Student Advance (Before May 27, 1994 ) $195 $235 $100 Late/On Site $235 $295 $100 Transportation from the workshop to FTCS-24 Hotel ($15.00 per person) yes no No. of Persons __________ X $15.00 = ____________________ Trip to San Antonio on Sunday, June 12, 1994 ($15.00 per person): yes no No. of Persons __________ X $15.00 = ---------------------- Send Full Payment in US$ with this Form. Use Check or Credit Card. Purchase Orders are not Accepted. Make Checks Payable to the Workshop on Fault-Tolerant Parallel and Distributed Systems. Use your Credit Card to Register by Fax. We will Confirm by Mail. CREDIT CARD: Check Type: VISA _____ MASTER CARD _____ American Express _____ Card Number ____________________ Exp. Date Signature ___________________ Send Registration to: Sherry Escalante, Dept. of Computer Science, Texas A&M University,College Station, TX 77843-3112 or by Fax:409-847-8578. Email: FTPDS@cs.tamu.edu Tel: 409-845-4266, Hotel Accommodations: Room Rates $61.00 Single/Double The College Station Hilton and Conference Center, 801 University Dr. East, College Station, TX77840, Tel: 409-693-7500 or Fax: 409-846-7361 (Group Name: IEEE Fault Tolerant Workshop) General Chair Dhiraj K. Pradhan Texas A&M University Program Chair Dimiter Avresky Texas A&M University Co-Chair David Rennels UCLA Co-Program Chair Herman Kopetz Institute fur Praktische Informatik Vienna Vice General Chair Fabrizio Lombardi Texas A&M University Vice Program Chair Nitin Vaidya Texas A&M University Publications Chair Jeffrey A. Clark The MITRE Corp. Co-Treasurers Jennifer Welch Texas A&M University Bob Swarz The Mitre Corporation Local Arrangements Chair Duncan M. Walker Texas A&M University Registration Chair Wei Zhao Texas A&M University Program Committee K. Birman (USA) N. Bowen (USA) J. Bruck (USA) B. Ciciani (Italy) M. Dal Cin (Germany) A. Costes (France) F. Cristian (USA) W. Debany (USA) A. Goforth (USA) J. Hayes (USA) R. Iyer (USA) G. Koob (USA) I. Koren (USA) Y. Kakuda (Japan) Y. Levendel (USA) S. Low (USA) E. Maehle (Germany) A. Nordsieck (USA) U. Pooch (USA) W. Sanders (USA) A. Sengupta (USA) D. Siewiorek (USA) S. Shrivastava (UK) N. Suri (USA) K. Trivedi (USA) P. Verissimo (Portugal) The 1994 IEEE Fault -Tolerant Parallel and Distributed Systems Workshop June 12 - 14, 1994 College Station Texas ADVANCE PROGRAM Monday, JUNE 13 8:00AM-8.30AM Opening Remarks 8:30AM-9:40AM Session I "Fault-Tolerant Systems" Chair: Topic Moderator: "Evaluating HACMP/6000: A Clustering Solution for High Availability Distributed Systems", by George Ahrens, Arun Chandra, Daniel P. Cox, Manoand Kanthanathan, International Business Machines Corporation, USA "Hardware and Software Fault Tolerance Using Fail-Silent Virtual Duplex Systems", by Tomislav Lovric and Klaus Echtle, Universitat Dortmund, Germany "Dynamic Autonomous Redundancy Management Strategy for Balanced Graceful Degradation", by Nobuyasu Kanekawa, Hitachi Research Laboratory, Hitachi, Ltd., Japan 9:45AM-10:45AM Session II "Checkpointing" Chair: Topic Moderator: "Optimal Message Log Reclamation for Uncoordinated Checkpointing", by Yi-Min Wang and W. Kent Fuchs, University of Illinois at Urbana-Champaign, USA "Efficient Checkpointing over Local Area Networks", by A. Ziv and J. Bruck, IBM, USA "An Eff. Coor. Check.Scheme", by Debendra dasSharma and Dhiraj K. Pradhan, Texas A&M University, USA 10:45AM-11:00AM BREAK 11:00AM-12:00AM Panel Session "Is Real-Time Fault Tolerance best Achieved Through Centralized or Distributed Systems?" Chair: Y.Kakuda (Japan ) Panelists:H.Kopetz, (Austria ) M. Gouda (USA) 12:00AM-2:00PM LUNCH 2:00PM-3:15PM Session III "Architectural Issues" Chair: Topic Moderator: "Redundant Linked List Based Cache Coherence Protocol" Qiang Li and Stevan Vlaovic, Santa Clara University, USA "The Application of Compiler-Assisted Multiple Instruction Retry to VLIW Architectures", by Shyh-Kwei Chen, W. Kent Fuchs and Wen-Mei W. Hwu, University of Illinois at Urbana-Champaign, USA "Roll-forward Recovery: The Bi-directional Cache Approach", by A. Mendelson, N. Suri and O. Zimmerman, Technion, Israel 3:15PM-3:30PM BREAK 3:30PM-5:00PM Session IV "Fault-Tolerant Interconnection Networks - I" Chair: Topic Moderator: "Reliable Broadcasting in Hypercubes with Faulty Nodes", by Jie Wu, Florida Atlantic University, USA "Asymptotically Optimal Communication Algorithms on Faulty Folded Petersen Networks", by Sabine R. Ohring, Dirk H. Hohndel, University of Wurzburg, Germany, and Sajal K. Das, University of North Texas, USA "Reliable Processor Coordination in Hypercubes", by Yilong Chen and Jyh-Charn Liu, Texas A&M University, USA "Fault-Tolerance in Optically Interconnected Multiprocessor Networks", Poornima Lalwaney and Israel Koren, University of Massachusetts at Amherst, USA 6:00PM-10:00PM BANQUET Tuesday, JUNE 14 8.30AM-9:35AM Session V-A "Fault-Tolerant Interconnection Networks - II" Chair: Topic Moderator: "Built-In Self-Repairable Cube-Connected Cycles Architectures and Their Reliability Analyses", by Itsuo Takanami and Kazushi Kurata, Yamaguchi University, Japan "Fault Tolerant Embeddings of Graphs in Generalized Hypercubes", by Ramakumar Kosuru and S. Hossein Hosseini, University of Wisconsin at Madison, USA "An Effective Approach to Achieving Fault Tolerance in Hypercubes: Algorithms and Simulation", by K. M. Al-Tawil and D. R. Avresky , Texas A&M University, USA 8:30AM-9:35AM Session V-B "System Reconfiguration - I" Chair: Topic Moderator: "Reconfiguring Multiprocessor Systems While Minimizing Disturbance", by John Trotter and Theodora A. Varvarigou, AT&T Bell Laboratories, USA "Program Transformation of Fault Detection on Distributed Memory", Chun Gong, Rami Melhem and Rajiv Gupta, The University of Pittsburgh, USA "Software Reconfiguration Using Compensation Paths", by T.A. Varvarigou and S.R. Ahuja, AT&T Bell Laboratories, USA 9:35AM-10:00AM BREAK 10:00AM--11.15AM Session VI-A "System Reconfiguration - II" Chair: Topic Moderator: "Dynamic Data Reconfiguration for SPMD Programs in Faulty Multicomputers", by M. Angelaccio, M. Colajanni, and V. Grassi, Universita de Perugia, Italy "Reliability Enhancement of Real-Time Multiprocessor Systems through Dynamic Reconfiguration", by Kai Yu and I. Koren, University of Massachusetts at Amherst, USA "Reconfiguration in Octagonal Mesh-Based Multicomputer Systems with Distributed Checkpointing", Andreas Bauch and Erik Maehle, Universitat - GH Paderborn, Germany 10:00AM--11:15AM Session VI-B "Real-Time Systems" Chair: Topic Moderator: "A Fault-Tolerance Model for Real-Time Systems", by Chai-Mei Chen and Satish K. Tripathi, University of Maryland at College Park, USA "An FDDI-Based Reconfigurable Network for Fault-Tolerant Real-Time Communications", by Sanjay Kamat and Wei Zhao, Texas A&M University, USA "Responsiveness Evaluation of a Class of Communications Protocols", Yoshiaki Kakuda, Takashi Sugaswara and Tohru Kikumo, Osaka University, Japan 11:15AM - 11:30AM BREAK 11:30AM-12:30PM Panel Session "Harware or Software Fault-Tolerance for Massively Parallel Processing Systems?" Chair: Dhiraj Pradhan Panelists: TBD 12:30PM-2:00PM LUNCH 2:00PM-2:45PM Session VII-A "Parallel Programming" Chair: Topic Moderator: "Fault-Tolerant Parallel Programming with Atomic Actions" by Joachim Maier, University of Stuttgart, Germany "An Efficient Model for Fault-Tolerant Tuple Space:", by Randy K. Hansen and Scott R. Cannon, Utah State University, USA 2:00PM-2:45PM Session VII-B "Object-Oriented Systems" Chair: Topic Moderator: "Towards an Object-Oriented Approach to Software Fault Tolerance", by J. Xu, B. Randell, R.J. Stroud and C.M.F. Rubira-Calsavara, University of Newcastle upon Tyne, England "System Mechanisms for Distributed Object-Based Fault-Tolerant Computing", by Muthusamy Chelliah and Mustaque Ahamad, Georgia Institute of Technology, USA 2:45PM -4:00M Session VIII -A "Fault Injection and Diagnosis" Chair: Topic Moderator: "Test of Fault Tolerant Distributed Systems by Fault Injection", by Klaus Echtle and Martin Leu , Universitat Dortmund, Germany "DEFINE: A Distributed Fault Injection and Monitoring Environment", by Wei-lun Kao and Ravishankar K. Iyer, University of Illinois at Urbana-Champaign, USA "Product-code Signatures in Multichip System Diagnosis", by Prawat Nagvajara and Jen-Ho Lin, Drexel University, USA 2:45PM -4:00PM Session VIII -B "Clocks Synchronization" Chair: Topic Moderator: "Synchronizing Clocks in a System Resilient to a Wide Class Failures", by Juan A. Garay, I.B.M. T.J. Watson Research Center and Kenneth J. Perry, Morgan, Stanley & Co., USA "Software-Based Fault-Tolerant Clock Synchronization for Distributed UNIX Environments", by Marcelo Moraes de Azevedo and Douglas M. Blough, University of California at Urvine, USA "Fault Trees for Computer Networks with a Single Non-Dedicated Spare Node", by Winifred G. Schneeweiss, Fern University, Germany 4:00PM - 4:30PM BREAK 4:30 - 4:45PM Closing Remarks