Research Shape Analysis Publications

Shape analysis is a program analysis technique that tries to use the separation between "shape" (such as array dimensions) and "data" (array elements) to infer potentially valuable information about datastructures used in a program. Its theoretical foundations are based in shape theory by Barry Jay. You can read more about shape analysis and shape theory in general in a short introduction I have written. A detailed account can be found in my thesis.

The shape analysis technique described in my thesis has been implemented in the ML language and you can download it in the following two files: shape1.ml and shape2.ml.

You may also want to have a look at bibliography of publications that bear some relationship to this topic.