[ecoop-info] WODA 2012 - 10th International Workshop on Dynamic Analysis - Call for Papers

[Eric Bodden]

Apologies for multiple copies received...

*** WODA 2012 ***

10th International Workshop on Dynamic Analysis
Sunday, July 15, 2012, Co-located with ISSTA, Minneapolis, MN
http://woda2012.ec-spride.de/

=========================
Important dates
=========================
* Submission deadline: April 27th, 2012 (23:59 American Samoa Time)
* Author Notification: May 25th, 2012
* Submission of camera ready papers: June 1st, 2012

=========================
Workshop format
=========================
The overall goal of WODA 2012 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.

For more details see http://woda2012.ec-spride.de/

=========================
Submission Format
=========================
Submissions to WODA should be four to six page papers in one of the following
categories:

* A position paper describing an issue in the field, and arguing for a specific
 stance or approach to that issue;
* An idea paper that puts forth a radical and completely unproven idea that may
 generate discussion and ideas for future research; and
* An “early bird” research report that is not a “short conference paper” but an
 exciting report of initial results from new research effort.

=========================
Possible topics
=========================
WODA welcomes any submissions that strongly relate to dynamic analysis; typical
areas of interest that WODA covers are:

* Development of dynamic analysis tools and frameworks
* Efficient instrumentation techniques
* Novel applications of dynamic analysis
* Program security and penetration testing
* Fault detection and debugging
* Performance analysis and optimization techniques
* 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
* 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.

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.

=========================
Program Committee
=========================
Walter Binder, University of Lugano
Eric Bodden, EC SPRIDE / TU Darmstadt
Gordon Fraser, Saarland University
Alex Groce, Oregon State University
Salvatore Guarnieri, IBM Research USA
Rajiv Gupta, University of California at Riverside
Patrick Lam, University of Waterloo
Shan Lu, University of Wisconsin
Welf Löwe, Linnaeus University
Samuel Midkiff, Purdue University
Nick Mitchell, IBM Research USA
Madanlal Musuvathi, Microsoft Research
Grigore Rosu, University of Illinois at Urbana Champaign
Suresh Thummalapenta, IBM Research India

=========================
Organizers
=========================
Eric Bodden
Secure Software Engineering Group
European Center for Security and Privacy by Design (EC SPRIDE), TU Darmstadt

Madanlal Musuvathi
Research in Software Engineering Group
Microsoft Research