Welcome to the website of the 13th International Workshop on Dynamic Analysis. WODA 2015 is sponsored by ACM SIGPLAN.

A subset of the WODA’15 attendees: group picture

  • WODA’15 was a great success. Thanks to all authors and participants!
  • Koushik Sen delivered the WODA’15 keynote on “Concolic Testing: A Decade Later
  • Nine papers were accepted to appear in the proceedings of WODA’15

Previous WODAs:

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 11:30
KeynoteWODA at Haselton 1
Chair(s): Harry XuUniversity of California, Irvine
Concolic Testing: A Decade Later
Koushik SenUniversity of California, Berkeley
11:30 - 12:00
Research Reports 1WODA at Haselton 1
Chair(s): Yu David LiuState University of New York (SUNY) Binghamton
SQL for Deep Dynamic Analysis?
Mohammad Reza AzadmaneshUniversity of Lugano, Matthias HauswirthUniversity of Lugano, Switzerland
13:30 - 15:00
Research Reports 2WODA at Haselton 1
Chair(s): Julian DolbyIBM Research
Ayudante: Identifying Undesired Variable Interactions
Irfan Ul HaqIMDEA Software Institute, Juan CaballeroIMDEA Software Institute, Michael D. ErnstUniversity of Washington
Efficient Dynamic Analysis of the Synchronization Performance of Java Applications
Peter HoferChristian Doppler Laboratory on Monitoring and Evolution of Very-Large-Scale Software Systems, Johannes Kepler University Linz, David GnedtChristian Doppler Laboratory on Monitoring and Evolution ofVery-Large-Scale Software Systems, Johannes Kepler UniversityLinz, Hanspeter MössenböckJohannes Kepler University Linz
Recovering Execution Data from Incomplete Observations
Peter OhmannUniversity of Wisconsin - Madison, David Bingham BrownUniversity of Wisconsin - Madison, Ben LiblitUniversity of Wisconsin–Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
15:30 - 16:00
Research Reports 3WODA at Haselton 1
Chair(s): Matthias HauswirthUniversity of Lugano, Switzerland
A Formal Foundation for Trace-Based JIT Compilers
Maarten VandercammenVrije Universiteit Brussel, Jens Nicolay, Stefan MarrINRIA, France, Joeri De KosterVrije Universiteit Brussel, Theo D'HondtVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
DOI Pre-print
16:00 - 17:00
Extended AbstractsWODA at Haselton 1
Chair(s): Harry XuUniversity of California, Irvine
Infection Size as a Measure of Bug Severity
Mohammad Reza AzadmaneshUniversity of Lugano, Matthias HauswirthUniversity of Lugano, Switzerland
Just-in-Time Data Structures: Towards Declarative Swap Rules
Mattias De WaelVrije Universiteit Brussel
Towards Deployment-Time Dynamic Analysis of Server Applications
Luís PinaImperial College London, UK, Cristian CadarImperial College London
Supporting PHP Dynamic Analysis in PHP AiR
Mark HillsEast Carolina University

Call for Papers

Dynamic analysis is widely used in software development to understand various run-time properties of a program. 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. Dynamic analysis is playing a central role in the understanding of applications and systems as we grapple with emerging challenges such as systemic runtime bloat, high energy consumption, and the explosion of Big Data. 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.

This workshop is a forum for researchers and practitioners interested in the intersection of compilers, programming languages, architecture, software engineering, systems, high-performance computing, performance engineering, machine learning, and data mining for addressing software and system performance. The workshop focuses on developing and studying analytic technologies (e.g., program analysis, statistical analysis, machine learning, data mining, visualization) applied on various software or system artifacts (e.g., production systems, tests, program traces, system logs) to address issues in software and system reliability, dependability, performance, and scalability.

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

  • A four to six page position/idea paper describing an issue in the field, and arguing for a specific stance or approach to that issue
  • A two-page extended abstract describing an ongoing project

All submissions will be peer-reviewed by at least three members of the program committee. During the workshop, extended abstracts will receive a shorter presentation and discussion period.

WODA welcomes submissions that propose dynamic analysis techniques for solving all kinds of problems in software and systems; 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, debugging, and tolerance
  • Performance analysis and optimization techniques
  • Remote analysis and measurement of software systems
  • Runtime monitoring
  • Software and systems testing
  • Statistical reasoning techniques
  • Visualization and classification of program behavior
  • Relating user feedback to execution dynamics
  • Dynamic analysis for efficient memory management
  • Dynamic analysis on embedded and mobile systems

Submissions addressing an emerging problem are especially welcome. The workshop will be structured to encourage discussion and develop research collaborations.

Submission Instructions

Submissions must be in ACM SIGPLAN proceedings format, 10-point type, and may not exceed 6 pages. Word and LaTeX templates for this format are available here. Submissions must be in PDF, printable on US Letter.

Submissions should be made via the workshop EasyChair submission site.

Each informal short paper submission is evaluated based on relevance and interest to the workshop audience along with significance and clarity.