Accepted Papers

A list of accepted papers, together with their full text (based on the permission of authors) and pointers to the authors home page (where available) will be posted here. This information is provided to maximize the chances for useful interactions at the working conference. (Incidentally, there is no significance in the order in which these papers appear on this page.)

     Program Analysis I

  1. Some Assembly Required - Program Analysis of Embedded System Code
    Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried
  2. User-Input Dependence Analysis via Graph Reachability
    Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes
  3. TBCppA: A Tracer Approach for Automatic Accurate Analysis of C Preprocessor’s Behaviors
    Katsuhiko Gondow, Hayato Kawashima, Takashi Imaizumi

    Empirical Study I

  4. An Empirical Study of Function Overloading in C++
    Cheng Wang, Daqing Hou
  5. Is Cloned Code More Stable than Non-Cloned Code?
    Jens Krinke
  6. Exploiting the Correspondence between Micro Patterns and Class Names
    Jeremy Singer, Chris Kirkham

    Program Analysis II

  7. On the Use of Data Flow Analysis in Static Profiling
    Cathal Boogerd, Leon Moonen
  8. The Semantics of Abstract Program Slicing
    Damiano Zanardini

    Empirical Study II

  9. The Evolution and Decay of Statically Detected Source Code Vulnerabilities
    Massimiliano Di Penta, Luigi Cerulo, Lerina Aversano
  10. From Indentation Shapes to Code Structure
    Abram Hindle, Michael Godfrey, Richard C. Holt
  11. Evaluating Key Statements Analysis
    Dave Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi

    Pointer Analysis

  12. Fast and Precise Points-to Analysis
    Jonas Lundberg, Tobias Gutzmann, and Welf Löwe
  13. Aspect-Aware Points-to Analysis
    Qiang Sun, Jianjun Zhao
  14. Automatic Generation of Pointer-Cognizant Data-Flow Analysis Implementations
    Andrew Stone, Michelle Strout, Shweta Behere

    Defect Detection

  15. Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
    Lei Wang, Qiang Zhang, PengChao Zhao
  16. Analysis and Transformations for Efficient Query-Based Debugging
    Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu
  17. Determining the Impact of Prior Code Changes
    Daniel M. German, Gregorio Robles, Ahmed E. Hassan


  18. Using Program Transformations to Add Structure to a Legacy Data Model
    Mariano Ceccato, Thomas Dean, Paolo Tonella
  19. Type Highlighting: A Client-Driven Visual Approach for Class Hierarchies Reengineering
    Petru Florin Mihancea
  20. Extraction of XML services from JSP Web Pages
    Jason Chu, Thomas Dean

    Code Manipulation

  21. Beyond Annotations: A Proposal for Extensible Java (XJ)
    Tony Clark, Paul Sammut, James Willans
  22. Modular Decompilation of Low-Level Code by Partial Evaluation
    Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
  23. Constructing Subtle Faults Using Higher Order Mutation Testing
    Yue Jia, Mark Harman

    Tool Demonstrations

  24. Rejuvenate Pointcut: A Tool for Pointcut Expression Recovery in Evolving Aspect-Oriented Software
    Raffi Khatchadourian, Awais Rashid
  25. Parfait - A Scalable Bug Checker for C Code
    Cristina Cifuentes
  26. CoordInspector: A Tool for Extracting Coordination Data from Legacy Code
    Nuno F. Rodrigues, Luis S. Barbosa
  27. Precise Analysis of Java Programs using JOANA
    Dennis Giffhorn, Christian Hammer
  28. DTS - A Software Defects Testing System
    Yang Zhao Hong, Gong Yun Zhan, Xiao Qing, Wang Ya Wen