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.
27th September
2.00pm - 2.15pm Welcome
2.15pm - 3.30pm Keynote speech
John Hatcliff - An Overview of the Indus Framework for Analysis and Slicing of Concurrent Java Software
3.30pm - 4.00pm Coffee break
4.00pm - 5.30pm Session 1: Slicing
- Keith Gallagher, Dave Binkley and Mark Harman
Stop-list Slicing - Árpád Beszédes, Tamás Gergely and Tibor Gyimóthy
Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms (slides) - Kai Pan, Sunghun Kim and E. James Whitehead, Jr.
Bug Classification Using Program Slicing Metrics
28th September
9.00am - 10.30am Session 2: Static Analysis I
- Dave Binkley, Mark Harman and Jens Krinke
Animated Visualisation of Static Analysis: Characterising, Explaining and Exploiting the Approximate Nature of Static Analysis - Jason Sawin and Atanas Rountev
Estimating the Run-Time Progress of a Call Graph Construction Algorithm (slides) - Weilei Zhang and Barbara Ryder
Constructing Accurate Application Call Graph For Java To Model Library Callbacks (slides)
10.30am - 11.00am Coffee break
11.00am - 12.30pm Session 3: Transformations
- Andrew Walenstein, Rachit Mathur, Mohamed Chouchane and Arun Lakhotia
Normalizing Metamorphic Malware Using Term Rewriting (slides) - Michael Fagan, Laurent Hascoet and Jean Utke
Data Representation Alternatives in Semantically Augmented Numerical Models (slides) - Matthew Jacobs and E Christopher Lewis
SMART C: A Semantic Macro Replacement Translator for C
12.30am - 2.00pm Lunch
2.00pm - 3.30pm Session 4: Tools
- Magiel Bruntink
Linking Analysis and Transformation Tools with Source-based Mappings (slides) - Adrian D. Thurston and Jim Cordy
Evolving TXL (slides)
- Lajos Fülöp, Tamás Gyovai and Rudolf Ferenc
Evaluating C++ Design Pattern Miner Tools (slides)
3.30pm - 4.00pm Coffee break
4.00pm - 5.00pm Session 5: Static Analysis II
- Dawn J. Lawrie, Henry Feild and Dave Binkley
Syntactic Identifier Conciseness and Consistency - Cathal Boogerd and Leon Moonen
Prioritizing Software Inspection Results using Static Profiling
5.00pm - 6.00pm Tool Demonstrations
- Eric Van Wyk, Derek Bodin, Lijesh Krishnan, Phillip Russel and Eric Johnson
Tool Demonstration: The Silver Extensible Compiler Framework and Modular Extensions to Java and C - Dennis Strein, Hans Kratz, Welf Löwe
Tool demo of the paper “Cross-language Program Analysis and Refactoring” (slides) - Michael Collard, Huzefa Kagdi and Jonathan Maletic
Tool demo of the paper “Factoring Differences for Iterative Change Management” (slides)
7.00pm - 22.00pm Reception
29th September
9.00am - 10.30am Session 6: Formal Methods
- Alejandra Garrido and Jose Meseguer
Formal Specification and Verification of Java Refactorings (slides) - Carlos Noguera, Renaud Pawlak
AVal: an Extensible Attribute-Oriented Programming Validator for Java - Kim Henriksen, John Gallagher
Abstract Interpretation of PIC programs through Logic Programming
10.30am - 11.00am Coffee break
11.00am - 12.30pm Session 7: Refactoring
- Huiqing Li and Simon Thompson
A Comparative Study of Refactoring Haskell and Erlang Programs (slides) - Dennis Strein, Hans Kratz, Welf Löwe
Cross-language Program Analysis and Refactoring - Michael Collard, Huzefa Kagdi and Jonathan Maletic
Factoring Differences for Iterative Change Management
12.30pm - 1.30pm Open Steering Committee Meeting
Wrap-Up