Pluggable types have been proposed to support multiple type systems in the same
programming language. We have designed and implemented JavaCOP, a program …

This paper describes QL, a language for querying complex, potentially recursive data
structures. QL compiles to Datalog and runs on a standard relational database, yet it …

Program querying and analysis tools are of growing importance, and occur in two main
variants. Firstly there are source-code query languages which help software engineers to …

Program queries can answer important software engineering questions that range from"
which expressions are cast to this type?" over" does my program attempt to read from a …

These notes are an introduction to. QL, an object-oriented query language for any type of
structured data. We illustrate the use of. QL in assessing software quality, namely to find …

Comprehensive analysis of a software product line (SPL) is expensive because the number
of products to be analyzed is exponential in the number of the SPL's features. To …

Fundamental nano-patterns are simple, static, binary properties of Java methods, such as
ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns …

Static checker frameworks support software developers by automatically discovering bugs
that fit general-purpose bug patterns. These frameworks ship with hundreds of detectors for …

Pluggable types enable users to enforce multiple type systems in one programming
language. We have developed a suite of tools, called the JavaCOP framework, that allows …

This thesis shows that whole-program context-sensitive inclusion-based pointer analysis, a
previously intractable problem, can be efficiently solved using binary decision diagrams. In …