Email Gateway (Aug 18 2022 at 15:18): Email Gateway (Aug 18 2022 at 15:18):From: Gerwin Klein <gerwin.klein@nicta.com.au>
The deadline is drawing closer:
2nd 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):
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.
Last updated: Apr 16 2024 at 08:18 UTC