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.)
- Atomic Source Code Features Can Cause Large Dependence Clusters
Dave Binkley and Mark Harman
- Chopping Concurrent Programs
Dennis Giffhorn
- Maintaining Code Metadata Regardless of Moving, Copying and Merging
Christian Prause
- Improving Side-Effect Analysis with Lazy Access Path Resolving
Ju Qian and Baowen Xu
- Rascal: a Domain Specific Language for Source Code Analysis and Manipulation
Jurgen Vinju, Paul Klint and Tijs van der Storm
- An Assessment of Type-3 Clones as Detected by State-of-the-Art Tools
Rebecca Tiarks, Rainer Koschke and Raimar Falke
- Evolution of Type-1 Clones
Nils Göde
- Engineering Abstractions in Model Checking and Testing
Michael Achenbach and Klaus Ostermann
- Concepts as syntactic sugar
Valentin David and Magne Haveraaen
- Towards Comparing and Combining Points-to Analyse
Tobias Gutzmann, Antonina Khairova, Jonas Lundberg and Welf Löwe
- A Metric Extraction Framework based on a High-Level Description Language
El Hachemi Alikacem and Houari Sahraoui
- Recovering Grammar Relationships for the Java Language Specification
Ralf Lämmel and Vadim Zaytsev
- Tracking Unique Program Statements
Jaime Spacco and Chadd Williams
- An Evaluation of Current Java Bytecode Decompilers
James Hamilton and Sebastian Danicic
- Static Estimation of Test Coverage
Tiago Alves and Joost Visser
- Properties of Slicing Definitions
Martin Ward
- thr2csp: Transforming Threads into Communicating Sequential Processes
Robert Lange and Spiros Mancoridis
Tools Demonstrations - The FermaT Maintenance Environment
Martin Ward
- A Value Analysis for C programs
Benjamin Monate, Géraud Canet and Pascal Cuoq
- Backporting Java 5 Code
Tobias Gutzmann and Tamara Steijger