BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Abstract Interpretation for Liveness using Metric Spaces - Aziem C
 hawshary\, Queen Mary University of London
DTSTART:20100511T103000Z
DTEND:20100511T110000Z
UID:TALK24873@talks.cam.ac.uk
CONTACT:Dr Fabien Petitcolas
DESCRIPTION:*Abstract*: We will give a brief overview of a abstract interp
 retation based framework for defining static analyses for liveness propert
 ies. Currently abstract interpretation provides an elegant framework for d
 efining and proving the soundness of abstract interpreters for safety prop
 erties. Unfortunately we do not have an equivelant understanding for liven
 ess properties. In this work we make a novel use of metric spaces in order
  to prove the soundness of an abstract interpreter to prove termination fo
 r a simple language with arbitary recursion. We make use of existing ideas
  from semantics of programming languages using metric spaces to define a g
 eneral framework for proving liveness properties using abstract interpreta
 tion. \n\n*Biography*: Aziem Chawdhary did his PhD at Queen Mary under the
  supervision of Dr. Hongseok Yang and Prof. Peter O'Hearn\, supported by a
  Microsoft Research PhD Scholarship. He is currently a Research Associate 
 at Durham University working with Dr. Shengchao Qin
LOCATION:Small Lecture Room\, Microsoft Research\, Roger Needham Building\
 , 7 J J Thomson Avenue\, Cambridge CB3 0FB
END:VEVENT
END:VCALENDAR