University of Cambridge > > Microsoft Research PhD Scholars > Abstract Interpretation for Liveness using Metric Spaces

Abstract Interpretation for Liveness using Metric Spaces

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

If you have a question about this talk, please contact Dr Fabien Petitcolas.

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.

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

This talk is part of the Microsoft Research PhD Scholars series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2022, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity