Workshop on Dynamic Analysis (WODA 2003)

May 9, 2003
Portland, Oregon
Co-located with ICSE 2003

It's over! Papers, proceedings, and presentations are available on the program page

Organizers: Jonathan E. Cook, New Mexico State University
Michael D. Ernst, Massachusetts Institute of Technology
email the organizers

Dynamic analysis techniques reason over the run-time behavior of systems. Dynamic analysis includes both offline techniques that operate on a trace of the system's behavior, and online techniques that operate while the system is producing its behavior. Examples of dynamic analysis techniques are profilers, memory allocation monitors, and assertion checkers. Themes and needs shared by all dynamic analysis techniques include:

  1. instrumentation;
  2. data collection, description, and management;
  3. behavior descriptions;
  4. partial and/or noisy information; and
  5. reasoning with partial models.

WODA 2003 aims to bring together researchers working on topics related to dynamic analysis and runtime monitoring. Doing so will help create synergy and understanding within this community of researchers, and will improve the progress of the field by exposing participants to new ideas and to potential collaborators.

This workshop will focus on achieving a consensus among the participants as to the structure of the field, the important research directions this field should take, inputs needed from other research domains, and outputs that could benefit other research domains. It will cover a topical spectrum possibly including:

  1. enabling technologies;
  2. framework and common tool support;
  3. event type definition, classification, and specification;
  4. symbolic and theoretically exact reasoning techniques;
  5. statistical and probabilistic reasoning techniques;
  6. research foundations;
  7. relationships to static analysis;
  8. relationships to testing; and
  9. other potential topics.

This workshop will be a one-day workshop. Potential participants should to submit a position paper of up to four (4) pages on one or more of the relevant sub-topics. It should not be a description of a specific research activity, but rather an insight into the problems, needs, or approaches that researchers in dynamic analysis can use to further their understanding of the area. Each accepted position paper must have at least one author in attendance at the workshop. Those who have not submitted a position paper may attend if there are available slots after authors have registered; but all participants are encouraged to prepare their thoughts, opinions, and insights regarding the present and future of dynamic analysis.

About ICSE: The International Conference on Software Engineering (ICSE) is the premier software engineering conference. It provides a forum for researchers, practitioners, and educators to present and discuss the most recent advances, trends, and concerns. Workshops have been an important part of this role, and we are pleased to offer the Workshop on Dynamic Analysis (WODA 2003) at ICSE 2003.

Important Dates:
Submission date:February 15, 2003
Acceptance/rejection:March 1, 2003
Camera-ready copy due:April 1, 2003
Workshop:May 9, 2003