SSV '10 Call for Papers
5th International Workshop on Systems Software Verification (SSV '10)
October 6–7, 2010
Vancouver, BC, Canada
Sponsored by USENIX, the Advanced Computing Systems Association
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.
Important
Dates
- Paper registration and abstracts due: Friday, May 28, 2010, 11:59 p.m. Samoan time (UTC-11)
- Paper submissions due: Friday, June 11, 2010, 11:59 p.m. Samoan time (UTC-11) Deadline Extended!
- Notification of acceptance: Tuesday, July 20, 2010
- Final papers due: Monday, August 23, 2010
Workshop Organizers
Program Co-Chairs
Ralf Huuck, NICTA and University of New South Wales, Australia
Gerwin Klein, NICTA and University of New South Wales, Australia
Bastian Schlich, ABB Corporate Research, Germany
Program Committee
Adam Chlipala, Harvard University, USA
Dino Distefano, Queen Mary, University of London, UK
Klaus Havelund, Jet Propulsion Laboratory, NASA, 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 Saarbrücken, 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 University, USA
Kwangkeun Yi, Seoul National University, South Korea
Overview
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
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 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.
This will be a 1.5-day workshop, beginning on the afternoon of October 6, 2010, and running through October 7, 2010.
Topics
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
Submission Instructions
Interested speakers should register their papers and submit their abstracts by May 28, 2010, and should submit their papers by June 11, 2010, both via the Web submission form. 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. Submissions must be in
PDF format and must be no longer than nine 8.5" x 11" pages, 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. A LaTeX template and style file are available.
All papers will be available online to registered attendees before the workshop. If your accepted paper should not be published prior to the event, please notify production@usenix.org. The papers will be available online to everyone beginning on the first day of the workshop, October 6, 2010.
Papers accompanied by nondisclosure agreement forms will not be considered. Accepted submissions will be treated as confidential prior to publication on the USENIX SSV '10 Web site; rejected submissions will be permanently treated as confidential.
Simultaneous submission of the same work to multiple venues, submission of previously published work, or plagiarism constitutes dishonesty or fraud. USENIX, like other scientific and technical conferences and journals, prohibits these practices and may take action against authors who have committed them. See the USENIX Conference Submissions Policy for details. Note, however, that we expect that many papers accepted for SSV '10
will eventually be extended as full papers suitable for presentation
at future conferences. Questions? Contact your program co-chairs, ssv10chairs@usenix.org, or the USENIX office, submissionspolicy@usenix.org.
|