Second International Workshop on Dynamic Analysis (WODA 2004)

Dynamic analysis techniques reason over programexecutions and show promise in aiding the developmentof robust and reliable large-scale systems. It has becomeincreasingly clear that limitations of static analysis can beovercome by integrating static and dynamic analyses, andthat the performance and value of dynamic analysis canbe improved by static analysis. Hence, a key focus of theworkshop will be on hybrid analyses that involve bothstatic and dynamic components.