6. SCAM 2006: Philadelphia, Pennsylvania, USA

Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 27-29 September 2006, Philadelphia, Pennsylvania, USA. IEEE Computer Society 2006, ISBN 0-7695-2353-6

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 J. 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

Last update Sat May 18 19:43:10 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page