Powered by

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

WODA 2015 – Proceedings

Contents - Abstracts - Authors

Title Page
Article: splashws15wodaforeword-fm000-p doi:

Message from the Chairs
Article: splashws15wodaforeword-fm001-p doi:

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

SQL for Deep Dynamic Analysis?
Mohammad R. Azadmanesh and Matthias Hauswirth
(University of Lugano, Switzerland)
Article: splashws15wodamain-wodamainid5-p 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 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 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 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 doi:

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

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

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

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

proc time: 0.02