CSDL - Proceedings D

Welcome Message from the Conference Coordinator (PDF)

pp. xii

Message from the Dependable Computing and Communications Symposium (DCCS) Program Chair (PDF)

pp. xv

DCCS Program Committee (PDF)

pp. xvi

List of Reviewers for DCCS (PDF)

pp. xvii

William C. Carter Award (PDF)

pp. xix

Message from the Performance and Dependability Symposium (PDS) Program Chair (PDF)

pp. xx

PDS Program Committee (PDF)

pp. xxi

List of Reviewers for PDS (PDF)

pp. xxii

Keynote Address

Delivering Dependability: A Moving Target (PDF)

Ambuj Goyal, IBM Software Group

pp. xxiii

Session 1A: Real-Time and Embedded Systems

Efficient High Hamming Distance CRCs for Embedded Networks (Abstract)

Justin Ray, Carnegie Mellon University

Philip Koopman, Carnegie Mellon University

pp. 3-12

PDF

Memory-Conscious Reliable Execution on Embedded Chip Multiprocessors (Abstract)

G. Chen, Pennsylvania State University

M. Kandemir, Pennsylvania State University

I. Kolcu, University of Manchester, UK

pp. 13-22

PDF

Static Analysis to Enforce Safe Value Flow in Embedded Control Systems (Abstract)

Sumant Kowshik, University of Illinois at Urbana-Champaign

Grigore Rosu, University of Illinois at Urbana-Champaign

Lui Sha, University of Illinois at Urbana-Champaign

pp. 23-34

PDF

Session 2A: Safety-Critical Systems

The Startup Problem in Fault-Tolerant Time-Triggered Communication (Abstract)

Wilfried Steiner, Vienna University of Technology, Austria

Hermann Kopetz, Vienna University of Technology, Austria

pp. 35-44

PDF

A Reconfigurable Generic Dual-Core Architecture (Abstract)

Thomas Kottke, EADS Deutschland GmbH

Andreas Steininger, Vienna University of Technology

pp. 45-54

PDF

A Dependable System Architecture for Safety-Critical Respiratory-Gated Radiation Therapy (Abstract)

Gregory Sharp, Massachusetts General Hospital

Nagarajan Kandasamy, Drexel University, PA

pp. 55-60

PDF

User Interface Defect Detection by Hesitation Analysis (Abstract)

Robert W. Reeder, Carnegie Mellon University

Roy A. Maxion, Carnegie Mellon University

pp. 61-72

PDF

Session 3A: Architecture and Operating Systems

Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures (Abstract)

Albert Meixner, Duke University

Daniel J. Sorin, Duke University

pp. 73-82

PDF

Automatic Instruction-Level Software-Only Recovery (Abstract)

Jonathan Chang, Princeton University, NJ

George A. Reis, Princeton University, NJ

David I. August, Princeton University, NJ

pp. 83-92

PDF

Exploring Fault-Tolerant Network-on-Chip Architectures (Abstract)

Dongkook Park, Pennsylvania State University

Chrysostomos Nicopoulos, Pennsylvania State University

Jongman Kim, Pennsylvania State University

N. Vijaykrishnan, Pennsylvania State University

Chita R. Das, Pennsylvania State University

pp. 93-104

PDF

Session 4A: Byzantine Faults

Scaling Byzantine Fault-Tolerant Replication toWide Area Networks (Abstract)

Yair Amir, Johns Hopkins University, Baltimore, MD

Claudiu Danilov, Johns Hopkins University, Baltimore, MD

Jonathan Kirsch, Johns Hopkins University, Baltimore, MD

John Lane, Johns Hopkins University, Baltimore

Danny Dolev, Hebrew University of Jerusalem, Jerusalem

Cristina Nita-Rotaru, Purdue University,West Lafayette, IN.

Josh Olsen, Purdue University,West Lafayette, IN.

David Zage, Purdue University,West Lafayette, IN.

pp. 105-114

PDF

