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 can be found here

28th September

09.00am - 09.15am
            Welcome - General Chairs
            Introduction - Program Chairs

09.15am - 10.30am Keynote Speech: - Session Chair: Lu Zhang

Paul Anderson- 90% Perspiration: Engineering Static Analysis Techniques for Industrial Applications

10.30am - 10.45am Coffee break

10.45am - 12.00pm Session 1: Program Analysis I - Session Chair: Thomas Dean

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

12.00pm - 01.15pm Lunch

01.15pm - 02.30pm Session 2: Empirical Study I - Session Chair: Massimiliano Di Penta

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

02.30pm - 02.45pm Coffee break

02.45pm - 04.00pm Session 3: Defect Detection - Session Chair: Jens Krinke

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

04.00pm - 04.15pm Coffee break

04.15pm - 05.15pm Session 4: Program Analysis II - Session Chair: Mark Harman

• On the Use of Data Flow Analysis in Static Profiling  (Slides)
  Cathal Boogerd, Leon Moonen
  
• The Semantics of Abstract Program Slicing  (Slides)
  Damiano Zanardini
  

07.30pm - 10.30pm Social dinner

29th September

09.15am - 10.30am Session 5: Empirical Study II - Session Chair: Cristina Cifuentes

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

10.30am - 11.45am Coffee break

10.45am - 12.00pm Session 6: Code Manipulation - Session Chair: Jim Cordy

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

12.00pm - 01.15pm Lunch

01.15pm - 02.30pm Session 7: Tool Demonstrations - Session Chair: Keith Gallagher

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

02.30pm - 02.45pm Coffee break

02.45pm - 04.00pm Session 8: Reengineering - Session Chair: Paul Anderson

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

04.00pm - 04.15pm Coffee break

04.15pm - 05.30pm Session 9: Pointer Analysis - Session Chair: Paolo Tonella

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

05.30pm - 05.45pm Closing

05.45pm - 06.15pm Open Steering Committee Meeting