Powered by
Conference Publishing Consulting
13th International Workshop on Dynamic Analysis (WODA 2015)
,
October 26, 2015
,
Pittsburgh, PA, USA
WODA 2015 – Proceedings
Contents
-
Abstracts
-
Authors
Frontmatter
Title Page
Message from the Chairs
Keynote
Concolic Testing: A Decade Later (Keynote)
Koushik Sen
(University of California at Berkeley, USA)
Position Papers
SQL for Deep Dynamic Analysis?
Mohammad R. Azadmanesh
and
Matthias Hauswirth
(University of Lugano, Switzerland)
Ayudante: Identifying Undesired Variable Interactions
Irfan Ul Haq
,
Juan Caballero
, and
Michael D. Ernst
(IMDEA Software Institute, Spain; University of Washington, USA)
Efficient Dynamic Analysis of the Synchronization Performance of Java Applications
Peter Hofer
,
David Gnedt
, and
Hanspeter Mössenböck
(JKU Linz, Austria)
Recovering Execution Data from Incomplete Observations
Peter Ohmann
,
David Bingham Brown
,
Ben Liblit
, and
Thomas Reps
(University of Wisconsin-Madison, USA; GrammaTech, USA)
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)
Extended Abstracts
Infection Size as a Measure of Bug Severity
Mohammad R. Azadmanesh
and
Matthias Hauswirth
(University of Lugano, Switzerland)
Just-in-Time Data Structures: Towards Declarative Swap Rules
Mattias De Wael
(Vrije Universiteit Brussel, Belgium)
Towards Deployment-Time Dynamic Analysis of Server Applications
Luís Pina
and
Cristian Cadar
(Imperial College London, UK)
Supporting PHP Dynamic Analysis in PHP AiR
Mark Hills
(East Carolina University, USA)
proc time: 0.67
