This workshop will aim to explore novel techniques for quantitative analysis of software. It is particularly focused 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, AI, 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.
Important dates:
* Submission deadline: April 12th, 2009
* Notification of acceptance/rejection: May 18th, 2009
* Final version due: May 28th, 2009
* Workshop: June 28, 2009
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 http://www.easychair.org/conferences/?conf=qa09 hosted by EasyChair.
Proceedings will be distributed at the workshop. We are also planning to publish the proceedings online either in the ENTCS series or as a UC Berkeley EECS technical report, so that it can serve as a citable record for the authors.