Optimal Resilience for Erasure-Coded Byzantine Distributed Storage (Abstract)

Christian Cachin, Zurich Research Laboratory

Stefano Tessaro, ETH Zurich

pp. 115-124

PDF

Lucky Read/Write Access to Robust Atomic Storage (Abstract)

Rachid Guerraoui, MIT, Cambridge, MA

Ron R. Levy, EPFL, CH-1015 Lausanne, Switzerland

Marko Vukolic, EPFL, CH-1015 Lausanne, Switzerland

pp. 125-136

PDF

Session 5A: Consensus and Leader Election

One-step Consensus with Zero-Degradation (Abstract)

Dan Dobre, Technische Universitat Darmstadt

Neeraj Suri, Technische Universitat Darmstadt

pp. 137-146

PDF

Consensus with Byzantine Failures and Little System Synchrony (Abstract)

Marcos K. Aguilera, HP Laboratories, Palo Alto, California, USA

Carole Delporte-Gallet, IGM, ESIEE Paris, France

Hugues Fauconnier, LIAFA, Universite Paris 7, France

Sam Toueg, University of Toronto

pp. 147-155

PDF

Solving Atomic Broadcast with Indirect Consensus (Abstract)

Richard Ekwall, Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland

Andre Schiper, Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland

pp. 156-165

PDF

Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony (Abstract)

Antonio Fernandez, LADyR, GSyC, Universidad Rey Juan Carlos, 28933 M?ostoles, Spain

Ernesto Jimenez, EUI, Universidad Polit?ecnica de Madrid, 28031 Madrid, Spain

Michel Raynal, IRISA, Universite de Rennes, Campus de Beaulieu 35 042 Rennes, France

pp. 166-178

PDF

Session 5B: Intrusion Detection and Tolerance

Hotspots: The Root Causes of Non-Uniformity in Self-Propagating Malware (Abstract)

Evan Cooke, University of Michigan

Z. Morley Mao, University of Michigan

Farnam Jahanian, University of Michigan

pp. 179-188

PDF

A Multi-Resolution Approach forWorm Detection and Containment (Abstract)

Vyas Sekar, Carnegie Mellon University

Yinglian Xie, Carnegie Mellon University

Michael K. Reiter, Carnegie Mellon University

Hui Zhang, Carnegie Mellon University

pp. 189-198

PDF

Honeypot-Aware Advanced Botnet Construction and Maintenance (Abstract)

Cliff C. Zou, University of Central Florida

Ryan Cunningham, University of Central Florida

pp. 199-208

PDF

Barbarians in the Gate: An Experimental Validation of NIC-based Distributed Firewall Performance and Flood Tolerance (Abstract)

Michael Ihde, University of Illinois at Urbana-Champaign

William H. Sanders, University of Illinois at Urbana-Champaign

pp. 209-216

PDF

Session 6A: Storage Systems

HoVer Erasure Codes For Disk Arrays (Abstract)

James Lee Hafner, IBM Almaden Research Center, 650 Harry Road, San Jose

pp. 217-226

PDF

Storage Allocation in Unreliable Peer-to-Peer Systems (Abstract)

John A. Chandy, University of Connecticut

pp. 227-236

PDF

Reliability for Networked Storage Nodes (Abstract)

KK Rao, IBM Almaden Research Center

James Lee Hafner, IBM Almaden Research Center

Richard A. Golding, IBM Almaden Research Center

pp. 237-248

PDF

Session 7A: Complex and Large-Scale Systems

A large-scale study of failures in high-performance computing systems (Abstract)

Bianca Schroeder, Carnegie Mellon University

Garth A. Gibson, Carnegie Mellon University

pp. 249-258

PDF

Tracking Probabilistic Correlation of Monitoring Data for Fault Detection in Complex Systems (Abstract)

Zhen Guo, New Jersey Institute of Technology

Guofei Jiang, NEC Laboratories America, Princeton, NJ

Haifeng Chen, NEC Laboratories America, Princeton, NJ

