Seventh International Workshop on Dynamic Analysis (WODA 2009)
The complete WODA 2009 program lists accepted papers, abstracts, presentation slides, and additional workshop events. The ACM Digital Library offers complete proceedings, including full copies of all papers.
Dynamic analysis techniques are increasingly used to complement more traditional static analysis. Approaches based on static analysis operate on a static representation of the program, consider all possible (and some infeasible) behaviors, and are thus complete, but often imprecise. Dynamic analysis techniques, conversely, reason over a set of program executions and analyze only observed behaviors. Dynamic analysis includes both offline techniques, which operate on some captured representation of the system’s behavior (e.g., a trace), and run-time techniques, which analyze the system’s behavior on the fly, while the system is executing. Although inherently incomplete, dynamic analyses can be more precise than their static counterparts and show promise in aiding the understanding, development, and maintenance of robust and reliable large-scale systems. Moreover, the data they provide enable statistical inferences to be made about program behavior. In recent years, both practitioners and researchers are realizing that the limitations of static analysis can be overcome by integrating static and dynamic analysis, and that the performance of dynamic analysis can in turn be improved by leveraging static analysis.
The overall goal of WODA 2009 is to bring together researchers and practitioners working in all areas of dynamic analysis to discuss new issues, share results and ongoing work, and foster collaborations. This workshop will focus on achieving a consensus among the participants as to the structure of the field, the important future research directions this field should take, inputs needed from other research areas, and outputs that could benefit other research domains.
Areas of interest include, but are not limited to:
The workshop will be a one-full-day workshop, structured to encourage discussion and develop research collaborations.
Accepted WODA papers will be included in the ISSTA proceedings and thus will be accessible to the workshop participants before the workshop to facilitate interaction and discussion. WODA papers will also be published in the ACM Digital Library.
|Submissions:||Thursday, April 23, 2009 by 23:59:59 Apia time|
|Author notification:||Friday, May 8, 2009|
|Camera-ready copy:||Friday, May 15, 2009|
|Early registration:||Monday, June 22, 2009|
|Workshop:||Monday, July 20, 2009|
Papers must follow the ACM conference format and must not exceed 7 pages, including figures and references. All submissions must be in English. Papers must be submitted electronically, as PDF documents, using the WODA conference system.
Each submitted paper will be reviewed by at least three PC members. Acceptance will be primarily based on content quality, workshop relevance, and potential to generate discussion. For each accepted paper, an author must attend and present the paper at the workshop.