4th International Workshop on

Systems Software Verification (SSV'09)
Real Software, Real Problems, Real Solutions

June 22-24 2009, Aachen, Germany
http://www.embedded.rwth-aachen.de/ssv09/

Pictures from the event are now available online

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 which are invalidated by complex (embedded) system software such as operating system kernels, low-level device drivers or microcontroller code.

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 to find real, applicable solutions. By “real” we mean problems such as time-to-market or reliability that the industry is facing and is trying to fix in software that is deployed in the market place. 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. This forum will discuss software analysis/development techniques and tools; it will also 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

Interested speakers should submit their paper (max 15 pages, ENTCS style) to http://www.easychair.org/conferences/?conf=ssv09 by Feb 15 2009, 23:59h Samoan time. All papers will be subject to peer review under normal conference standards. Experience reports and papers on work in progress are welcome as long as there is a clear contribution. Accepted submissions are planned to be published in ENTCS. Submissions must be in pdf format and follow the ENTCS style instructions at http://www.entcs.org/prelim.html.

Important dates

Feb 15 2009	Extended submission deadline
Apr 09 2009	Notification of accepted papers
May 20 2009	Final version
May 06 2009	Registration deadline (early)
Jun 06 2009	Registration deadline (late)
Jun 22-24 2009	Workshop

The workshop is organized as a three-day workshop (Jun 22-24 2009).

Location

The workshop will be held in Aachen, Germany on the campus of the RWTH Aachen University.

Program Chair

Ralf Huuck (NICTA, Australia)
Gerwin Klein (NICTA, Australia)
Bastian Schlich (RWTH Aachen University, Germany)

Program Committee

June Andronick (NICTA, Australia)
Kai Baukus (BMW Car IT, Germany)
Cristina Cifuentes (Sun Microsystems Labs, Australia)
Kim Larsen (Aalborg University, Denmark)
John Matthews (Galois Inc., USA)
Michael McDougall (Grammatech, USA)
Thomas Noll (RWTH Aachen University, Germany)
Wolfgang Paul (University of Saarbruecken, Germany)
Jan Peleska (University of Bremen, Germany)
John Regehr (University of Utah, USA)
Wolfgang Reif (University of Augsburg, Germany)
Wolfram Schulte (Microsoft Research, USA)
Zhong Shao (Yale University, USA)
Hendrik Tews (University of Nijmegen, Netherlands)
Chao Wang (NEC Laboratories America, USA)
Carsten Weise (RWTH Aachen University, Germany)

Submission

Submission System: http://www.easychair.org/conferences/?conf=ssv09

Interested speakers should submit their paper (max 15 pages, ENTCS style) by Feb 15 2009, 23:59h Samoan time. All papers will be subject to peer review under normal conference standards. Experience reports and papers on work in progress are welcome as long as there is a clear contribution. Accepted submissions are planned to be published in ENTCS. Submissions must be in pdf format and follow the ENTCS style instructions at http://www.entcs.org/prelim.html.

Thank you for the sponsorship by EMIC