6. SCAM 2006: Philadelphia, Pennsylvania, USA

Introduction

• Message from the Chairs.
  
• Organizing Committee.
  
• Steering Committee.
  
• Program Committee.
  
• Additional Reviewers.
  

Session 1: Slicing

• Keith Gallagher, David Binkley, Mark Harman:
  Stop-List Slicing. 11-20
  
• Árpád Beszédes, Tamás Gergely, Tibor Gyimóthy:
  Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms. 21-30
  
• Kai Pan, Sunghun Kim, E. James Whitehead Jr.:
  Bug Classification Using Program Slicing Metrics. 31-42
  

Session 2: Static Analysis I

• David Binkley, Mark Harman, Jens Krinke:
  Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation. 43-52
  
• Jason Sawin, Atanas Rountev:
  Estimating the Run-Time Progress of a Call Graph Construction Algorithm53-62. 53-62
  
• Weilei Zhang, Barbara G. Ryder:
  Constructing Accurate Application Call Graphs For Java To Model Library Callbacks. 63-74
  

Session 3: Transformations

• Andrew Walenstein, Rachit Mathur, Mohamed R. Chouchane, Arun Lakhotia:
  Normalizing Metamorphic Malware Using Term Rewriting. 75-84
  
• Michael W. Fagan, Laurent Hascoët, Jean Utke:
  Data Representation Alternatives in Semantically Augmented Numerical Models. 85-94
  
• Matthew Jacobs, E. Christopher Lewis:
  SMART C: A Semantic Macro Replacement Translator for C. 95-106
  

Session 4: Tools

• Magiel Bruntink:
  Linking Analysis and Transformation Tools with Source-Based Mappings. 107-116
  
• Adrian D. Thurston, James R. Cordy:
  Evolving TXL. 117-126
  
• Lajos Jeno Fülöp, Tamas Gyovai, Rudolf Ferenc:
  Evaluating C++ Design Pattern Miner Tools. 127-138
  

Session 5: Static Analysis II

• Dawn Lawrie, Henry Feild, David Binkley:
  Syntactic Identifier Conciseness and Consistency. 139-148
  
• Cathal Boogerd, Leon Moonen:
  Prioritizing Software Inspection Results using Static Profiling. 149-160
  

Tool Demonstrations

• Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson, August Schwerdfeger, Phil Russell:
  Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C. 161
  
• Carlos Noguera, Renaud Pawlak:
  AVal: an Extensible Attribute-Oriented Programming Validator for Java. 175-183
  
• Kim S. Henriksen, John P. Gallagher:
  Abstract Interpretation of PIC Programs through Logic Programming. 184-196
  

Session 7: Refactoring

• Huiqing Li, Simon Thompson:
  Comparative Study of Refactoring Haskell and Erlang Programs. 197-206
  
• Dennis Strein, Hans Kratz, Welf Löwe:
  Cross-Language Program Analysis and Refactoring. 207-216
  
• Michael L. Collard, Huzefa H. Kagdi, Jonathan I. Maletic:
  Factoring Differences for Iterative Change Management. 217-226