posted by user: jyotirmoy || 1927 views || tracked by 3 users: [display]

NSV 2013 : Numerical Software Verification


When Apr 8, 2013 - Apr 8, 2013
Where Philadelphia
Submission Deadline Feb 1, 2013
Notification Due Feb 28, 2013
Final Version Due Mar 6, 2013
Categories    verification   software verification   hybrid systems   validation

Call For Papers


NSV 2013
6th Workshop on Numerical Software Verification,

A Satellite Workshop of the CPSWeek 2013
Philadelphia, Pennsylvania, USA

April 8th 2013

Important Dates
Submissions deadline: Friday, February 1st, 2013, AoE.
Notification: February 28th 2013.
Final version: March 6th 2013.

Description of the workshop
Numerical computations are ubiquitous in cyber-physical systems: supervision, prediction, simulation and signal processing rely heavily on numerical calculus to achieve desired goals. Verification of numerical algorithms has a unique set of challenges, which set it apart from rest of software verification.

While verification and validation of software target global properties of the whole system, numerical techniques intrinsically focus on local considerations or
approximations of system components. While “ abstracting away ” the data can still give meaningful proofs of correctness for many types of software, in numerical algorithms,
such abstractions are unlikely to succeed. The implementation of numerical techniques on modern hardware adds another layer of approximation because of the use of finite representations of infinite precision numbers. Such representations usually lack basic arithmetic properties such as commutativity and associativity, and can cause catastrophic variations in the global system behavior through something as innocuous as a rounding error.

It is hence imperative to develop logical and mathematical techniques that would allow reasoning about programmability and reliability in this space. The NSV workshop is dedicated to the current development and the future prospects for such techniques.

The topics of the workshop include:

- Models and abstraction techniques
- Specifications of correctness for numerical programs
- Formal specification and verification of numerical programs
- Quality of finite precision implementations
- Propagation of uncertainties, deterministic and probabilistic models
- Numerical properties of control software
- Hybrid systems verification
- Validation for space, avionics, automotive and real-time applications
- Validation for scientific computing programs
- Optimality of program behavior
- Tradeoffs between quality of service and resource (for example energy)
- consumption in programs
- Benchmarks and tools for numerical software verification

Submission information
We solicit regular research papers about recent work under the wide umbrella of Numerical Software Verification detailed above. The submission should not exceed 15 pages, Springer LNCS format. We also welcome tool, benchmark and case-studies papers of at most 6 pages. Extended abstract describing work in progress of no more than 5 pages
are also highly encouraged. More information about the submission guidelines can on the workshop website.

All accepted submissions will be included in the CPSWeek CD-ROM. After the workshop, presenters of selected research papers will be invited to submit an extended version to a special issue about Numerical Software Verification of the journal of Mathematics in Computer Science.

Papers should be submitted (as PDF) through easychair

Khalil Ghorbal, Logical Systems Lab, CS Department, Carnegie Mellon University
Jyotirmoy V. Deshmukh, Toyota Technical Center

All questions about the workshop can be addressed to them via email:

Program Committee
- Khalil Ghorbal Carnegie Mellon University
- Jyotirmoy V. Deshmukh Toyota Technical Center
- Swarat Chaudhuri Rice University
- Sriram Sankaranarayanan University of Colorado, Boulder
- Eric Goubault CEA-LIST/École Polytechnique
- Sylvie Putot CEA-LIST/École Polytechnique
- Franjo Ivančić NEC Laboratories America
- Jim Kapinski Toyota Technical Center

Related Resources

VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
ADON 2018   International Workshop on Anomaly Detection ON the Cloud and the Internet of Things
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ATVA 2018   International Symposium on Automated Technology for Verification and Analysis
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
ENASE 2019   14th International Conference on Evaluation of Novel Approaches to Software Engineering
SCSSS 2018   6th Scandinavian Conference System and Software Safety
eLSE 2018   14th eLearning and Software for Education Conference
ACM--ICSCA--Ei Compendex, Scopus 2019   ACM--2019 8th International Conference on Software and Computer Applications (ICSCA 2019)--Ei Compendex, Scopus