DCDV 2014: Program

8:45 am - 9:00 am Welcome and Opening Remarks
9:00 am - 10:30 am Session 1: Cloud Dependability
9:00 am - 9:30 am Recovery for Failures in Rolling Upgrade on Clouds
Min Fu, Liming Zhu, Len Bass, and Anna Liu, NICTA&UNSW, Australia
9:30 am - 10:00 am Crosscheck: Hardening replicated multithreaded services
Arthur Martens, Christoph Borchert, Tobias Oliver Geissler, Daniel Lohmann, Olaf Spinczyk, Rüdiger Kapitza, TU Braunschweig, TU Dortmund, FAU Erlangen-Nürnberg, Germany
10:00 am - 10:30 am NV-Hypervisor: Hypervisor-based Persistence for Virtual Machines
Vasily A. Sartakov, and Rüdiger Kapitza, TU Braunschweig, Germany
10:30 am - 11:00 pm Coffee Break
11:00 am - 12:30 pm Session 2: Dependability Evaluation
11:00 am - 11:30 am A Markov Decision Process Approach for Optimal Data Backup Scheduling
Ruofan Xia, Fumio Machida, Kishor Trivedi, Duke University, United States, and NEC Corporation, Japan
11:30 am - 12:00 noon Availability Evaluation of Digital Library Cloud Services
Julian Araujo, Paulo Maciel, Matheus Torquato, Gustavo Callou, Ermeson Andrade, UFPE, Brazil
12:00 noon - 12:30 pm Defects Per Million (DPM) Evaluation for a Cloud Dealing with VM Failures using Checkpointing
Subrota K. Mondal, Jogesh Muppala, HKUST, Hong Kong
End of Workshop