Title: Checking correct usage of API's by means of static analysis
Lately I have been studying static analyses and have written a paper about this subject.
The title of the paper is `Checking correct usage of API's by means of static analysis'.
In the presentation I will specifically speak about the SLAM toolkit that currently is being developed by Microsoft. I will also talk about Boolean programs, an abstraction of programs that can be analysed.
More information about SLAM can be found on http://research.microsoft.com/slam