BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Domain Knowledge Driven Program Analysis - Daniel Ratiu - TU Munic
 h
DTSTART:20090609T100000Z
DTEND:20090609T110000Z
UID:TALK18788@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:In this presentation we advocate the need to use the domain kn
 owledge 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 an
 d 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: eva
 luating the domain appropriateness of APIs\, characterizing the logical ex
 tensibility of programs\, identifying logical redundancy\, or evaluating t
 he diffusion of domain concepts in the code. \n
LOCATION:Small public lecture room\, Microsoft Research Ltd\, 7 J J Thomso
 n Avenue (Off Madingley Road)\, Cambridge
END:VEVENT
END:VCALENDAR