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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

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.

Other lists

Meeting the Challenge of Healthy Ageing in the 21st Century Workshop "Formalism and Functionalism in Negation" After-ISIS: the future of Raqqa and Northern Syria

Other talks

Organoid systems to study the maternal-fetal dialogue of early pregnancy Immigration policy-making beyond 'Western liberal democracies' Ethics for the working mathematician, seminar 11: Winning with mathematics Uncertainty Quantification of geochemical and mechanical compaction in layered sedimentary basins The Digital Doctor: Hope, Hype, and Harm at the Dawn of Medicine’s Computer Age Computing High Resolution Health(care) Graded linearisations for linear algebraic group actions Sustainability of livestock production: water, welfare and woodland Single Cell Seminars (September) MEMS Particulate Sensors
 

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