WODA 2015- Proceedings of the 13th International Workshop on Dynamic Analysis

Full Citation in the ACM Digital Library

SESSION: Keynote

Concolic testing: a decade later (keynote)

• Koushik Sen

SESSION: Position Papers

SQL for deep dynamic analysis?

• Mohammad R. Azadmanesh
• Matthias Hauswirth

Ayudante: identifying undesired variable interactions

• Irfan Ul Haq
• Juan Caballero
• Michael D. Ernst

Efficient dynamic analysis of the synchronization performance of Java applications

• Peter Hofer
• David Gnedt
• Hanspeter Mössenböck

Recovering execution data from incomplete observations

• Peter Ohmann
• David Bingham Brown
• Ben Liblit
• Thomas Reps

A formal foundation for trace-based JIT compilers

• Maarten Vandercammen
• Jens Nicolay
• Stefan Marr
• Joeri De Koster
• Theo D'Hondt
• Coen De Roover

SESSION: Extended Abstracts

Infection size as a measure of bug severity

• Mohammad R. Azadmanesh
• Matthias Hauswirth

Just-in-time data structures: towards declarative swap rules

• Mattias De Wael

Towards deployment-time dynamic analysis of server applications

• Luís Pina
• Cristian Cadar

Supporting PHP dynamic analysis in PHP AiR

• Mark Hills