Kenji Yoshihira, NEC Laboratories America, Princeton, NJ

pp. 259-268

PDF

Efficiently Detecting All Dangling Pointer Uses in Production Servers (Abstract)

Dinakar Dhurjati, University of Illinois at Urbana-Champaign

Vikram Adve, University of Illinois at Urbana-Champaign

pp. 269-280

PDF

Session 7C: VLSI

In-Register Duplication: Exploiting Narrow-Width Value for Improving Register File Reliability (Abstract)

Jie Hu, New Jersey Institute of Technology

Shuai Wang, New Jersey Institute of Technology

Sotirios G. Ziavras, New Jersey Institute of Technology

pp. 281-290

PDF

Run-Time Reconfiguration for Emulating Transient Faults in VLSI Systems (Abstract)

David de Andres, Technical University of Valencia (UPV), Spain

Juan Carlos Ruiz, Technical University of Valencia (UPV), Spain

Daniel Gil, Technical University of Valencia (UPV), Spain

Pedro Gil, Technical University of Valencia (UPV), Spain

pp. 291-300

PDF

CADRE: Cycle-Accurate Deterministic Replay for Hardware Debugging (Abstract)

Smruti R. Sarangi, University of Illinois

Brian Greskamp, University of Illinois

Josep Torrellas, University of Illinois

pp. 301-312

PDF

Session 8A: Networking

Collecting and Analyzing Failure Data of Bluetooth Personal Area Networks (Abstract)

Marcello Cinque, Universita di Napoli Federico II

Domenico Cotroneo, Universita di Napoli Federico II

Stefano Russo, Laboratorio ITEM- Consorzio Interuniversitario Nazionale per l?Informatica

pp. 313-322

PDF

Improving BGP Convergence Delay for Large-Scale Failures (Abstract)

Amit Sahoo, UC Davis

Krishna Kant, Intel Corporation, Hillsboro, OR

Prasant Mohapatra, Intel Corporation, Hillsboro, OR

pp. 323-332

PDF

Secure Split Assignment Trajectory Sampling: A Malicious Router Detection System (Abstract)

Sihyung Lee, Camegie Mellon University

Tina Wong, Camegie Mellon University

Hyong S. Kim, Camegie Mellon University

pp. 333-342

PDF

A General Framework for Scalability and Performance Analysis of DHT Routing Systems (Abstract)

Joseph S. Kong, University of California, Los Angeles

Jesse S. A. Bridgewater, University of California, Los Angeles

Vwani P. Roychowdhury, University of California, Los Angeles

pp. 343-354

PDF

Session 1B: Dependable Storage

Dependability Analysis of Virtual Memory Systems (Abstract)

Lakshmi N. Bairavasundaram, University of Wisconsin, Madison

Andrea C. Arpaci-Dusseau, University of Wisconsin, Madison

Remzi H. Arpaci-Dusseau, University of Wisconsin, Madison

pp. 355-364

PDF

Assessment of the Effect of Memory Page Retirement on System RAS Against Hardware Faults (Abstract)

Dong Tang, Sun Microsystems, Inc.

Peter Carruthers, Sun Microsystems, Inc.

Zuheir Totari, Sun Microsystems, Inc.

Michael W. Shapiro, Sun Microsystems, Inc.

pp. 365-370

PDF

Designing dependable storage solutions for shared application environments (Abstract)

Shravan Gaonkar, University of Illinois at Urbana-Champaign

Kimberly Keeton, Hewlett Packard Labs, Palo Alto, California

Arif Merchant, Hewlett Packard Labs, Palo Alto, California

William H. Sanders, University of Illinois at Urbana-Champaign

pp. 371-382

PDF

Session 2B: Attack Prevention and Mitigation

A Statistical Analysis of Attack Data to Separate Attacks (Abstract)

Michel Cukier, University of Maryland, College Park, MD

Robin Berthier, University of Maryland, College Park, MD

