CSDL - Proceedings S

Organizing Committee (PDF)

pp. ix

Steering Committee (PDF)

pp. x

Program Committee (PDF)

pp. xi

Reviewers (PDF)

pp. xii

Keynote Paper

Keynote Address: .QL for Source Code Analysis (Abstract)

Oege de Moor, Semmle Limited, UK

Mathieu Verbaere, Semmle Limited, UK

Elnar Hajiyev, Semmle Limited, UK

Pavel Avgustinov, Semmle Limited, UK

Torbjorn Ekman, Semmle Limited, UK

Neil Ongkingco, Semmle Limited, UK

Damien Sereni, Semmle Limited, UK

Julian Tibble, Semmle Limited, UK

pp. 3-16

PDF

Session 1: Slicing

An Evaluation of Slicing Algorithms for Concurrent Programs (Abstract)

Dennis Giffhorn, Universitat Passau, Germany

Christian Hammer, Universitat Passau, Germany

pp. 17-26

PDF

Barrier Slicing for Remote Software Trusting (Abstract)

Mariano Ceccato, IRST, Italy

Mila Dalla Preda, University of Trento, Italy

Jasvir Nagra, University of Trento, Italy

Christian Collberg, University of Arizona, USA

Paolo Tonella, IRST, Italy

pp. 27-36

PDF

Statement-Level Cohesion Metrics and their Visualization (Abstract)

Jens Krinke, FernUniversitat in Hagen, Germany

pp. 37-48

PDF

Session 2: Static Analysis I

On Temporal Path Conditions in Dependence Graphs (Abstract)

Andreas Lochbihler, Universitat Passau, Germany

Gregor Snelting, Universitat Passau, Germany

pp. 49-58

PDF

Towards Path-Sensitive Points-to Analysis (Abstract)

Tobias Gutzmann, Vaxjo University, Sweden

Jonas Lundberg, Vaxjo University, Sweden

Welf Lowe, Vaxjo University, Sweden

pp. 59-68

PDF

Extending Attribute Grammars with Collection Attributes--Evaluation and Applications (Abstract)

Eva Magnusson, Lund University, Sweden

Torbjorn Ekman, Oxford University, UK

Gorel Hedin, Lund University, Sweden

pp. 69-80

PDF

Session 3: Transformations

Toward an Implementation of the "Form Template Method" Refactoring (Abstract)

Nicolas Juillerat, University of Fribourg, Switzerland

Beat Hirsbrunner, University of Fribourg, Switzerland

pp. 81-90

PDF

Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation (Abstract)

Walter Binder, University of Lugano, Switzerland

Jarle Hulaas, EPFL, Switzerland

Philippe Moret, EPFL, Switzerland

pp. 91-100

PDF

An Integrated Crosscutting Concern Migration Strategy and its Application to JHOTDRAW (Abstract)

Marius Marin, Delft University of Technology, The Netherlands

Leon Moonen, Delft University of Technology, The Netherlands

Arie van Deursen, Delft University of Technology, The Netherlands; CWI

pp. 101-110

PDF

Fast Approximate Matching of Programs for Protecting Libre/Open Source Software by Using Spatial Indexes (Abstract)

Arnoldo Jose Muller Molina, Kyushu Institute of Technology, Japan

Takeshi Shinohara, Kyushu Institute of Technology, Japan

pp. 111-122

PDF

Session 4: Static Analysis II

SUDS: An Infrastructure for Creating Bug Detection Tools (Abstract)

Eric Larson, Seattle University, USA

pp. 123-132

PDF

Finding Inputs that Reach a Target Expression (Abstract)

Matthew Naylor, University of York, UK

Colin Runciman, University of York, UK

pp. 133-142

PDF

Improved Static Resolution of Dynamic Class Loading in Java (Abstract)

Jason Sawin, Ohio State University, USA

Atanas Rountev, Ohio State University, USA

pp. 143-154

PDF

Session 5: Tool Demonstrations

SQuAVisiT: A Software Quality Assessment and Visualisation Toolset (PDF)

Serguei Roubtsov, Technische Universiteit Eindhoven, The Netherlands

Alexandru Telea, Technische Universiteit Eindhoven, The Netherlands

Danny Holten, Technische Universiteit Eindhoven, The Netherlands

pp. 155-156

DATES: Design Analysis Tool for Enterprise Systems (PDF)

Cristina Marinescu, "Politehnica" University of Timisoara, Romania

pp. 157-158

Source Code Composition with the Reuseware Composition Framework (PDF)

Jendrik Johannes, Technische Universitat Dresden, Germany

pp. 159-160

Session 6: Metrics and Empirical Studies

Quality Assessment for Embedded SQL (Abstract)

Huib van den Brink, Utrecht University, The Netherlands

Rob van der Leek, Software Improvement Group, The Netherlands

Joost Visser, Software Improvement Group, The Netherlands

pp. 163-170

PDF

An Empirical Study of the Relationship of Stability Metrics and the QMOOD Quality Models Over Software Developed Using Highly Iterative or Agile Software Processes (Abstract)

Patricia L. Roden, University of Alabama in Huntsville, USA; University of North Alabama, USA

Shamsnaz Virani, University of Alabama in Huntsville, USA

Letha H. Etzkorn, University of Alabama in Huntsville, USA

Sherri Messimer, University of Alabama in Huntsville, USA

pp. 171-179

PDF

Relating the Evolution of Design Patterns and Crosscutting Concerns (Abstract)

Lerina Aversano, University of Sannio, Italy

Luigi Cerulo, University of Sannio, Italy

Massimiliano Di Penta, University of Sannio, Italy

pp. 180-192

PDF

Session 7: Comprehension

The Programmer?s Lexicon, Volume I: The Verbs (Abstract)

Einar W. Host, Norwegian Computing Center, Norway

Bjarte M. Ostvold, Norwegian Computing Center, Norway

pp. 193-202

PDF

A Framework for Studying Clones In Large Software Systems (Abstract)

Zhen Ming Jiang, University of Victoria, Canada

Ahmed E. Hassan, University of Victoria, Canada

pp. 203-212

PDF

Extracting Meaning from Abbreviated Identifiers (Abstract)

Dawn Lawrie, Loyola College, USA

Henry Feild, Loyola College, USA

David Binkley, Loyola College, USA

pp. 213-222

PDF

Author Index

Author Index (PDF)

pp. 223