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 BibTeX

Introduction

Message from the Chairs.
Electronic Edition (link) BibTeX
Organizing Committee.
Electronic Edition (link) BibTeX
Steering Committee.
Electronic Edition (link) BibTeX
Program Committee.
Electronic Edition (link) BibTeX
Additional Reviewers.
Electronic Edition (link) BibTeX

Session 1: Slicing

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

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
Electronic Edition (link) BibTeX
Jason Sawin, Atanas Rountev:
Estimating the Run-Time Progress of a Call Graph Construction Algorithm53-62. 53-62
Electronic Edition (link) BibTeX
Weilei Zhang, Barbara G. Ryder:
Constructing Accurate Application Call Graphs For Java To Model Library Callbacks. 63-74
Electronic Edition (link) BibTeX

Session 3: Transformations

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

Session 4: Tools

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

Session 5: Static Analysis II

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

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
Electronic Edition (link) BibTeX
Carlos Noguera, Renaud Pawlak:
AVal: an Extensible Attribute-Oriented Programming Validator for Java. 175-183
Electronic Edition (link) BibTeX
Kim S. Henriksen, John P. Gallagher:
Abstract Interpretation of PIC Programs through Logic Programming. 184-196
Electronic Edition (link) BibTeX

Session 7: Refactoring

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