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 
25th September
08.30 - 08.45 Welcome
Introduction - Program Chairs
08.45 - 10.15 Session 1: Static analysis - Session Chair: Thomas Dean
- Program Analysis Too Loopy? Set the Loops Aside (Slides)
Eric Larson
- Computation of Alias Sets from Shape Graphs for Comparison of Shape
Analysis Precision (Slides)
Viktor Pavlu, Markus Schordan and Andreas Krall
- Assumption Hierarchy for a CHA Call Graph Construction Algorithm
Jason Sawin and Atanas Rountev
10.15 - 10.45 Coffee break
10.45 - 11.45 Session 2: Embedded systems and mobile platforms - Session Chair: Sibylle Schupp
- Tuning Static Data Race Analysis for Automotive Control
Software (Slides)
Steffen Keul
- Exploring the Development of Micro-Apps: A Case Study on the
BlackBerry and Android Platforms
Mark D. Syer, Bram Adams, Ahmed E. Hassan and Ying Zou
11.45 - 12.00 Short break
12.00 - 13.00 Frontiers Panel - Moderator: Massimiliano Di Penta
Nicolas Gold - Knitting Music and Programming: Reflections on the Frontiers of
Source Code Analysis
Panel Members: Ira Baxter, Nicolas Gold, and Lori Pollock
13.00 - 14.00 Lunch
14.00 - 15.30 Session 3: Defects and security - Session Chair: Chanchal Roy
- Are the clients of flawed classes (also) defect prone? (Slides)
Radu Marinescu and Cristina Marinescu
- Equational Reasoning on x86 Assembly Code (Slides)
Kevin Coogan and Saumya Debray
- Security Testing of Web Applications: a Search Based Approach for
Cross-Site Scripting Vulnerabilities (Slides)
Andrea Avancini and Mariano Ceccato
15.30 - 16.00 Coffee break
16.00 - 17.30 Session 4: Clones - Session Chair: Jim Cordy
- A Study of Cloning in the Linux SCSI drivers
Wei Wang and Mike Godfrey
- A Constraint Programming Approach to Conflict-aware Optimal
Scheduling of Prioritized Code Clone Refactoring (Slides)
Minhaz Zibran and Chanchal Roy
- Analyzing the Effect of Preprocessor Annotations on Code
Clones (Slides)
Sandro Schulze, Elmar Juergens and Janet Feigenspan
26th September
09.15 - 10.30 Keynote: - Session Chair: Andrew Walenstein
Paul Black- Counting Bugs is Harder Than You Think
10.30 - 11.00 Coffee break
11.00 - 12.30 Session 5: Search - Session Chair: Leon Moonen
- The Effect of Lexicon Bad Smells on Concept Location in Source Code
Surafel Lemma Abebe, Sonia Haiduc, Paolo Tonella and Andrian Marcus
- Semi-Automatic Domain Analysis using Topic Models
Matthew B. Kelly, Jason S. Alexander, Bram Adams and Ahmed E. Hassan
- A Comparative Study of Code Query Technologies (Slides)
Tiago Alves, Jurriaan Hage and Peter Rademaker
12.30 - 13.30 Lunch
13.30 - 15.00 Session 6: Tools - Session Chair: Paul Anderson
- I2SD: Reverse Engineering Sequence Diagrams from Enterprise Java Beans
with Interceptors (Slides)
Serguei Roubtsov, Alexander Serebrenik, Aurelien Mazoyer and Mark Van Den Brand
- CheckPointer C A C Memory Access Validator
Michael Mehlich
- Lightweight Transformation and Fact Extraction with the srcML Toolkit
Michael Collard, Michael Decker and Jonathan Maletic
15.00 - 15.30 Coffee break
15.30 - 16.30 Session 7: Transformation - Session Chair: Ira Baxter
- Automatic parallelization of side-effecting higher-order Scheme
programs (Slides)
Jens Nicolay, Coen De Roover, Wolfgang De Meuter and Viviane Jonckers
- What you See is what you Asked for: An Effort-based Transformation of
Code Analysis Tasks into Interactive Visualization Scenarios (Slides)
Ahmed Sfayhi and Houari Sahraoui
16.30 - 16.45 Closing
16.45 - 17.15 Open Steering Committee Meeting