Title Page

Message from the Chairs

Concolic Testing: A Decade Later (Keynote)
Koushik Sen
(University of California at Berkeley, USA)


@InProceedings{WODA15p1, author = {Koushik Sen}, title = {Concolic Testing: A Decade Later (Keynote)}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, }

SQL for Deep Dynamic Analysis?
Mohammad R. Azadmanesh and Matthias Hauswirth
(University of Lugano, Switzerland)


@InProceedings{WODA15p3, author = {Mohammad R. Azadmanesh and Matthias Hauswirth}, title = {SQL for Deep Dynamic Analysis?}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {3-2}, doi = {}, year = {2015}, }

Ayudante: Identifying Undesired Variable Interactions
Irfan Ul Haq, Juan Caballero, and Michael D. Ernst
(IMDEA Software Institute, Spain; University of Washington, USA)


@InProceedings{WODA15p9, author = {Irfan Ul Haq and Juan Caballero and Michael D. Ernst}, title = {Ayudante: Identifying Undesired Variable Interactions}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {9-8}, doi = {}, year = {2015}, }

Efficient Dynamic Analysis of the Synchronization Performance of Java Applications
Peter Hofer, David Gnedt, and Hanspeter Mössenböck
(JKU Linz, Austria)


@InProceedings{WODA15p15, author = {Peter Hofer and David Gnedt and Hanspeter Mössenböck}, title = {Efficient Dynamic Analysis of the Synchronization Performance of Java Applications}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {15-14}, doi = {}, year = {2015}, }

Recovering Execution Data from Incomplete Observations
Peter Ohmann, David Bingham Brown, Ben Liblit, and Thomas Reps
(University of Wisconsin-Madison, USA; GrammaTech, USA)


@InProceedings{WODA15p21, author = {Peter Ohmann and David Bingham Brown and Ben Liblit and Thomas Reps}, title = {Recovering Execution Data from Incomplete Observations}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, }

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)


@InProceedings{WODA15p27, author = {Maarten Vandercammen and Jens Nicolay and Stefan Marr and Joeri De Koster and Theo D'Hondt and Coen De Roover}, title = {A Formal Foundation for Trace-Based JIT Compilers}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {27-26}, doi = {}, year = {2015}, }

Infection Size as a Measure of Bug Severity
Mohammad R. Azadmanesh and Matthias Hauswirth
(University of Lugano, Switzerland)


@InProceedings{WODA15p33, author = {Mohammad R. Azadmanesh and Matthias Hauswirth}, title = {Infection Size as a Measure of Bug Severity}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {33-32}, doi = {}, year = {2015}, }

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


@InProceedings{WODA15p35, author = {Mattias De Wael}, title = {Just-in-Time Data Structures: Towards Declarative Swap Rules}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {35-34}, doi = {}, year = {2015}, }

Towards Deployment-Time Dynamic Analysis of Server Applications
Luís Pina and Cristian Cadar
(Imperial College London, UK)


@InProceedings{WODA15p37, author = {Luís Pina and Cristian Cadar}, title = {Towards Deployment-Time Dynamic Analysis of Server Applications}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2015}, }

Supporting PHP Dynamic Analysis in PHP AiR
Mark Hills
(East Carolina University, USA)


@InProceedings{WODA15p39, author = {Mark Hills}, title = {Supporting PHP Dynamic Analysis in PHP AiR}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2015}, }