[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [WODA08] CFP - International Workshop on Dynamic Analysis(WODA 2008)




     WODA 2008: 6th International Workshop on Dynamic Analysis
                July 21, 2008, Seattle, Washington, USA
                     (co-located with ISSTA 2008)
                   http://www.cs.wisc.edu/woda-2008

Dear Colleagues, 

Please find enclosed a CFP for WODA 2008. The workshop has always been
a great opportunity to learn more about recent advances in dynamic
analysis, and to interact with other researchers in the field. We look
forward to your submissions and participation, hoping to make WODA
2008 as interesting, exciting, and useful as its previous editions.
  
Best regards,

Ben Liblit and Atanas Rountev
WODA 2008 organizers 

[Apologies if you receive multiple copies of this CFP]

===
URL: http://www.cs.wisc.edu/woda-2008

===
Important Dates

Submissions:          April 10, 2008
Author notification:  April 30, 2008
Camera-ready copy:    May 21, 2008
Workshop:             July 21, 2008

===
Scope and Goals

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

The overall goal of WODA 2008 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 workshop will focus on achieving a consensus among the
participants as to the structure of the field, the important future
research directions this field should take, inputs needed from other
research areas, and outputs that could benefit other research domains.

Areas of interest include, but are not limited to:

    * Development of dynamic analysis tools and frameworks
    * Efficient instrumentation techniques
    * Fault detection and debugging
    * Optimization techniques
    * Program evolution
    * 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

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.

All deadlines are strict - no extensions will be given.

===
Submissions

Papers must follow the ACM conference format and must not exceed 7
pages, including figures and references. All submissions must be in
English. Papers must be submitted electronically, in PDF format, using
the WODA conference system.

Each submitted paper will be reviewed by at least three PC
members. Acceptance will be primarily based on content quality,
workshop relevance, and potential to generate discussion. For each
accepted paper, an author must attend and present the paper at the
workshop.

===
Organization

Conference Chairs

    * Ben Liblit, University of Wisconsin-Madison, USA
    * Atanas Rountev, Ohio State University, USA

Program Committee

    * James Andrews, University of Western Ontario, Canada
    * Matthew Arnold, IBM TJ Watson Research Center, USA
    * Trishul Chilimbi, Microsoft Research, USA
    * Matthew Dwyer, University of Nebraska-Lincoln, USA
    * Pankaj Jalote, Indian Institute of Technology Delhi, India
    * Mauro Pezze, Universita degli Studi di Milano-Bicocca, Italy
    * Andy Podgurski, Case Western Reserve University, USA
    * Adam Porter, University of Maryland, USA
    * Gary Sevitsky, IBM TJ Watson Research Center, USA
    * Andreas Zeller, Universitat des Saarlandes, Germany
    * Xiangyu Zhang, Purdue University, USA

_______________________________________________
WODA08 mailing list
WODA08@cse.ohio-state.edu
http://mail.cse.ohio-state.edu/mailman/listinfo/woda08