l i n u x - u s e r s - g r o u p - o f - d a v i s
L U G O D
 
Next Meeting:
November 4: Social gathering
Next Installfest:
TBD
Latest News:
Oct. 24: LUGOD election season has begun!
Page last updated:
2010 Mar 13 20:05

The following is an archive of a post made to our 'vox mailing list' by one of its subscribers.

Report this post as spam:

(Enter your email address)
[vox] [fwd] SSV '10 Call for Papers Now Available [SSV = SystemsSoftware Verification]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[vox] [fwd] SSV '10 Call for Papers Now Available [SSV = SystemsSoftware Verification]



----- Forwarded message from Lionel Garth Jones -----

Date: Fri, 12 Mar 2010 11:04:55 -0800
From: Lionel Garth Jones
Subject: SSV '10 Call for Papers Now Available

On behalf of the 5th International Workshop on Systems Software
Verification (SSV '10) program committee, we'd like to invite you to
contribute papers that focus on finding real, applicable solutions to
systems software verification problems. Paper registration and abstracts
are due Friday, May 28, 2010, 11:59 p.m. Samoan time (UTC-11).

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.

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

Paper registration and abstracts are due Friday, May 28, 2010, 11:59
p.m. Samoan time (UTC-11).

For more details on the submission process, please see the complete
Call for Papers at:
http://www.usenix.org/ssv10/cfpa/

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.

We look forward to receiving your submissions!

Ralf Huuck, NICTA and University of New South Wales, Australia
Gerwin Klein, NICTA and University of New South Wales, Australia
Bastian Schlich, RWTH Aachen University, Germany
SSV '10 Program Co-Chairs
ssv10chairs@usenix.org

P.S. We'd like to thank our sponsors NICTA and Microsoft Research for
their support.
---------------------------------
Call for Papers
5th International Workshop on Systems Software Verification
October 6-7, 2010
Vancouver, BC, Canada
http://www.usenix.org/ssv10/cfpa/
Paper registration and abstracts due: Friday, May 28, 2010, 11:59 p.m.
Samoan time (UTC-11) 

----- End forwarded message -----

-- 
-bill!
Sent from my computer
_______________________________________________
vox mailing list
vox@lists.lugod.org
http://lists.lugod.org/mailman/listinfo/vox



LinkedIn
LUGOD Group on LinkedIn
Sign up for LUGOD event announcements
Your email address:
facebook
LUGOD Group on Facebook
'Like' LUGOD on Facebook:

Hosting provided by:
Sunset Systems
Sunset Systems offers preconfigured Linux systems, remote system administration and custom software development.

LUGOD: Linux Users' Group of Davis
PO Box 2082, Davis, CA 95617
Contact Us

LUGOD is a 501(c)7 non-profit organization
based in Davis, California
and serving the Sacramento area.
"Linux" is a trademark of Linus Torvalds.

Sponsored in part by:
O'Reilly and Associates
For numerous book donations.