Technical Program

In keeping with the spirit and format of a workshop, SCAM will have a highly discursive nature, with theme-based discussion tracks and a keynote presentation, aimed at structuring and stimulating discussion.

Authors will have a 15 minute slot to present their work. This is 10 minutes (maximum) for talking with 5 minutes (minimum) for questions. Authors are encouraged not to attempt to present the details of their paper in this time. Rather, respecting the discussion-centered goal of SCAM, authors are encouraged to use a few slides to present points, claims, issues and topics for discussion and to use their time allocation to attempt to set the agenda for the ensuing discussions.

Each session has a specifically allocated discussion time at the end of the presentations to allow for this.

A printable version of the programme is available in PDF   

20th September

09.00 - 09.15 Welcome

09.15 - 10.30 Keynote Speech:
Michael Ernst- How analysis can hinder source code manipulation – and what to do about it

10.30 - 11.00 Coffee break

11.00 - 12.00 Session 1: Clones - Session Chair: Ira Baxter

• An Assessment of Type-3 Clones as Detected by State-of-the-Art Tools  (Slides)
  Rebecca Tiarks, Rainer Koschke and Raimar Falke
  
• Evolution of Type-1 Clones  (Slides)
  Nils Göde
  

12.00 - 13.30 Lunch

13.30 - 14.45 Session 2: Dependence Analysis - Session Chair: Jurgen Vinju

• Improving Side-Effect Analysis with Lazy Access Path Resolving  (Slides)
  Ju Qian and Baowen Xu
  
• Static Estimation of Test Coverage  (Slides)
  Tiago Alves and Joost Visser
  
• Towards Comparing and Combining Points-to Analyses  (Slides)
  Tobias Gutzmann, Antonina Khairova, Jonas Lundberg and Welf Löwe

14.45 - 15.15 Coffee break

15.15 - 16.30 Session 3: Code Tracing - Session Chair: Jens Krinke

• Maintaining Fine-Grained Code Metadata Regardless of Moving, Copying and Merging  (Slides)
  Christian Prause
  
• Identifying “Linchpin Vertices” that Can Cause Large Dependence Clusters  (Slides)
  Dave Binkley and Mark Harman
  
• Lightweight Techniques for Tracking Unique Program Statements  (Slides)
  Jaime Spacco and Chadd Williams
  

18.00 - 20.00 Banquet

21st September

09.15 - 10.30 Session 4: Slicing & Concurrency - Session Chair: Sebastian Danicic

• thr2csp: Transforming Threads into Communicating Sequential Processes  (Slides)
  Robert Lange and Spiros Mancoridis
  
• Chopping Concurrent Programs  (Slides)
  Dennis Giffhorn
  
• Properties of Slicing Definitions  (Slides)
  Martin Ward
  

10.30 - 11.00 Coffee break

11.00 - 12.00 Session 5: Tool Demonstrations - Session Chair: Juergen Rilling

• Backporting Java 5 Code  (Slides)
  Tobias Gutzmann and Tamara Steijger
  
• A Value Analysis for C programs  (Slides)
  Benjamin Monate, Géraud Canet and Pascal Cuoq
  
• The FermaT Maintenance Environment: Tool Demonstration
  Martin Ward
  

12.00 - 13.30 Lunch

13.30 - 14.45 Session 6: Abstraction & Reverse Engineering - Session Chair: Michael Godfrey

• An Evaluation of Current Java Bytecode Decompilers  (Slides)
  James Hamilton and Sebastian Danicic
  
• Engineering Abstractions in Model Checking and Testing  (Slides)
  Michael Achenbach and Klaus Ostermann
  
• Concepts as syntactic sugar
  Valentin David and Magne Haveraaen
  

14.45 - 15.15 Coffee break

15.15 - 16.30 Session 7: Analysis Frameworks - Session Chair: Leon Moonen

• Recovering Grammar Relationships for the Java Language Specification  (Slides)
  Ralf Lämmel and Vadim Zaytsev
  
• A Metric Extraction Framework based on a High-Level Description Language  (Slides)
  El Hachemi Alikacem and Houari Sahraoui
  
• Rascal: a Domain Specific Language for Source Code Analysis and Manipulation  (Slides)
  Jurgen Vinju, Paul Klint and Tijs van der Storm
  

16.30 - 17.00 Closing

17.00 - 17.30 Open Steering Committee Meeting