DSN 2008: Anchorage, Alaska, USA

• Philip Koopman, Henrique Madeira:
  Message from the conference general chair and coordinator.
  
• Neeraj Suri:
  Message from the DCCS program chair.
  
• Kimberly Keeton:
  Message from the PDS program chair.
  
• Alex Hills:
  Dependability on the last frontier.
  
• Thomas Seder:
  Automotive Enhanced Vision Systems - Issues arising from placing users in the loop.
  

Hardware and Diagnosis

• Vimal K. Reddy, Eric Rotenberg:
  Coverage of a microarchitecture-level fault check regimen in a superscalar processor. 1-10
  
• Niranjan Soundararajan, Aditya Yanamandra, Chrysostomos Nicopoulos, Narayanan Vijaykrishnan, Anand Sivasubramaniam, Mary Jane Irwin:
  Analysis and solutions to issue queue process variation. 11-21
  
• Man-Lap Li, Pradeep Ramachandran, Swarup Kumar Sahoo, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou:
  Trace-based microarchitecture-level diagnosis of permanent hardware faults. 22-31
  

Modeling 1

• Damian Nowroth, Ilia Polian, Bernd Becker:
  A study of cognitive resilience in a JPEG compressor. 32-41
  
• Jonathan A. Winter, David H. Albonesi:
  Scheduling algorithms for unpredictably heterogeneous CMP architectures. 42-51
  
• Nicholas Jalbert, Westley Weimer:
  Automated duplicate detection for bug tracking systems. 52-61
  

Hardware Reliability

• Hisashige Ando, Ryuji Kan, Yoshiharu Tosaka, Keiji Takahisa, Kichiji Hatanaka:
  Validation of hardware error recovery mechanisms for the SPARC64 V microprocessor. 62-69
  
• Swarup Kumar Sahoo, Man-Lap Li, Pradeep Ramachandran, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou:
  Using likely program invariants to detect hardware errors. 70-79
  
• Albert Meixner, Daniel J. Sorin:
  Detouring: Translating software to circumvent hard faults in simple cores. 80-89
  

Practical Experience Reports

• Afonso Araújo Neto, Marco Vieira:
  Towards assessing the security of DBMS configurations. 90-95
  
• Roxana Geambasu, Andrew Birrell, John MacCormick:
  Experiences with formal specification of fault-tolerant file systems. 96-101
  
• Elisabeth A. Nguyen, William S. Greenwell, Myron Hecht:
  Using an assurance case to support independent assessment of the transition to a new GPS ground control system. 102-107
  

Panel

• Cristian Constantinescu, Ishwar Parulkar, R. Harper, Sarah Michalak:
  Silent Data Corruption - Myth or reality? 108-109
  

Tools and Practical Experience Reports

• Tim Moors, Patrick Chu:
  End-system tools for enhancing email reliability. 110-115
  
• Thirumalesh Bhat, Nachiappan Nagappan:
  Tempest: Towards early identification of failure-prone binaries. 116-121
  
• Pradeep Ramachandran, Prabhakar Kudva, Jeffrey W. Kellington, John Schumann, Pia Sanda:
  Statistical Fault Injection. 122-127
  

Soft-Errors

• Eric L. Hill, Mikko H. Lipasti, Kewal K. Saluja:
  An accurate flip-flop selection technique for reducing logic SER. 128-136
  
• Xin Fu, Tao Li, José A. B. Fortes:
  Combined circuit and microarchitecture techniques for effective soft error robustness in SMT processors. 137-146
  

Storage and Server Dependability

• Kevin M. Greenan, Ethan L. Miller, Jay J. Wylie:
  Reliability of flat XOR-based erasure codes on heterogeneous devices. 147-156
  
• Lorenzo Keller, Prasang Upadhyaya, George Candea:
  ConfErr: A tool for assessing resilience to human configuration errors. 157-166
  
• Manish Marwah, Shivakant Mishra, Christof Fetzer:
  Enhanced server fault-tolerance for improved user experience. 167-176
  

Intrusion Tolerance

• Xu Chen, Jonathon Andersen, Zhuoqing Morley Mao, Michael Bailey, Jose Nazario:
  Towards an understanding of anti-virtualization and anti-debugging behavior in modern malware. 177-186
  
• Anh Nguyen-Tuong, David Evans, John C. Knight, Benjamin Cox, Jack W. Davidson:
  Security through redundant data diversity. 187-196
  
• Yair Amir, Brian A. Coan, Jonathan Kirsch, John Lane:
  Byzantine replication under attack. 197-206
  

Dynamic Systems and Replication

• Nicolas Schiper, Sam Toueg:
  A robust and lightweight stable leader election service for dynamic systems. 207-216
  
• Yawei Li, Zhiling Lan:
  A fast restart mechanism for checkpoint/recovery protocols in networked environments. 217-226
  
• Tudor Marian, Mahesh Balakrishnan, Ken Birman, Robbert van Renesse:
  Tempest: Soft state replication in the service tier. 227-236
  

Security 2

• Zhuowei Li, XiaoFeng Wang, Zhenkai Liang, Michael K. Reiter:
  AGIS: Towards automatic generation of infection signatures. 237-246
  
• Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu:
  Convicting exploitable software vulnerabilities: An efficient input provenance based approach. 247-256
  
• José Fonseca, Marco Vieira:
  Mapping software faults with web security vulnerabilities. 257-266
  

Distributed Protocols

