On behalf of the 5th International Workshop on Systems Software
Verification (SSV '10) program committee, we'd like to invite you to
contribute papers that focus on finding real, applicable solutions to
systems software verification problems. Paper registration and abstracts
are due Friday, May 28, 2010, 11:59 p.m. Samoan time (UTC-11).
Industrial-strength software analysis and verification has advanced in
recent years through the introduction of model checking, automated and
interactive theorem proving, and static analysis techniques, as well as
correctness by design, correctness by contract, and model-driven
development. However, many techniques are working under restrictive
assumptions that are invalidated by complex embedded systems software
such as operating system kernels, low-level device drivers, or
The aim of this workshop is to bring together researchers and developers
from both academia and industry who are facing real software and real
problems with the goal of finding real, applicable solutions. By "real"
we mean problems such as time-to-market or reliability that the industry
is facing. A real solution is one that is applicable to the problem in
industry and not one that only applies to an abstract, academic, toy
version of it. In this workshop we will discuss software analysis and
development techniques and tools; this forum will serve as a platform to
discuss open problems and future challenges in dealing with existing and
upcoming systems-level code.
Topics include but are not limited to:
* Model checking
* Automated and interactive theorem proving
* Static analysis
* Automated testing
* Model-driven development
* Embedded systems development
* Programming languages
* Verifying compilers
* Software certification
* Software tools
* Experience reports
Paper registration and abstracts are due Friday, May 28, 2010, 11:59
p.m. Samoan time (UTC-11).
SSV '10 will be held immediately following the 9th USENIX Symposium on
Operating Systems Design and Implementation (OSDI '10), which will take
place October 4-6, 2010.
We look forward to receiving your submissions!
Ralf Huuck, NICTA and University of New South Wales, Australia
Gerwin Klein, NICTA and University of New South Wales, Australia
Bastian Schlich, RWTH Aachen University, Germany
SSV '10 Program Co-Chairs