Picture of San Jose Downtown by XAtsukex at http://upload.wikimedia.org/wikipedia/commons/1/18/Panoramic_Downtown_San_Jose.jpg

WODA + PERTEA 2014 | The 12th International Workshop on Dynamic Analysis +
Workshop on Software and System Performance Testing, Debugging, and Analytics
Co-located with ISSTA 2014


About WODA

Welcome to the home page of the 12th International Workshop on Dynamic Analysis, WODA 2014. This year, WODA 2014 is a community building event. We have merged WODA and PERTEA workshop to encourage more participation, and exchange of ideas.

WODA+PERTEA will be held on Tuesday, July 22nd, 2014, in San Jose, Bay Area, California co-located with the International Symposium on Software Testing and Analysis ( ISSTA 2014 ).

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

Workshop Program

Invited Speakers

Important Dates

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 program'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:

All submissions will be peer-reviewed by at least three members of the program committee.

Each submission by a PC member will be reviewed by at least four members of the program committee. The organizers cannot submit papers.

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:

The workshop will be structured to encourage discussion and develop research collaborations.

Submission and Review

Submit your papers here. All papers must be in English and must be prepared in ACM conference format and should use Option 2(example: "Latex users, please use the Option-2 style"). All accepted submissions will be published in the ACM Digital Library.

WODA Organization

PERTEA Organization

Previous WODAs