• Ricardo Fernández Pascual, José M. García, Manuel E. Acacio, José Duato:
  A fault-tolerant directory-based cache coherence protocol for CMP architectures. 267-276
  
• Roy Friedman, Gabriel Kliot, Chen Avin:
  Probabilistic quorum systems in wireless ad hoc networks. 277-286
  
• Allen Clement, Harry C. Li, Jeff Napper, Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin:
  BAR primer. 287-296
  

Networks

• Sihyung Lee, Tina Wong, Hyong S. Kim:
  Improving dependability of network configuration through policy classification. 297-306
  
• Ataul Bari, Quazi Rahman, Arunita Jaekel, Subir Bandyopadhyay:
  Traffic grooming in WDM mesh networks with guaranteed survivability. 307-315
  
• Yoshitomo Murata, Tsutomu Inaba, Hiroyuki Takizawa, Hiroaki Kobayashi:
  Implementation and evaluation of a distributed and cooperative load-balancing mechanism for dependable volunteer computing. 316-325
  

Self-Managing Systems

• Daniel Gmach, Jerry Rolia, Ludmila Cherkasova, Guillaume Belrose, Tom Turicchi, Alfons Kemper:
  An integrated approach to resource pool management: Policies, efficiency and quality metrics. 326-335
  
• Ningfang Mi, Giuliano Casale, Evgenia Smirni:
  Scheduling for performance and availability in systems with temporal dependent workloads. 336-345
  
• Thomas Repantis, Vana Kalogeraki:
  Hot-spot prediction and alleviation in distributed stream processing applications. 346-355
  

Security 1

• Wei Yu, Nan Zhang, Xinwen Fu, Riccardo Bettati, Wei Zhao:
  On localization attacks to Internet Threat Monitors: An information-theoretic framework. 356-365
  
• Zahid Anwar, Ravinder Shankesi, Roy H. Campbell:
  Automatic security assessment of critical cyber-infrastructures. 366-375
  
• Kapil Singh, Abhinav Srivastava, Jonathon T. Giffin, Wenke Lee:
  Evaluating email's feasibility for botnet command and control. 376-385
  

Practical Experience Reports and Demos

• Shravan Gaonkar, Eric Rozier, Anthony Tong, William H. Sanders:
  Scaling file systems to support petascale clusters: A dependability analysis to support informed design choices. 386-391
  
• Zibin Zheng, Michael R. Lyu:
  WS-DREAM: A distributed reliability assessment Mechanism for Web Services. 392-397
  
• Chinghway Lim, Navjot Singh, Shalini Yajnik:
  A log mining approach to failure analysis of enterprise telephony systems. 398-403
  
• Paolo Romano, Francesco Quaglia:
  Integration and evaluation of Multi-Instance-Precommit schemes within postgreSQL. 404-409
  

Networks and Mobile Systems

• Kuan-Ta Chen, Jing-Kai Lou:
  Toward an understanding of the processing delay of peer-to-peer relay nodes. 410-419
  
• Xiapu Luo, Edmond W. W. Chan, Rocky K. C. Chang:
  TCP covert timing channels: Design and detection. 420-429
  
• Huaiyu Liu, Christian Maciocco, Vijay Kesavan, Andy Lock Yen Low:
  A smart triggering scheme to reduce service interruption during heterogeneous handovers. 430-439
  

Panel

• Algirdas Avizienis:
  On representing knowledge in the dependability domain: a panel discussion. 440-441
  

Evaluation and Measurement

• Sei Kato, Takayuki Osogami:
  Evaluating availability under quasi-heavy-tailed repair times. 442-451
  
• Ludmila Cherkasova, Kivanc M. Ozonat, Ningfang Mi, Julie Symons, Evgenia Smirni:
  Anomaly? application change? or workload change? towards automated detection of application performance anomaly and change. 452-461
  
• Poul E. Heegaard, Kishor S. Trivedi:
  Survivability quantification of communication services. 462-471
  

Error Detection

• Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
  SymPLFIED: Symbolic program-level fault injection and error detection framework. 472-481
  
• Jeffrey J. Cook, Craig B. Zilles:
  A characterization of instruction-level error derating and its implications for error detection. 482-491
  

Storage Systems

• Ningfang Mi, Alma Riska, Evgenia Smirni, Erik Riedel:
  Enhancing data availability in disk drives through background activities. 492-501
  
• Lakshmi N. Bairavasundaram, Meenali Rungta, Nitin Agrawal, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Michael M. Swift:
  Analyzing the effects of disk-pointer corruption. 502-511
  

Modeling 2

• Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga:
  Architectural dependability evaluation with Arcade. 512-521
  
• Kivanc M. Ozonat:
  An information-theoretic approach to detecting performance anomalies and changes for large-scale distributed web services. 522-531
  
• Ann T. Tai, Kam S. Tso, William H. Sanders:
  A recurrence-relation-based reward model for performability evaluation of embedded systems. 532-541
  

Workshops

• Andrea Bondavalli, István Majzik, Aad P. A. van Moorsel:
  International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008). 542-543
  
• Karthik Pattabiraman, Shuo Chen, Zbigniew Kalbarczyk:
  Workshop on compiler and architectural techniques for application reliability and security (CATARS). 544-545
  
• Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Michael Nicolaidis:
  Second workshop on dependable and secure nanocomputing. 546-547
  
• Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek:
  Workshop on Architecting Dependable Systems (WADS 2008). 548-549
  

Last update Wed Feb 15 04:59:48 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page