WODA 2003: ICSE Workshop on Dynamic Analysis

Download: workshop website.

WODA 2003: ICSE Workshop on Dynamic Analysis” edited by Jonathan E. Cook and Michael D. Ernst. May 9, 2003.
A summary appeared as “Summary: Workshop on Dynamic Analysis (WODA 2003)” by Jonathan E. Cook and Michael D. Ernst. ACM SIGSOFT Software Engineering Notes, vol. 28, no. 6, Nov. 2003.


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.

Download: workshop website.

BibTeX entry:

   editor = {Jonathan E. Cook and Michael D. Ernst},
   title = {WODA 2003: ICSE Workshop on Dynamic Analysis},
   address = {Portland, Oregon},
   month = {May~9,},
   year = {2003}

(This webpage was created with bibtex2web.)

Back to Program Analysis Group publications.