BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Personal Program Analysis - Dr Julian Tibble\, VP Applications Eng
 ineering at Semmle Ltd
DTSTART:20160308T131500Z
DTEND:20160308T141500Z
UID:TALK64911@talks.cam.ac.uk
CONTACT:Jan Samols
DESCRIPTION:I will discuss three ways in which program analysis can be con
 sidered 'personal'. The first is to present every author of a software sys
 tem with a report of the types of problems they tend to introduce and the 
 types they tend to fix\, throughout the entire history of a software proje
 ct: experience shows that developers are much more willing to fix issues t
 hat they introduced themselves. The second is to allow a programmer withou
 t interpreter/compiler experience to begin writing their own analyses quic
 kly (in the form of concise queries written in QL\, a modern Datalog varia
 nt)\, then iteratively improving them by trying them on many non-trivial s
 oftware projects simultaneously: every code base is special\, and the only
  way to achieve high precision is extensive experimentation. The third is 
 to provide an easy way of customising highly complex analyses to the pecul
 iarities of a particular code base: once again\, every code base is specia
 l\, and one size does not fit all.\n\nAll this will be demonstrated using 
 a service called CodingStars\, developed by Semmle Ltd in Oxford (currentl
 y in private beta)\, along with several technical challenges and their sol
 utions.\n
LOCATION:FW26\, Computer Laboratory
END:VEVENT
END:VCALENDAR