Accepted Papers

This page, where authors have permitted it, contains full texts of the papers in postscript or PDF format. This information is provided to maximise the chances for useful interactions at the workshop. (Incidentally, there is no significance in the order in which these papers appear on this page.)

  1. Barrier Slicing and Chopping
    slides from talk
    Jens Krinke, Fakultät für Mathematik und Informatik, Universität Passau, Germany

  2. Online Cycle Detection and Difference Propagation for Pointer Analysis
    slides from talk
    David Pearce, Paul Kelly, Chris Hankin, Department of Computer Science, Imperial College, UK.

  3. Slicing the SCAM Mug: A Case Study in Semantic Slicing
    slides from talk
    Martin Ward, Software Technology Research Lab, Department of Computer Science, DeMontfort University and Software Migrations Ltd, UK

  4. Checking Program Profiles
    slides from talk
    Patrick Moseley, Saumya Debray, Gregory Andrews, Department of Computer Science, University of Arizona, USA.

  5. XOgastan: XML-Oriented gcc AST Analysis and Transformations
    slides from talk
    Giulio Antoniol, Massimiliano Di Penta, Research Centre on Software Technology, Università degli Studi del Sannio,
    Gianluca Masone, Umberto Villano, Università degli Studi del Sannio, Italy.

  6. Static Slicing of Reactive Programs
    slides from talk
    Aditya Kulkarni, Ramesh S., IIT, Bombay, India.

  7. Design and Implementation of Bytecode-based Java Slicing System
    slides from talk
    Fumiaki Umemori, Kenji Konda, Reishi Yokomori, Katsuro Inoue, Software Engineering Laboratory, Osaka University, Japan.

  8. Detection of Redundant Code using R2D2
    slides from talk
    Antonio Leitao, INESC-ID/Technical University of Lisbon

  9. Towards managing environment dependence during legacy systems maintenance and renovation
    slides from talk
    Maxim Mossienko, Oleg Khaschansky, Dmitriy Antonov, Oleg Smirnov, Anton Gubanov, St. Petersburg State University, Russia.

  10. The Java System Dependence Graph
    slides from talk
    Neil Walkinshaw, Murray Wood, Marc Roper, Department of Computer and Information Sciences, University of Strathclyde, UK

  11. Applying Meyer's Taxonomy to Object-Oriented Software Systems
    slides from talk
    Michael English, Jim Buckley, University of Limmerick, Ireland.

  12. Power Law Distributions in Class Relationships
    slides from talk
    Richard Wheeldon, Steve Counsell, School of Computer Science and Information Systems, Birkbeck College, UK

  13. Improving the Static Analysis of Loops by Dynamic Partitioning Techniques
    slides from talk
    Matthieu Martel, CEA

  14. Interprocedural Static Slicing of Binary Executables
    slides from talk
    Akos Kiss, Judit Jász, Gábor Lehotai, Tibor Gyimóthy Department of Informatics, University of Szeged, Hungary

  15. Denotational Semantics of CPP
    slides from talk
    Jean-Marie Favre, Software Engineering Tools and Environments, University of Grenoble, France

  16. Turning Dynamic Typing into Static Typing by Program Specialization
    slides from talk
    Karina Olmos, Eelco Visser, Institute of Information and Computing Sciences, Utrecht University, Netherlands

  17. Unique Renaming of Java Using Source Transformation
    slides from talk
    Xinping Guo, Jim Cordy, Tom Dean, Queen's University, Canada.

  18. Parse-Tree Annotations Meet Re-Engineering Concerns
    slides from talk
    Jan Kort, University of Amsterdam, Netherlands, Ralf Lämmel, Free University of Amsterdam and Centrum voor Wiskunde en Informatica, Netherlands

  19. Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs
    slides from talk
    Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Department of Informatics, University of Bergen, Norway
    Eelco Visser, Institute of Information and Computing Sciences, Utrecht University, Netherlands

  20. Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms
    slides from talk
    Dave Binkley, Computer Science Department, Loyola College in Maryland, USA
    Mark Harman, Department of Information Systems and Computing, Brunel University, UK


Mark Harman, Department of Information Systems and Computing, Brunel University, Uxbridge, Middlesex, UB8 3PH.