Abstract Interpretation for Liveness using Metric Spaces

Add to your list(s) Download to your calendar using vCal

• Aziem Chawdhary - Queen Mary University of London
• Tuesday 11 May 2010, 11:30-12:00
• Small public lecture room, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins.

Abstract: We will give a brief overview of a abstract interpretation based framework for defining static analyses for liveness properties. Currently abstract interpretation provides an elegant framework for defining and proving the soundness of abstract interpreters for safety properties. Unfortunately we do not have an equivelant understanding for liveness 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 for a simple language with arbitary recursion. We make use of existing ideas from semantics of programming languages using metric spaces to define a general framework for proving liveness properties using abstract interpretation.

This talk is part of the Microsoft Research Cambridge, public talks series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Guy Emerson's list
• Interested Talks
• Microsoft Research Cambridge, public talks
• Optics for the Cloud
• PMRFPS's
• School of Technology
• Small public lecture room, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• personal list
• rp587

Note that ex-directory lists are not shown.