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 Ciências, Universidade de Lisboa
http://lasige.di.fc.ul.pt/~hans/
* Rüdiger Kapitza
Univ. Erlangen-Nürnberg
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)
_______________________________________________
Xen-research mailing list
Xen-research@lists.xensource.com
http://lists.xensource.com/mailman/listinfo/xen-research
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 Ciências, Universidade de Lisboa
http://lasige.di.fc.ul.pt/~hans/
* Rüdiger Kapitza
Univ. Erlangen-Nürnberg
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)
_______________________________________________
Xen-research mailing list
Xen-research@lists.xensource.com
http://lists.xensource.com/mailman/listinfo/xen-research