Susmit Panjwani, University of Maryland, College Park, MD

Stephanie Tan, University of Maryland, College Park, MD

pp. 383-392

PDF

VoIP Intrusion Detection Through Interacting Protocol State Machines (Abstract)

Hemant Sengar, George Mason University

Duminda Wijesekera, George Mason University

Haining Wang, College of William and Mary, Williamsburg, VA

Sushil Jajodia, College of William and Mary, Williamsburg, VA

pp. 393-402

PDF

Mitigating Active Attacks Towards Client Networks Using the Bitmap Filter (Abstract)

Chun-Ying Huang, National Taiwan University

Kuan-Ta Chen, National Taiwan University

Chin-Laung Lei, National Taiwan University

pp. 403-412

PDF

Accurate and Automated System Call Policy-Based Intrusion Prevention (Abstract)

Lap Chung Lam, Stony Brook University

Wei Li, Stony Brook University

Tzi-cker Chiueh, Stony Brook University

pp. 413-424

PDF

Session 3B: Dependability Models

BlueGene/L Failure Analysis and Prediction Models (Abstract)

Yinglung Liang, Rutgers University

Yanyong Zhang, Rutgers University

Anand Sivasubramaniam, Penn State University

Morris Jette, Lawrence Livermore National Laboratory

Ramendra Sahoo, IBM T. J. Watson Research Center

pp. 425-434

PDF

Performance Assurance via Software Rejuvenation: Monitoring, Statistics and Algorithms (Abstract)

Alberto Avritzer, Siemens Corporate Research, Princeton, NJ

Andre Bondi, Siemens Corporate Research, Princeton, NJ

Michael Grottke, Duke University

Kishor S. Trivedi, Duke University

Elaine J. Weyuker, Duke University

pp. 435-444

PDF

Automatic Recovery Using Bounded Partially Observable Markov Decision Processes (Abstract)

Kaustubh R. Joshi, University of Illinois at Urbana-Champaign

William H. Sanders, University of Illinois at Urbana-Champaign

Matti A. Hiltunen, AT&T Labs Research 180 Park Ave. Florham Park, NJ

Richard D. Schlichting, AT&T Labs Research 180 Park Ave. Florham Park, NJ

pp. 445-456

PDF

Session 4B: Attack Analysis

Using Attack Injection to Discover New Vulnerabilities (Abstract)

Nuno Neves, Fac. de Ci.encias da Univ. de Lisboa

Joao Antunes, Fac. de Ci.encias da Univ. de Lisboa

Miguel Correia, Fac. de Ci.encias da Univ. de Lisboa

Paulo Verissimo, Fac. de Ci.encias da Univ. de Lisboa

Rui Neves, Univ. Tecnica de Lisboa

pp. 457-466

PDF

Assessing the Attack Threat due to IRC Channels (Abstract)

Robert Meyer, University of Maryland

Michel Cukier, University of Maryland

pp. 467-472

PDF

An Approach for Detecting and Distinguishing Errors versus Attacks in Sensor Networks (Abstract)

Claudio Basile, Bell Laboratories, Holmdel, NJ

Meeta Gupta, Harvard University, Cambridge, MA

Zbigniew Kalbarczyk, University of Illinois at Urbana-Champaign, IL 61801

Ravi K. Iyer, University of Illinois at Urbana-Champaign, IL 61801

pp. 473-484

PDF

Session 6B: Measuring and Modeling

A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs (Abstract)

Vinh V. Lam, University of Illinois at Urbana-Champaign

William H. Sanders, University of Illinois at Urbana-Champaign

Peter Buchholz, Informatik IV, Universitat Dortmund, Germany

pp. 485-494

PDF

Evaluating the Performability of Systems with Background Jobs (Abstract)

Qi Zhang, College of William and Mary, Williamsburg, VA

Ningfang Mi, College of William and Mary, Williamsburg, VA

Evgenia Smirni, College of William and Mary, Williamsburg, VA

