BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A few lessons that I learnt about interprocedural program analyses
  - Hongseok Yang\, University of Oxford
DTSTART:20130607T150000Z
DTEND:20130607T160000Z
UID:TALK43758@talks.cam.ac.uk
CONTACT:Jonathan Hayman
DESCRIPTION:Handling procedures effectively is one of the most basic probl
 ems \nin static program analyses. A good method for analysing procedures \
 ncan improve the precision and performance of a static analysis \nsubstant
 ially. However\, obtaining such a method is nontrivial and \nrequires new 
 insights into the type of the analysis and target \nprograms. \n\nIn this 
 talk\, I will describe a few lessons that I recently \nlearnt about interp
 rocedural program analyses\, while working \nwith colleagues in the US and
  Korea. We found a new relationship \nbetween popular approaches for analy
 sing procedures\, which helped \nus to form a big picture about these appr
 oaches. We also came up \nwith new ways of combining or adjusting existing
  interprocedural \nanalyses\, which led to the improvement in precision or
  performance\nin our experiments. I will explain these findings.\n\nThis i
 s joint work with Mayur Naik\, Ravi Mangal\, Xin Zhang in Georgia\nTech an
 d Wonchan Lee\, Hakjoo Oh\, Kwangkeun Yi in Seoul National University.
LOCATION:Auditorium\, Microsoft Research Ltd\, 21 Station Road\, Cambridge
 \, CB1 2FB
END:VEVENT
END:VCALENDAR