In this article, the authors compare and illustrate the use of three static architecture-
conformance techniques: dependency-structure matrices, source code query languages …

We present the DOOP framework for points-to analysis of Java programs. DOOP builds on
the idea of specifying pointer analysis algorithms declaratively, using Datalog: a logic-based …

Pointer analysis is a fundamental static program analysis, with a rich literature and wide
applications. The goal of pointer analysis is to compute an approximation of the set of …

Architectural erosion is a recurrent problem faced by software architects. Despite this fact,
the process is usually tackled in ad hoc way, without adequate tool support at the …

This paper studies the impact of L2 cache sharing on threads that simultaneously share the
cache, on a chip multi-processor (CMP) architecture. Cache sharing impacts threads …

The rise of smart contracts-autonomous applications running on blockchains-has led to a
growing number of threats, necessitating sophisticated program analysis. However, smart …

Knowing which types of refactoring occurred between two program versions can help
programmers better understand code changes. Our survey of refactoring identification …

Software engineers often inspect program differences when reviewing others' code
changes, when writing check-in comments, or when determining why a program behaves …

Context-sensitive points-to analysis is valuable for achieving high precision with good
performance. The standard flavors of context-sensitivity are call-site-sensitivity (kCFA) and …

Context-sensitivity is the primary approach for adding more precision to a points-to analysis,
while hopefully also maintaining scalability. An oft-reported problem with context-sensitive …