Alma Riska, Seagate Research, 1251 Waterfront Place, Pittsburgh, PA

Erik Riedel, Seagate Research, 1251 Waterfront Place, Pittsburgh, PA

pp. 495-504

PDF

A Contribution Towards Solving the Web Workload Puzzle (Abstract)

Katerina Goseva-Popstojanova, West Virginia University, Morgantown, WV

Fengbin Li, West Virginia University, Morgantown, WV

Xuan Wang, West Virginia University, Morgantown, WV

Amit Sangle, West Virginia University, Morgantown, WV

pp. 505-516

PDF

Session 7B: Multiple-Server Systems

Empirical and Analytical Evaluation of Systems with Multiple Unreliable Servers (Abstract)

J. Palmer, University of Newcastle upon Tyne, UK

I. Mitrani, University of Newcastle upon Tyne, UK

pp. 517-525

PDF

R-Opus: A Composite Framework for Application Performability and QoS in Shared Resource Pools (Abstract)

Ludmila Cherkasova, Hewlett-Packard Labs, Palo Alto, CA, USA

Jerome Rolia, Hewlett-Packard Labs, Palo Alto, CA, USA

pp. 526-535

PDF

Cost-Effective Configuration of Content Resiliency Services Under Correlated Failures (Abstract)

Jinliang Fan, Georgia Institute of Technology

Tianying Chang, Georgia Institute of Technology

Dimitrios Pendarakis, IBM T. J. Watson Research Center

Zhen Liu, IBM T. J. Watson Research Center

pp. 536-548

PDF

Session 8B: Distributed Algorithms

High Throughput Total Order Broadcast for Cluster Environments (Abstract)

Rachid Guerraoui, IC EPFL, Switzerland

Ron R. Levy, IC EPFL, Switzerland

Bastian Pochon, IC EPFL, Switzerland

Vivien Quema, INRIA, France

pp. 549-557

PDF

Improving the Fault Resilience of Overlay Multicast for Media Streaming (Abstract)

Guang Tan, University of Warwick, UK

Stephen A. Jarvis, University of Warwick, UK

Daniel P. Spooner, University of Warwick, UK

pp. 558-567

PDF

Randomized Intrusion-Tolerant Asynchronous Services (Abstract)

Henrique Moniz, University of Lisboa, Portugal

Nuno Ferreira Neves, University of Lisboa, Portugal

Miguel Correia, University of Lisboa, Portugal

Paulo Verissimo, University of Lisboa, Portugal

pp. 568-577

PDF

A Performance Study on the Signal-On-Fail Approach to Imposing Total Order in the Streets of Byzantium (Abstract)

Qurat-ul-Ain Inayat, University of Newcastle, Newcastle upon Tyne, UK

Paul Devadoss Ezhilchelvan, University of Newcastle, Newcastle upon Tyne, UK

pp. 578-590

PDF

Special Tracks

Workshop on Applied Software Reliability (WASR) (PDF)

Adnan Agbaria, ISI, USA

Claudio Basile, Bell Labs - Lucent, USA

Zbigniew Kalbarczyk, UIUC, USA

pp. 591

Workshop on Architecting Dependable Systems (WADS) (PDF)

Rog?rio de Lemos, University of Kent at Canterbury, UK

Cristina Gacek, University of Newcastle upon Tyne, UK

Alexander Romanovsky, University of Newcastle upon Tyne, UK

pp. 592

Workshop on Empirical Evaluation of Dependability and Security (WEEDS) (PDF)

Michel Cukier, University of Maryland, USA

Ioana Rus, Fraunhofer Center Maryland, USA

pp. 593

Student Forum (PDF)

Christof Fetzer, TU Dresden, Germany

pp. 594

Fast Abstracts (PDF)

Saurabh Bagchi, Purdue University, USA

pp. 595

Author Index

Author Index (PDF)

pp. 596

DSN 2007 Call for Papers

DSN 2007 Call for Papers (PDF)

pp. 598