posted by user: eichi || 1274 views || tracked by 2 users: [display]

WODA 2010 : International Workshop on Dynamic Analysis


When Jul 12, 2010 - Jul 13, 2010
Where Trento, Italy
Submission Deadline Apr 12, 2010
Notification Due Apr 26, 2010
Final Version Due May 3, 2010

Call For 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 in- feasible) 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 analyses can in turn be improved by leveraging static analysis.

The overall goal of WODA 2010 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 four to six page papers in one of the following categories:


•A position paper describing an issue in the field, and arguing for a specific stance or approach to that issue;

•An idea paper that puts forth a radical and completely unproven idea that may generate discussion and ideas for future research; and

•An “early bird” research report that is not a “short conference paper” but an exciting report of initial results from new research effort.

WODA welcomes any submissions that strongly relate to dynamic analysis; typical areas of interest that WODA covers are:


•Development of dynamic analysis tools and frameworks

•Efficient instrumentation techniques

•Fault detection and debugging

•Performance analysis and optimization techniques

•Remote analysis and measurement of software systems

•Runtime monitoring

•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.

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.

Related Resources

ASONAM 2020   The 2020 IEEE/ACM International Conference on. Advances in Social Networks Analysis and Mining
IDA 2020   The 18th International Symposium on Intelligent Data Analysis (IDA 2020)
ICIAR 2020   17th International Conference on Image Analysis and Recognition
ISSTA 2020   International Symposium on Software Testing and Analysis
MAAIDL 2020   Springer Book 'Malware Analysis using Artificial Intelligence and Deep Learning'
MIUA 2020   24th Conference on Medical Image Understanding and Analysis
ISIC-SIAW-CVPR 2020   Fifth ISIC Skin Image Analysis Workshop @ CVPR 2020
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
ELDM 2020   Embodied interactions, Languaging and the Dynamic Medium
AMSS 2020   Workshop on Analysis of Medical and Sports Sensor Data Using Deep Learning