BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Points-To and Alias Analysis -- the precision vs efficiency dilemm
 a - Professor Uday Khedker\, Department of Computer Science &amp\; Engg. I
 IT Bombay\, India. 
DTSTART:20140708T130000Z
DTEND:20140708T140000Z
UID:TALK53350@talks.cam.ac.uk
CONTACT:Alan Mycroft
DESCRIPTION:This talk summarises the ideas of points-to and alias analysis
  which are increasingly used in modern compilers.\nIt then introduces the 
 ad-hoc approaches and approximations used in practice (for example the deg
 ree to which approaches are interprocedural) and notes these are often jus
 tified as being 'for scalability' but this phrase is often used without sc
 ientific evaluation.\n\nWe then discuss various long-term research efforts
  into program analysis at IIT Bombay. \nAlthough these started as distinct
  research efforts\, they have converged towards a single agenda of precise
  and efficient pointer analysis (note that both precision and efficiency a
 re necessary for practical scalability).\nIn hindsight\, a common theme th
 at has emerged is that the quest for precision need not conflict with a qu
 est for efficiency.\nWith more careful modelling\, it may well be possible
  to achieve them together.\n\nThis talk is relevant for an audience at mul
 tiple levels: at a practical level\, it describes some interesting researc
 h investigations in program analysis. \nAt a conceptual level\, it contrad
 icts the common wisdom that compromising on precision is necessary for eff
 iciency. \nAt a philosophical level\, it highlights serendipity at work in
  seemingly distinct strands pursued over a prolonged duration weaving them
 selves into a unified whole.\n          
LOCATION:SS03
END:VEVENT
END:VCALENDAR