http://www.ee.duke.edu/~srds97 Durham, NC October 22-24, 1997 16th IEEE Symposium on RELIABLE DISTRIBUTED SYSTEMS ------------------------------------------------------------------- Program Wednesday, October 22, 1997 0830 - 1000 KEYNOTE SPEAKER * Topic: Software: Automobile of the 21st Century Invited Speaker: Tim Chou, Reasoning, USA 1030 - 1200 ANALYSIS AND EVALUATION Chair: Andrew J. Rindos, IBM, USA * Reliable Analysis of Disk Array Organizations by considering Uncorrectable Bit Error X. Wu, J. Li, H. Kameda, University of Tsukuba, Japan * Availability Analysis of Transaction Processing Systems based on User-Perceived Performance V. Mainkar, AT&T Labs, USA * Controlled Stochastic Petri Nets H. de Meer, O.-R. Dusterhoft, University of Hamburg, Germany 1330 - 1500 FAULT-TOLERANT SYSTEMS Chair: Ajay Kshemkalyani, University of Cincinnati, USA * An Index-Based Checkpointing Algorithm for Autonomous Distributed Systems R. Baldoni, F. Quaglia, P. Fornara, Universita Degli Studi Di Roma "La Sapienza", Italy * Applying Simulation to the Design and Performance Evaluation of Fault-tolerant Systems G. Alvarez, F. Christian, UCSD, USA * Topic: Reliable Software Systems using Reusable Software Components Invited Speaker: C. Kintala, Bell Labs, Lucent Technologies, USA 1530 - 1700 S/W RELIABILITY Chair: Jasjit Heckathorn, Draper Lab, USA * Incorporating Code Coverage in the Reliability Estimation for Fault-Tolerant Software M.-H. Chen, SUNY Albany, USA; M. Lyu, Bell Labs, Lucent Technologies, USA, W. E. Wong, Bellcore, USA * Topic: More Reliable, Faster, Cheaper Testing through Software Reliability Engineering Invited Speaker: J. Musa, IEEE, USA 1800 - 2000 RECEPTION * Alumni Room, Main Floor, Regal University Hotel Sponsored by Nortel and IBM Research Triangle Park ------------------------------------------------------------------ Program Thursday, October 23, 1997 0830 - 1000 STATE OF THE ART * Topic: Processes and Products: Technologies for Dependable Systems Invited Speaker: Bob Horgan, Bellcore, USA * Topic: Chameleon: A Software Infrastructure and Testbed for Reliable High-speed Networked Computing Invited Speaker: Ravishankar K. Iyer, UIUC, USA 1015 - 1215 ROBUST S/W SYSTEMS Chair: Paul Green, Stratus, USA * Fault Detection Using Hints from the Socket Layer N. Neves, University of Illinois, USA; W. K. Fuchs, Purdue University, USA * Comparing Operating Systems using Robustness Benchmarks P. Koopman, J. Sung, C. Dingman, D. Siewiork, T. Marz, Carnegie Mellon University, USA * Software Approach to Hazard Detection Using On-line analysis of Safety Constraints B. Schroeder, K. Schwan, Georgia Institute of Technology, USA; S. Aggarwal, SUNY Binghamton, USA * Predicting Dependability Properties On-line G. Rubino, IRISA, France 1330 - 1500 RELIABLE INTERNET SERVICES Chair: Veena Mendiratta, Bell Labs, USA * A Flexible Capability-based Model for Using Internet Content R. Anand, N. Islam, T. Jaeger, J. R. Rao, IBM Thomas J. Watson Research Center, USA * Data Distribution Algorithms for Load Balanced Fault-Tolerant Web Access B. Narendran, Juno Online Services, USA; S. Rangarajan,; S. Yajnik, Lucent Technologies, USA * Load Balancing Schemes for High-Throughput Distributed Fault- Tolerant Servers R. Friedman, Cornell University, USA; D. Mosse, University of Pittsburgh, USA 1530 - 1700 PANEL RELIABILITY OF DISTRIBUTED APPLICATIONS WITH COTS COMPONENTS PANEL PAPER: Tradeoffs when Integrating Multiple Software Components into a Highly Available Application L. Castelli, B. Coan, J. P. Harbison, and E. L. Miller, Bellcore, USA PANEL: Chair: M. Vouk, NCSU, USA B. Coan, Bellcore, USA P. Green, Stratus, USA C. Kintala, Bell Labs, USA E. Miller, Bellcore, USA 1900 - 2100 BANQUET * Topic: A Challenge to Common Ways: Get Real Invited Speaker: Ralph Evans, Evans & Associates, Durham, NC, USA ------------------------------------------------------------------------ Program Friday, October 24, 1997 0830 - 1000 NETWORK PARTITIONING AND MONITORING Chair: Helena Szczerbicka, University of Bremen, Germany * Fast Replicated State Machines over Partitionable Networks R. Friedman, A. Vaysburd, Cornell University, USA * Selecting a Primary Partition in Partitionable Asynchronous Distributed Systems A. Bartoli, University of Pisa, Italy; O. Babaoglu, University of Bologna, Italy * A Supervisor-Based Semi-Centralized Network Surveillance Scheme and the Fault Detection Latency Bound K. H. Kim, C. Subbaraman, UC Irvine, USA 1030 - 1230 COORDINATION PROTOCOLS Chair: Dimitris Logothetis, Lucent Technologies, USA * A Fail-Aware Membership Service C. Fetzer, F. Christian, UCSD, USA * Probabilistic Verification of a Synchronous Round-based Consensus Protocol H. Duggal, M. Cukier, W. Sanders, UIUC, USA * Lazy Transaction Reordering in Replicated Databases F. Pedone, R. Guerraoui, A. Schiper, Ecole Polytechnique Federal de Lausanne, Switzerland * Preventing Useless Checkpoints in Distributed Computations J.-M. Helary, A. Mostefaoui, M. Raynal, IRISA, University de Rennes, France; R.H.B. Netzer, Brown University, USA