posted by user: mpstew || 4139 views || tracked by 14 users: [display]

QA 2009 : Workshop on Quantitative Analysis of Software (co-located with CAV 2009)

FacebookTwitterLinkedInGoogle

Link: http://www-cav2009.imag.fr/satellite_events.php
 
When Jun 28, 2009 - Jun 28, 2009
Where Grenoble France
Submission Deadline Apr 5, 2009
Notification Due May 11, 2009
Final Version Due May 25, 2009
Categories    embedded systems   software engineering   security   algorithms
 

Call For Papers

Aims and Scope
Formal verification of software has mostly been concerned with Boolean properties of code, such as, are assertions satisfied, are all buffer accesses within bounds, does it always terminate, is there any undesirable information flow, etc.. However, often times it is desirable to ask more quantitative questions about software, such as, what is the expected number of bugs in the software and what is the mean-time between failures (to faciliate decisions about software releases), how much resources (e.g., time, memory, power) does it consume (for performance analysis, and to provide guarantees for embedded, real-time systems), how much information does it leak or how well is it obfuscated (for security related issues).
This workshop will aim to explore novel techniques for quantitative analysis of software. It is particularly focussed on code-level analysis rather than analysis purely of models of software or systems. All techniques are welcome, including static, dynamic, and probabilistic analyses. The aim of this workshop is bring together researchers from different areas (programming languages, software engineering, embedded systems, performance analysis, computer security, formal verification, randomized/approximation algorithms, etc.) who are interested in any quantitative aspect of software, thereby providing a platform to investigate if there are common techniques that could be applied to a range of quantitative analyses.

The scope of the workshop, includes, but is not restricted to, the following topics:

Performance Analysis
Reliability Evaluation
Resource Bound Analysis
Execution Time Analysis
Quantitative Information Flow
Probabilistic Analysis
Software Quality Metrics
SAT and SMT engines for quantitative analysis, e.g., model counting techniques
Two categories of papers will be considered: regular (long) papers, and short position papers that propose a new idea/methodology with justification. Novelty of the proposed ideas and applicability of techniques to code-level analysis will be given high weightage in evaluating papers.

Papers in all categories will be peer-reviewed. The page limit for regular papers is 10 and for position papers is 5. Submitted papers (in PDF) should be written in LaTeX with the following settings: 11pt, single column, letter size, and at least 1 inch margins.

Papers should be submitted using the automated submission system hosted by EasyChair.


Related Resources

JSS VSI:AI-testing-and-analysis 2024   [JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
VISSOFT 2024   12th IEEE Working Conference on Software Visualization
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
QEST+FORMATS 2024   Joint International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS)
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
CAV 2024   36th International Conference on Computer Aided Verification
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
COMPTEXT 2024   The Sixth International and Interdisciplinary Conference on the Quantitative and Computational Analysis of Textual Data
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)