[TYPES/announce] CFP: SSV'10 @ USENIX OSDI 2010

Gerwin Klein gerwin.klein at nicta.com.au
Fri Mar 12 02:44:02 EST 2010


                    Call for Papers

               5th International Workshop on

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

              October 6-7, Vancouver, Canada
                co-located with OSDI'10

              http://usenix.org/events/ssv10/

Industrial-strength software analysis and verification has advanced in
recent years through the introduction of model checking, automated and
interactive theorem proving, 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 systems
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. 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 discusses software analysis 
and development techniques and tools; it will serves 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 (at most 9 pages, 8.5" x
11", including figures, tables, and references, formatted in two
columns, using 10 point type on 12 point (single-spaced) leading, with
the text block being no more than 6.5" wide by 9" deep) to
https://papers.usenix.org/hotcrp/ssv10/ by June 4th 2010 Samoan time.
All papers will be subject to peer review under 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 online by USENIX. Submissions must be in pdf format and follow
the USENIX style instructions above.

Important dates
28.05.2010    Abstract Deadline
04.06.2010    Submission Deadline
20.07.2010    Notification of accepted papers
20.08.2010    Final version
06.10.2010    Workshop

The workshop is organized as a 1.5-day workshop (Oct 6-7, 2010).

Location
The workshop will be held in Vancouver, Canada, co-located with OSDI'10.

Program Chair
Ralf Huuck (NICTA & UNSW, Australia)
Gerwin Klein (NICTA & UNSW, Australia)
Bastian Schlich (ABB Corporate Research, Germany)

Program Committee
Adam Chlipala (Harvard University, USA)
Dino Distefano (Queen Mary University London, UK)
Klaus Havelund (Jet Propulsion Laboratory, USA)
Chris Hawblitzel (Microsoft Research, USA)
Andy King (University of Kent, UK)
Stefan Kowalewski (RWTH Aachen University, Germany)
Kim Larsen (Aalborg University, Denmark)
John Matthews (Galois Inc, 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)
Wolfram Schulte (Microsoft Research, USA)
Zhong Shao (Yale University, USA)
Junfeng Yang (Columbia, USA)
Kwangkeun Yi (Seoul National University, South Korea)

We thank our sponsors NICTA and Microsoft Research for their support.



More information about the Types-announce mailing list