Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands

The 2016 edition of WODA features an outstanding line-up of invited speakers. The workshop is open to everybody interested.

The International Workshop on Dynamic Analysis (WODA) is the place where researchers interested in dynamic analysis and related topics can meet and discuss current research, issues, and trends in the field. WODA exists since 2003 and has been co-located with several different SE/PL conferences in the past, including ICSE, ISSTA, ASPLOS, and SPLASH.

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 program on-the-fly as the system is executing. Though inherently incomplete, dynamic analyses are typically more precise than their static counterparts, and show promise in aiding the understanding, development, and maintenance of robust and reliable large-scale systems. Moreover, dynamic analyses can generate quantitative data that is useful for statistical inferences regarding the program’s behavior.

Starting from these motivations, the goal of WODA is to bring together researchers and practitioners working in all areas of dynamic analysis to discuss new perspectives and observations, share results and ongoing work, and establish collaborations. WODA serves as a forum for researchers and practitioners interested in the intersection of (some or all of) compilers, programming languages, architecture, software engineering, systems, high-performance computing, performance engineering, machine learning and data mining as tools to enable software and system behavior analysis.

Invited speakers

Title
Best-Effort Failure Reconstruction Using CSI: Crash Scene Investigation
WODA
Feedback-Directed Instrumentation for Deployed JavaScript Applications
WODA
From Soundiness to Soundness
WODA
Inferring test oracles from the Javadoc documentation
WODA
JavaScript in the Small
WODA
Making Malory Behave Maliciously: Targeted Fuzzing of Android Applications
WODA
Metamorphic Testing for Compilers and Program Analysers
WODA
The high-interest credit card of runtime enforcement
WODA
What’s going on in the heap?
WODA

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 program on-the-fly as the system is executing. Though inherently incomplete, dynamic analyses are typically more precise than their static counterparts, and show promise in aiding the understanding, development, and maintenance of robust and reliable large-scale systems. Moreover, dynamic analyses can generate quantitative data that is useful for statistical inferences regarding the program’s behavior.

Starting from these motivations, the goal of WODA is to bring together researchers and practitioners working in all areas of dynamic analysis to discuss new perspectives and observations, share results and ongoing work, and establish collaborations. WODA serves as a forum for researchers and practitioners interested in the intersection of (some or all of) compilers, programming languages, architecture, software engineering, systems, high-performance computing, performance engineering, machine learning and data mining as tools to enable software and system behavior analysis.

WODA Submissions

This year’s edition of WODA features invited talks as well as presentation-only papers (without formal proceedings), the motivation being to encourage discussion of work in progress, long-term research directions and interesting perspectives on dynamic analysis. As such, we solicit submission of two-page extended abstracts that describe an ongoing project. All submissions will be reviewed by the WODA organizers. During the workshop, each accepted abstracts will receive a 20-minute presentation slot.

WODA welcomes submissions that propose dynamic analysis techniques to solve a wide range 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
  • general forms of 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 foster research collaborations.

Submission Instructions

Submissions must be in ACM SIGPLAN proceedings format, 10-point type, and may not exceed 2 pages. Word and LaTeX templates for this format are available at http://www.sigplan.org/Resources/Author/. Submissions must be in PDF, printable on US Letter. Submissions should be made via the workshop’s HotCRP Submission Site (https://splash16woda.hotcrp.com/).

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

Tue 1 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
Session 1WODA at Winterthur
Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA
08:30
45m
Talk
Feedback-Directed Instrumentation for Deployed JavaScript Applications
WODA
Frank Tip Samsung Research America
09:15
45m
Talk
JavaScript in the Small
WODA
Cole Schlesinger Samsung Research America
10:30 - 12:10
Session 2WODA at Winterthur
Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA
10:30
33m
Talk
Inferring test oracles from the Javadoc documentation
WODA
Alessandra Gorla IMDEA Software Institute
11:03
33m
Talk
The high-interest credit card of runtime enforcement
WODA
Ben Livshits Microsoft Research
11:36
33m
Talk
Making Malory Behave Maliciously: Targeted Fuzzing of Android Applications
WODA
Steven Arzt TU Darmstadt, Germany
13:30 - 15:10
Session 3WODA at Winterthur
Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA
13:30
50m
Talk
Best-Effort Failure Reconstruction Using CSI: Crash Scene Investigation
WODA
Ben Liblit University of Wisconsin–Madison
14:20
50m
Talk
What’s going on in the heap?
WODA
Sam Guyer Tufts University
15:40 - 17:20
Session 4WODA at Winterthur
Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA
15:40
50m
Talk
Metamorphic Testing for Compilers and Program Analysers
WODA
Alastair F. Donaldson Imperial College London
16:30
50m
Talk
From Soundiness to Soundness
WODA
Yannis Smaragdakis University of Athens