| Message from the Program Committee Chairs |
| Conference Organization |
| Program Committee |
| Reviewers |
| Static Analysis / Session I： |
| Online Cycle Detection and Difference Propagation for Pointer Analysis / D. J. Pearce ; P. H. J. Kelly ; C. Hankin |
| Improving the Static Analysis of Loops by Dynamic Partitioning Techniques / M. Martel |
| CPP Denotational Semantics / J.-M. Favre |
| Object Oriented Code / Session II： |
| Applying Meyer's Taxonomy to Object-Oriented Software Systems / M. English ; J. Buckley ; T. Cahill |
| Power Law Distributions in Class Relationships / R. Wheeldon ; S. Counsell |
| The Java System Dependence Graph / N. Walkinshaw ; M. Roper ; M. Wood |
| Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs / O. S. Bagge ; K. T. Kalleberg ; M. Haveraaen ; E. Visser |
| Keynote / Session III： |
| Managing Multi-Billion Dollar IT Budgets Using Source Code Analysis / C. Verhoef |
| Slicing / Session IV： |
| Barrier Slicing and Chopping / J. Krinke |
| Slicing the SCAM Mug: A Case Study in Semantic Slicing / M. P. Ward |
| Static Slicing of Reactive Programs / A. R. Kulkarni ; S. Ramesh |
| Design and Implementation of Bytecode-Based Java Slicing System / F. Umemori ; K. Konda ; R. Yokomori ; K. Inoue |
| Interprocedural Static Slicing of Binary Executables / A. Kiss ; J. Jasz ; G. Lehotai ; T. Gyimothy |
| Program Transformations / Session V： |
| Towards Managing Environment Dependence during Legacy Systems Renovation and Maintenance / M. Mossienko ; O. Khaschansky ; D. Antonov ; O. Smirnov ; A. Gubanov |
| Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-End for Octave / K. Olmos |
| Unique Renaming of Java Using Source Transformation / X. Guo ; J. R. Cordy ; T. R. Dean |
| Parse-Tree Annotations Meet Re-Engineering Concerns / J. Kort ; R. Lammel |
| Tools and Techniques / Session VI： |
| XOgastan: XML-Oriented gcc AST Analysis and Transformations / G. Antoniol ; M. Di Penta ; G. Masone ; U. Villano |
| Detection of Redundant Code Using R[superscript 2]D[superscript 2] / A. Menezes Leitao |
| Checking Program Profiles / P. Moseley ; S. Debray ; G. Andrews |
| Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms / D. Binkley ; M. Harman |
| Author Index |
| Message from the Program Committee Chairs |
| Conference Organization |
| Program Committee |
| Reviewers |
| Static Analysis / Session I： |
| Online Cycle Detection and Difference Propagation for Pointer Analysis / D. J. Pearce ; P. H. J. Kelly ; C. Hankin |
