VTDS'09: EuroSys Workshop on Virtualization Technology for Dependable Systems

VTDS’09: EuroSys Workshop on Virtualization Technology for Dependable Systems
Co-located with EuroSys 2009, Nuremberg, Germany Tuesday, 31st March, 2009 http://vtds09.di.fc.ul.pt
Important dates:
* Submission of contributions: Jan. 19, 2009
* Notification of acceptance: Feb. 16, 2009
* Camera-ready contributions: Mar. 2, 2009
* Workshop: Mar. 31, 2009
Virtualization has a long tradition in computer systems research and has experienced a strong revival during the last years. This workshop is intended to be a forum for the exchange of ideas and experiences on the use of virtualization technologies (VT) for constructing dependable systems. The workshop will be specially interested in highly available, resilient, and intrusion-tolerant systems. It will center around questions such as: How to build such systems using virtualization? Can virtualization help to increase dependability? What are the risks of using virtualization? How to analyze and verify VT-based dependable systems? The workshop aims to bring together researchers in these areas to present recent results, the steps needed for deploying VT-based dependable systems in practice, discuss open problems that still need research, and target application domains for VT-based dependability.
The topics of the workshop focus on system aspects at the local operating system level (resilience of VT, formal verification of hypervisors and OS) as well as distributed system aspects (VT-based replication, intrusion tolerance). In particular, the VTDS workshop topics include:
* Virtualization-based mechanism for tolerating faults
and intrusions
* Security aspects of using virtualization in distributed
environments
* Resilience of virtualization technology
* Implementing a trusted computing base with virtualization
technology
* Modelling the resilience of virtualization-based
dependable systems
* Formal verification of hypervisors and operating systems
* Adaptivity in VT-based dependable systems
Submission instructions:
Manuscripts must be submitted as printable PDF documents and should not exceed 3000 words. Formatting according to the final manuscript style (ACM standard) is recommended. Electronic submission will be available starting in January on the workshop website.
The camera-ready version of manuscripts must be formatted according to the ACM standard style (2-column), and must not exceed 6 pages. EuroSys plans publish the accepted papers in the ACM Digital Library, International Conference Proceedings Series (AICPS).
At least one author of an accepted paper must register at the conference and present the paper at the workshop.
Workshop organizers:
* Hans P. Reiser (Primary contact)
Faculdade de Ciencias, Universidade de Lisboaa
http://lasige.di.fc.ul.pt/~hans/
* Ruediger Kapitza
Univ. Erlangen-Nuernberg
  http://www4.informatik.uni-erlangen.de/~rrkapitz/
Program Committee:
* Artur Andrzejak (Zuse Institute Berlin, Germany)
* Miguel Correia (Univ. Lisboa, Portugal)
* Uwe Dannowski (AMD)
* Christof Fetzer (Univ. Dresden, Germany)
* Jacob G. Hansen (VMware)
* Xuxian Jiang (North Carolina State University, US)
* Miroslaw Malek (HU Berlin, Germany)
* Carlos Maziero (PUCPR, Brazil)
* Matthias Schunter (IBM Zurich)
* Jordi Torres (TU Catalonia, Barcelona, Spain)
* Andrew Warfield (University of British Columbia, Canada)