The following resources should come in handy while working on your
The list of links may grow in the future. If you find some good ones,
mail them to me.
The TOP project
The TOP project is a local initiative for abstract interpretation using
constraint based program analysis. Main participators are Jurriaan Hage
and Bastiaan Heeren, currently we have two students working on a project.
The website also includes suggestions for more projects.