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
 hawdhary - Queen Mary University of London
DTSTART:20100511T103000Z
DTEND:20100511T110000Z
UID:TALK24842@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
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.
LOCATION:Small public lecture room\, Microsoft Research Ltd\, 7 J J Thomso
 n Avenue (Off Madingley Road)\, Cambridge
END:VEVENT
END:VCALENDAR