This article presents Forma, a practical, safe, and automatic data reshaping framework that reorganizes arrays to improve data locality. Forma splits...
This article presents results from a study of techniques that improve the performance of graphbased interprocedural slicing of the System Dependence G...
The subject of this article is flow- and context-insensitive pointer analysis. We present a novel approach for precisely modelling struct variables an...
A fundamental problem in the implementation of object-oriented languages is that of a frugal implementation of dynamic dispatching, that is, a small f...
Information-flow type systems are a promising approach for enforcing strong end-to-end confidentiality information—data is labeled high or low securit...
