WODA 2014 - The 12th International Workshop on Dynamic Analysis

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 s behavior (e.g., a trace), and run-time techniques, which analyze the 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 analyses can in turn be improved by leveraging static analysis.
The overall goal of WODA 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.
Submissions to WODA should be in one of the following categories:
A four to six page position paper describing an issue in the field, and arguing for a specific stance or approach to that issue;
A four to six page idea paper that puts forth a radical and completely unproven idea that may generate discussion and ideas for future research; and
A four to six early research report that is not short conference but an exciting report of initial results from a new research effort; and
A two-page extended abstract in one of the earlier categories.
All submissions will be peer-reviewed by at least three members of the program committee.
Submission by PC members will be reviewed by at least four members of the program committee. The organizers cannot submit papers.
WODA will follow the standard ACM and ACM SIGPLAN policies on Republication & Plagiarism .
All accepted submissions will be published in the ACM Digital Library. ACM requires authors of accepted papers to transfer the copyright to the ACM.
During the workshop, extended abstracts will receive a shorter presentation and discussion period.
WODA welcomes any submission that strongly relates to dynamic analysis; typical areas of interest that WODA covers are:
Development of dynamic analysis tools and frameworks
Efficient instrumentation techniques
Novel applications of dynamic analysis
Program security and penetration testing
Fault detection and debugging
Performance analysis and optimization techniques
Remote analysis and measurement of software systems
Runtime monitoring
Software testing
Statistical reasoning techniques
Synergies between static and dynamic analysis techniques
Visualization and classification of program behavior
Analysis of program usage
Relating user feedback to execution dynamics
Dynamic analysis on alternative hardware platforms
The workshop will be a one-full-day workshop, structured to encourage discussion and develop research collaborations