WODA 2011 – Proceedings

Ninth International Workshop on Dynamic Analysis (WODA 2011)

Preface

Session I: Analyzing Logs and Traces

Detecting Algorithms using Dynamic Analysis
Kenneth Oksanen
(Aalto University, Finland)


@InProceedings{WODA11p1, author = {Kenneth Oksanen}, title = {Detecting Algorithms using Dynamic Analysis}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2011}, }

A Method Facilitating Integration Testing of Embedded Software
Dominik Hura and Michał Dimmich
(Delphi Poland S.A., Poland; Silesian University of Technology, Poland; Wroclaw University of Technology, Poland)


@InProceedings{WODA11p7, author = {Dominik Hura and Michał Dimmich}, title = {A Method Facilitating Integration Testing of Embedded Software}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2011}, }

Dynamic Invariant Detection for Relational Databases
Jake Cobb, Gregory M. Kapfhammer, James A. Jones, and Mary Jean Harrold
(Georgia Tech, USA; Allegheny College, USA; UC Irvine, USA)


@InProceedings{WODA11p13, author = {Jake Cobb and Gregory M. Kapfhammer and James A. Jones and Mary Jean Harrold}, title = {Dynamic Invariant Detection for Relational Databases}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2011}, }

Session II: Optimizing Dynamic Analysis

Custom-made Instrumentation Based on Static Analysis
Tobias Gutzmann and Welf Löwe
(Linnaeus University, Sweden)


@InProceedings{WODA11p19, author = {Tobias Gutzmann and Welf Löwe}, title = {Custom-made Instrumentation Based on Static Analysis}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2011}, }

Continuation Equivalence: A Correctness Criterion for Static Optimizations of Dynamic Analyses
Eric Bodden
(TU Darmstadt, Germany)


@InProceedings{WODA11p25, author = {Eric Bodden}, title = {Continuation Equivalence: A Correctness Criterion for Static Optimizations of Dynamic Analyses}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2011}, }

Session III: Programming and Dynamic Analysis

Retroactive Aspects: Programming in the Past
Robin Salkeld, Brendan Cully, Geoffrey Lefebvre, Wenhao Xu, Andrew Warfield, and Gregor Kiczales
(University of British Columbia, Canada)


@InProceedings{WODA11p31, author = {Robin Salkeld and Brendan Cully and Geoffrey Lefebvre and Wenhao Xu and Andrew Warfield and Gregor Kiczales}, title = {Retroactive Aspects: Programming in the Past}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2011}, }

Sloppy Python: Using Dynamic Analysis to Automatically Add Error Tolerance to Ad-Hoc Data Processing Scripts
Philip J. Guo
(Stanford University, USA)


@InProceedings{WODA11p37, author = {Philip J. Guo}, title = {Sloppy Python: Using Dynamic Analysis to Automatically Add Error Tolerance to Ad-Hoc Data Processing Scripts}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2011}, }

proc time: 0.01