University of Cambridge > Talks.cam > Microsoft Research Cambridge, general interest public talks > Domain Knowledge Driven Program Analysis

Domain Knowledge Driven Program Analysis

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins.

In this presentation we advocate the need to use the domain knowledge explicitly in reverse engineering in order to enhance the current program analyses with logical information about the implemented domain and to enable new program analyses at the conceptual level. We outline a set of basic ingredients needed by domain knowledge driven program analyses and sketch our approach to interpret program parts from the point of view of the knowledge of the application domain that they implement by recovering their `intentional meaning`. Using the intentional meaning, we present a set of (semi-)automatic program analyses at conceptual level such as: evaluating the domain appropriateness of APIs, characterizing the logical extensibility of programs, identifying logical redundancy, or evaluating the diffusion of domain concepts in the code.

This talk is part of the Microsoft Research Cambridge, general interest public talks series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity