[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.