posted by user: agroce || 3499 views || tracked by 12 users: [display]

WODA 2013 : 11th International Workshop on Dynamic Analysis


When Mar 16, 2013 - Mar 16, 2013
Where Houston, Texas
Submission Deadline Jan 21, 2013
Notification Due Feb 11, 2013
Final Version Due Mar 3, 2013
Categories    testing   software engineering   programming languages   software testing

Call For Papers


Call for Papers: 11th International Workshop on Dynamic Analysis (WODA 2013)

WODA will be held on Saturday, March 16, 2013, in Houston, Texas, co-located with the 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’13).

WODA has been traditionally co-located with a software engineering conference. This year we are bringing WODA to ASPLOS with the goal to bridge software engineering, PL and OS communities working in dynamic analysis and related research activities to meet and discuss current research, issues, and trends in the field.

WODA 2013 will be a one-day workshop organized into topical sessions, each with a kickoff presentation or two, followed by ample time for discussion.
Important Dates

Submission Deadline

Tuesday, January 21, 2013

Author Notification

Monday, February 11, 2013

Final Version

Sunday, March 3, 2013


Saturday, March 16, 2013

Paper Formats and Topics

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 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 year, WODA will allow submissions to indicate whether they should or should not be included in archived workshop proceedings. Submissions to WODA should be in one of the following categories:

A four-six page position paper describing an issue in the field, and arguing for a specific stance or approach to that issue;
A four-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-six page “early bird” research report that is not a “short conference paper” but an exciting report of initial results from a new research effort; and
A two-page extended abstract in one of the earlier categories.

Extended abstracts will receive a shorter presentation and discussion period during the workshop.

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
Program analysis for parallel and distributed systems
Synergies between static and dynamic analysis techniques
Architectural support for program analysis
Efficient instrumentation techniques
Novel applications of dynamic analysis
Program security and penetration testing
Software testing, fault detection and debugging
Performance analysis and optimization techniques
Remote analysis and measurement of software systems
Runtime monitoring
Statistical reasoning 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.


Alex Groce, Oregon State University
Satish Narayanasamy, University of Michigan

Program Committee

Jamie Andrews (University of Western Ontario)
Cristian Cadar (Imperial College, London)
Michael Ernst (University of Washington)
Aarti Gupta (NEC Labs)
Klaus Havelund (NASA/JPL Laboratory for Reliable Software)
Daniel Marino (Symantec Research Labs)
Milo Martin (University of Pennsylvania)
Santosh Nagarakatte (Rutgers University)
John Regehr (University of Utah)
Atanas Rountev (Ohio State University)

Related Resources

IDA 2021   19th Symposium on Intelligent Data Analysis
ITE 2021   2nd International Conference on Integrating Technology in Education
IDA 2020   The 18th International Symposium on Intelligent Data Analysis (IDA 2020)
ISSTA 2021   International Symposium on Software Testing and Analysis
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
IJNGN 2020   International Journal of Next - Generation Networks
SANER 2021   The 28th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering
CAIML 2021   2nd International Conference on Artificial Intelligence and Machine Learning
TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
FDAE_AI_BDA 2020   Special Issue on Forensics Data Analytics Enhancement via Artificial Intelligences and Big Data Analytics