WODA 2015 – Proceedings

13th International Workshop on Dynamic Analysis (WODA 2015), October 26, 2015, Pittsburgh, PA, USA

Frontmatter

Title Page
Article: splashws15wodaforeword-fm000-p (type: Frontmatter) doi:

Message from the Chairs
Article: splashws15wodaforeword-fm001-p (type: Frontmatter) doi:

Keynote

Concolic Testing: A Decade Later (Keynote)
Koushik Sen
(University of California at Berkeley, USA)
Article: splashws15wodamain-wodamainid20-p (type: Invited Talk Abstract (2 pages)) doi:

Position Papers

SQL for Deep Dynamic Analysis?
Mohammad R. Azadmanesh and Matthias Hauswirth
(University of Lugano, Switzerland)
Article: splashws15wodamain-wodamainid5-p (type: Short Paper (6 pages)) doi:

Ayudante: Identifying Undesired Variable Interactions
Irfan Ul Haq, Juan Caballero, and Michael D. Ernst
(IMDEA Software Institute, Spain; University of Washington, USA)
Article: splashws15wodamain-wodamainid10-p (type: Short Paper (6 pages)) doi:

Efficient Dynamic Analysis of the Synchronization Performance of Java Applications
Peter Hofer, David Gnedt, and Hanspeter Mössenböck
(JKU Linz, Austria)
Article: splashws15wodamain-wodamainid1-p (type: Short Paper (6 pages)) doi:

Recovering Execution Data from Incomplete Observations
Peter Ohmann, David Bingham Brown, Ben Liblit, and Thomas Reps
(University of Wisconsin-Madison, USA; GrammaTech, USA)
Article: splashws15wodamain-wodamainid2-p (type: Short Paper (6 pages)) doi:

A Formal Foundation for Trace-Based JIT Compilers
Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt, and Coen De Roover
(Vrije Universiteit Brussel, Belgium; JKU Linz, Austria)
Article: splashws15wodamain-wodamainid8-p (type: Short Paper (6 pages)) doi:

Extended Abstracts

Infection Size as a Measure of Bug Severity
Mohammad R. Azadmanesh and Matthias Hauswirth
(University of Lugano, Switzerland)
Article: splashws15wodamain-wodamainid6-p (type: Extended Abstract (2 pages)) doi:

Just-in-Time Data Structures: Towards Declarative Swap Rules
Mattias De Wael
(Vrije Universiteit Brussel, Belgium)
Article: splashws15wodamain-wodamainid7-p (type: Extended Abstract (2 pages)) doi:

Towards Deployment-Time Dynamic Analysis of Server Applications
Luís Pina and Cristian Cadar
(Imperial College London, UK)
Article: splashws15wodamain-wodamainid9-p (type: Extended Abstract (2 pages)) doi:

Supporting PHP Dynamic Analysis in PHP AiR
Mark Hills
(East Carolina University, USA)
Article: splashws15wodamain-wodamainid11-p (type: Extended Abstract (2 pages)) doi: