This is an archived copy of the Xen.org mailing list, which we have preserved to ensure that existing links to archives are not broken. The live archive, which contains the latest emails, can be found at http://lists.xen.org/
Home Products Support Community News


[Xen-research] CFP: Workshop on Virtualization Technology for Dependable

To: xen-research@xxxxxxxxxxxxxxxxxxx
Subject: [Xen-research] CFP: Workshop on Virtualization Technology for Dependable Systems
From: Ruediger Kapitza <Ruediger.Kapitza@xxxxxxxxxxxxxxxxxxxxxxxxxx>
Date: Wed, 17 Dec 2008 14:24:08 +0100
Delivery-date: Wed, 17 Dec 2008 05:37:29 -0800
Envelope-to: www-data@xxxxxxxxxxxxxxxxxxx
List-help: <mailto:xen-research-request@lists.xensource.com?subject=help>
List-id: Research Issues on Xen <xen-research.lists.xensource.com>
List-post: <mailto:xen-research@lists.xensource.com>
List-subscribe: <http://lists.xensource.com/mailman/listinfo/xen-research>, <mailto:xen-research-request@lists.xensource.com?subject=subscribe>
List-unsubscribe: <http://lists.xensource.com/mailman/listinfo/xen-research>, <mailto:xen-research-request@lists.xensource.com?subject=unsubscribe>
Sender: xen-research-bounces@xxxxxxxxxxxxxxxxxxx
User-agent: Mutt/1.5.17 (2007-11-01)
VTDS'09: EuroSys Workshop on Virtualization Technology
for Dependable Systems

Co-located with EuroSys 2009, Nuremberg, Germany
Tuesday, 31st March, 2009

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
   * Resilience of virtualization technology
   * Implementing a trusted computing base with virtualization
   * 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 Ciências, Universidade de Lisboa
   * Rüdiger Kapitza
     Univ. Erlangen-Nürnberg

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)

Xen-research mailing list

<Prev in Thread] Current Thread [Next in Thread>
  • [Xen-research] CFP: Workshop on Virtualization Technology for Dependable Systems, Ruediger Kapitza <=