posted by user: kotodama || 2639 views || tracked by 8 users: [display]

WODA 2012 : 10th International Workshop on Dynamic Analysis

FacebookTwitterLinkedInGoogle

Link: http://woda2012.ec-spride.de/
 
When Jul 15, 2012 - Jul 15, 2012
Where Minneapols, USA
Submission Deadline Apr 27, 2012
Notification Due May 25, 2012
Final Version Due Jun 1, 2012
Categories    software engineering   dynamic analysis   program comprehension   program test
 

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

The overall goal of WODA 2012 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
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.

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

SAND 2024   3rd Symposium on Algorithmic Foundations of Dynamic Networks
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 2)
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)
ADMA 2024   20th International Conference Advanced Data Mining and Applications
DS 2024   Discovery Science 2024