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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Domain Knowledge Driven Program Analysis

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Burna Boy Biography Level 5 seminar room, LMB CRASSH, S1, ground floor, Alison Richard Building

Other talks

Shape modes of CP^1 vortices TBC Cambridge AI in Medicine Seminar - April 2026 Early cancer clinical trials Tea and Coffee Break Haematology and Palliative Care
 

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