Working Session
QTAPC 2008

photo venue


Tuesday, June 10 - room: Hendrikkamer
14:00 - 14:05
Introduction to the QTAPC Workshop
Mathieu Verbaere, Semmle Ltd., UK
14:05 - 14:30
Invited Talk
System-Level Program Comprehension: Query Language and Graph Transformations
Suraj C. Kothari, Iowa State University, USA and EnSoft Corp., USA
14:30 - 15:30

Mike Godfrey, University of Waterloo, Canada
Session #1: Query Technologies for Program Comprehension
14:30 - 14:45
Using RSCRIPT for Software Analysis
Paul Klint, CWI, The Netherlands

14:45 - 15:00
Querying Software Abstraction Graphs
Daniel Bildhauer, University of Koblenz-Landau, Germany
Jürgen Ebert, University of Koblenz-Landau, Germany

15:00 - 15:15
Example-based Program Querying
Andy Kellens, Vrije Universiteit Brussel, Belgium
Johan Brichau, Université Catholique de Louvain, Belgium
Coen De Roover, Vrije Universiteit Brussel, Belgium

15:15 - 15:30
General discussion on query technologies for program comprehension
15:30 - 16:00
Coffee break
16:00 - 17:20

Mathieu Verbaere, Semmle Ltd., UK
Session #2: Application and Evaluation of Query Technologies
16:00 - 16:15
Towards a taxonomy of tools for documenting code design
Sergio Castro, Université Catholique de Louvain, Belgium
Kim Mens, Université Catholique de Louvain, Belgium
Johan Brichau, Université Catholique de Louvain, Belgium

16:15 - 16:30
Evaluation of code query technologies for industrial use
Tiago L. Alves, University of Minho, Portugal and Software Improvement Group, The Netherlands
Peter Rademaker, University of Utrecht, The Netherlands and Software Improvement Group, The Netherlands

16:30 - 16:45
Querying Runtime Information in the IDE
David Roethlisberger, University of Bern, Switzerland

16:45 - 17:00
Employing Query Technologies for Crosscutting Concerns Comprehension
Marius Marin, Accenture, The Netherlands

17:00 - 17:20
General discussion on application and evaluation of query technologies
17:20 - 17:30

Call for papers:

Developers need to understand the system they work on in order to improve quality, enhance functionality, and re-engineer for new deployment environments. Querying tools are designed to help developers comprehend the varied and complex relationships within a codebase. They enable the interactive exploration of a system and the definition of custom views. Recently, code queries have proved useful in many development tasks, including detecting architectural flaws, identifying refactoring opportunities, finding crosscutting concerns, locating bugs and enforcing coding conventions that are specific to an API. Code queries are also vital in a diagnostic role, such as for monitoring development progress, assessing design quality, tracking unwanted dependencies, and gathering quality metrics.

This working session aims to bring together researchers and practitioners to explore the state of the art in code query technologies, and discover new ways in which these technologies may be useful in program comprehension.

We welcome contributions on the following topics:
  • Code query languages
  • Query evaluation mechanisms
  • Artifacts models
  • Tool integration
  • Tool benchmarking
  • Queries for quality assurance
  • Queries for monitoring development
  • Queries and software visualization
  • Queries in reverse engineering
  • Queries on software archives
  • Queries for documentation purposes
  • Any other (new) application
Three kinds of submissions are solicited:
  1. position statements,
  2. tool demos, and
  3. proposals for comparative and empirical studies.
Submissions should not exceed four pages. A subset of the submissions will be selected for presentation at the working session. A final post-conference document with all contributions will be published.

The submission deadline is May 14, 2008.

Please submit a PostScript or PDF version of your short position paper (in the IEEE CS proceedings style, two-column format) by email to one of the organizers:


Mathieu Verbaere, Semmle Ltd. (mathieu at semmle dot com)
Michael W. Godfrey, University of Waterloo (migod at uwaterloo dot ca)
Tudor Girba, University of Berne (girba at iam dot unibe dot ch)