SSV: Systems Software Verification

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2011 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
SSV 2010 5th International Workshop on Systems Software Verification
Oct 6, 2010 - Oct 7, 2010 Vancouver, BC, Canada Jun 4, 2010 (May 28, 2010)
SSV 2009 4th International Workshop on Systems Software Verification
Jun 22, 2009 - Jun 24, 2009 Aachen, Germany Feb 15, 2009
 
 

Present CFP : 2010

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 4, 2010, both via the Web submission form, which will be available here soon. 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.

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.
 

Related Resources

PerIoT 2020   Software Approaches to Improve the Performance of IoT Systems - Applied Sciences (IF 2.217)
AICCC--ACM, EI, Scopus 2020   ACM--2020 3rd Artificial Intelligence and Cloud Computing Conference (AICCC 2020)--EI Compendex, Scopus
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
CAV 2020   Computer Aided Verification
Recommender Systems 2020   Data Science for Next-Generation Recommender Systems
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus
ISSRE 2020   The 31st International Symposium on Software Reliability Engineering
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis