posted by organizer: csallner || 2074 views || tracked by 3 users: [display]

WODA 2014 : The 12th International Workshop on Dynamic Analysis

FacebookTwitterLinkedInGoogle

Link: http://woda14.cs.rutgers.edu/
 
When Jul 22, 2014 - Jul 22, 2014
Where San Jose, CA, USA
Submission Deadline Apr 25, 2014
Notification Due May 30, 2014
Categories    software testing   analysis   verification   test generation
 

Call For Papers

Dynamic analysis techniques are increasingly used to complement more traditional static analyses. 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.

WODA welcomes any submission that strongly relates 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 structured to encourage discussion and develop research collaborations.

Submission and Review
---------------------------

Submissions to WODA should be in one of the following categories:

* A four to six page position paper describing an issue in the field, and arguing for a specific stance or approach to that issue
* A four to six page idea paper that puts forth a radical and completely unproven idea that may generate discussion and ideas for future research
* A four to six page early research report that is not a short conference paper but an exciting report of initial results from a new research effort
* A two page extended abstract in one of the earlier categories

All papers must be in English and must be prepared in the ACM conference format:
http://www.acm.org/sigs/publications/proceedings-templates

Please submit your papers via the workshop website:
http://woda14.cs.rutgers.edu/

Each submission 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.

All accepted submissions will be published in the ACM Digital Library.

During the workshop, extended abstracts will receive a shorter presentation and discussion period.

Important Dates
---------------------------
* Paper submission deadline: April 25, 2014
* Notification of acceptance: May 30, 2014
* Workshop: July 22, 2014

Organizers
---------------------------
Santosh Nagarakatte, Rutgers University, USA
Christoph Csallner, University of Texas at Arlington, USA

Related Resources

IEEE DySPAN 2018   IEEE International Symposium on Dynamic Spectrum Access Networks
IJMPICT 2018   International Journal of Managing Public Sector Information and Communication Technologies
BroDyn 2018   1st International Workshop on Analysis of Broad Dynamic Topics over Social Media (Co-located with ECIR 2018)
VVIoT 2018   International Workshop on Verification and Validation of Internet of Things
TMA 2018   Network Traffic Measurement and Analysis Conference
CONCUR 2018   29th International Conference on Concurrency Theory
DSA 2018   The Frontiers in Intelligent Data and Signal Analysis DSA 2018
InSTA 2018   5th International Workshop on Software Test Architecture
IEEE--ICCCBDA--Ei and Scopus 2018   2018 the 3rd IEEE International Conference on Cloud Computing and Big Data Analysis (ICCCBDA 2018)--Ei Compendex and Scopus
IJIT 2018   International Journal on Information Theory